A complete first-order temporal BDI logic for forest multi-agent systems

No Thumbnail Available
File version
Author(s)
Wu, Lijun
Su, Kaile
Sattar, Abdul
Chen, Qingliang
Su, Jinshu
Wu, Wei
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2012
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

Persistent link to this record
Citation
Collections