Abstract
AbstractThe 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.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference46 articles.
1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, San Francisco, CA (1996)
2. Arieli, O., Avron, A.: The value of the four values. Artif. Intell. 102(1), 97–141 (1998)
3. Belnap, N.: A useful four-valued logic. In: Epstein, G., Dunn, J. (eds.) Modern Uses of Many Valued Logic, pp. 5–37. Reidel, Dordrecht (1977)
4. Béziau, J.Y., Carnielli, W., Gabbay, D. (eds.): Handbook of Paraconsistency. College Pub, London (2007)
5. Białek Ł, Dunin-Kęplicz B, Szałas A Belief shadowing. In: Mascardi, V., Ricci, A., Weyns, D. (eds) Engineering Multi-Agent Systems. EMAS 2018, LNCS, vol 11375. Springer, Cham, pp 158–180 (2019)