Modeling belief, capability and promise for cognitive agents – a modal logic approach

Authors:
Xinyu Zhao;Zuoquan Lin
Affiliations:
Department of Information Science, Key Laboratory of Pure and Applied Mathematics, School of Mathematical Sciences, Peking University, Beijing, China;Department of Information Science, Key Laboratory of Pure and Applied Mathematics, School of Mathematical Sciences, Peking University, Beijing, China
Venue:
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part I
Year:
2005

Citing 8
Cited 0

Intention is choice with commitment

Artificial Intelligence
Agent-oriented programming

Artificial Intelligence
Formalising abilities and opportunities of agents

Fundamenta Informaticae
The abc of rational agent modelling

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Agent Capabilities: Extending BDI Theory

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation

Artificial Intelligence
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver

IEEE Transactions on Computers
A logic of situated know-how

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a logical model for reasoning about cognitive agent's three attitudes Belief, Capability and Promise is proposed. A formalization is provided based on the modal logic to specify and analyze dependencies between the three attitudes. By adopting a set of constraints that describe how the three attitudes are related to each other, we can draw a number of properties of the model. To show the potential applications of the model, we apply the BCP model to a decision-making example in trading agent competition for supply chain management(TAC SCM). The logical model proposed here provides a rigorous semantic basis for modeling cognitive agent and reasoning about multi-agent interactions.