{"title":"The Soundness and Completeness Proof of Agent Intention in AgentSpeak","authors":"Chuming Chen, M. Matthews","doi":"10.1109/WI.2007.102","DOIUrl":null,"url":null,"abstract":"Autonomy is one of the characteristics that agent has which distinguish agent systems from the other conceptualisations within Computer Science. To prove the validity of intention execution in AgentSpeak, according to the agent's goal, we construct a model-theoretic semantics of AgentSpeak and an informal interpretation of agent program. Then we give an equivalence theorem of intention execution for AgentSpeak that the sequence of actions produced by an agent written in AgentSpeak is equivalent with the intention produced by the model that satisfies the belief set and plan set of agent.","PeriodicalId":192501,"journal":{"name":"IEEE/WIC/ACM International Conference on Web Intelligence (WI'07)","volume":"114 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE/WIC/ACM International Conference on Web Intelligence (WI'07)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WI.2007.102","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8
Abstract
Autonomy is one of the characteristics that agent has which distinguish agent systems from the other conceptualisations within Computer Science. To prove the validity of intention execution in AgentSpeak, according to the agent's goal, we construct a model-theoretic semantics of AgentSpeak and an informal interpretation of agent program. Then we give an equivalence theorem of intention execution for AgentSpeak that the sequence of actions produced by an agent written in AgentSpeak is equivalent with the intention produced by the model that satisfies the belief set and plan set of agent.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
