Shadowing in Many-Valued Nested Structures

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.

show abstract

Shadowing in Many-Valued Nested Structures

Cited by 4 publications

References 32 publications

Many-Valued Dynamic Object-Oriented Inheritance and Approximations

Many-Valued Dynamic Object-Oriented Inheritance and Approximations

Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions

Modeling and shadowing paraconsistent BDI agents

Contact Info

Product

Resources

About