A complete first-order temporal BDI logic for forest multi-agent systems
Author(s)
Wu, Lijun
Su, Kaile
Sattar, Abdul
Chen, Qingliang
Su, Jinshu
Wu, Wei
Year published
2012
Metadata
Show full item recordAbstract
This paper presents a new complete first-order temporal BDI logic and forest multi-agent system. The main characteristic of the logic is that its semantic model is based on the forest multi-agent system, which enables us to reason about beliefs, desires, and intentions between agents with different layers such as father agent and child agent. The logical reasoning and hierarchical structures of the forest multi-agent system can suitably capture the hierarchical property of the real systems and therefore is practically realistic. We propose further four classes of first-order BDI interpreted systems and four proof systems ...
View more >This paper presents a new complete first-order temporal BDI logic and forest multi-agent system. The main characteristic of the logic is that its semantic model is based on the forest multi-agent system, which enables us to reason about beliefs, desires, and intentions between agents with different layers such as father agent and child agent. The logical reasoning and hierarchical structures of the forest multi-agent system can suitably capture the hierarchical property of the real systems and therefore is practically realistic. We propose further four classes of first-order BDI interpreted systems and four proof systems which are sound and complete with respect to corresponding classes of BDI interpreted systems. Finally, we give a case to show how to characterize the forest multi-agent system by using the hierarchical structure of modules, and to solve the model checking problem of first-order temporal BDI logic for the forest multi-agent system.
View less >
View more >This paper presents a new complete first-order temporal BDI logic and forest multi-agent system. The main characteristic of the logic is that its semantic model is based on the forest multi-agent system, which enables us to reason about beliefs, desires, and intentions between agents with different layers such as father agent and child agent. The logical reasoning and hierarchical structures of the forest multi-agent system can suitably capture the hierarchical property of the real systems and therefore is practically realistic. We propose further four classes of first-order BDI interpreted systems and four proof systems which are sound and complete with respect to corresponding classes of BDI interpreted systems. Finally, we give a case to show how to characterize the forest multi-agent system by using the hierarchical structure of modules, and to solve the model checking problem of first-order temporal BDI logic for the forest multi-agent system.
View less >
Journal Title
Knowledge-Based Systems
Volume
27
Subject
Information and computing sciences
Artificial intelligence not elsewhere classified
Commerce, management, tourism and services
Psychology
Artificial intelligence
Data management and data science
Machine learning