Toward a formal theory of belief, capability and promise incorporating temporal aspect

Authors:
Xinyu Zhao;Shaofeng Fan;Runjie Zhang;Anbu Yue;Zuoquan Lin
Affiliations:
LMAM, Department of Information Science, School of Mathematical Sciences, Peking University, Beijing, China;LMAM, Department of Information Science, School of Mathematical Sciences, Peking University, Beijing, China;LMAM, Department of Information Science, School of Mathematical Sciences, Peking University, Beijing, China;LMAM, Department of Information Science, School of Mathematical Sciences, Peking University, Beijing, China;LMAM, Department of Information Science, School of Mathematical Sciences, Peking University, Beijing, China
Venue:
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Year:
2005

Citing 8
Cited 0

Agent-oriented programming

Artificial Intelligence
Formalising abilities and opportunities of agents

Fundamenta Informaticae
Reaching agreements through argumentation: a logical model and implementation

Artificial Intelligence
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
A logic of situated know-how

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Using social power to enable agents to reason about being part of a group

ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, a logical model for reasoning about rational agent's three attitudes Belief, Capability and Promise, incorporating the temporal aspect, is proposed. Diverse axioms that can reflect different properties of the agents are presented in a precise way by appropriate conditions according to the accessibility relations of the models. The inter-relations among the operators are also explored to characterize the interactions and cooperations between the agents. An illustrative reasoning example in the trading agent competition for supply chain management(TAC SCM) is presented to show the potential applications of the model.