A complete first-order temporal BDI logic for forest multi-agent systems
File version
Author(s)
Su, Kaile
Sattar, Abdul
Chen, Qingliang
Su, Jinshu
Wu, Wei
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
Size
File type(s)
Location
License
Abstract
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.
Journal Title
Knowledge-Based Systems
Conference Title
Book Title
Edition
Volume
27
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
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