%0 Journal Article
%T Soundness and Completeness Proof of Agent Intention Production in AgentSpeak<br>AgentSpeak中意图生成过程的可靠性与完整性研究
%A YANG Bo
%A SHAO Li-ping
%A QIN Zheng
%A <br>杨博
%A 邵利平
%A 覃征
%J 计算机科学
%D 2011
%I 
%X Intention production is the procedure that BDI Agent drafts an action sequence to realize a goal. However, it is also a big obstacle to verify the validity of Agent intention produced by the specification of Agent Programming Languagc(API).In this paper, to prove the validity of intention execution in AgentSpeak, we constructed a model-theoretic semantics and a formal interpretation of Agent programs intention. Then, on the bases of the model-theoretic semantics and the operational semantics presented by Moreira and I3ordini, we proved the equivalence theorem; the intention in model-theoretic semantics of AgentSpcak language is equivalent with the one in operational semantics of AgentSpeak program According to the ectuivalence theorem, we can get the conclusion that intention execution of AgentSpeak is sound and complete.
%K AgentSpeak
%K Intention production
%K Agent programming language
%K Model-theoretic semantics
%K BDI Agent<br>AgentSpeak，意图生成，Agent编程语言，模型论语义，BDI
%K Agent
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=9E00A909F2CB93BAD4460EAAAE6F86D4&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=38B194292C032A66&sid=FBCA02DBD05BD4EA&eid=0C191C6ECF79047F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=25