Modeling and shadowing paraconsistent BDI agents
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE(2023)
摘要
The Bdi model of rational agency has been studied for over three decades. Many robust multiagent systems have been developed, and a number of Bdi logics have been studied. Following this intensive development phase, the importance of integrating Bdi models with inconsistency handling and revision theory have been emphasized. There is also a demand for a tighter connection between Bdi -based implementations and Bdi logics. In this paper, we address these postulates by introducing a novel, paraconsistent logical Bdi model close to implementation, with building blocks that can be represented as Sql /rule-based databases. Importantly, tractability is achieved by reasoning as querying. This stands in a sharp contrast to the high complexity of known Bdi logics. We also extend belief shadowing, a shallow and lightweight alternative to deep and computationally demanding belief revision, to encompass agents’ motivational attitudes.
更多查看译文
关键词
Beliefs-Desires-Intentions models,Paraconsistent reasoning,Doxastic reasoning,Shadowing,Reasoning by querying
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要