Graded BDI models for agent architectures based on Łukasiewicz logic and propositional dynamic logic

Authors:
Xiaojun Zhang;Min Jiang;Changle Zhou;Yijiang Hao
Affiliations:
Department of Philosophy, Xiamen University, Xiamen, China;Department of Cognitive Science, Xiamen University, Xiamen, China,Fujian Provincial Key Laboratory of Brain-Like Intelligent Systems, Xiamen University, China;Department of Cognitive Science, Xiamen University, Xiamen, China,Fujian Provincial Key Laboratory of Brain-Like Intelligent Systems, Xiamen University, China;Institute of Philosophy, Chinese Academy of Social Sciences, Beijing, China
Venue:
WISM'12 Proceedings of the 2012 international conference on Web Information Systems and Mining
Year:
2012

Citing 8
Cited 0

Logics of time and computation

Logics of time and computation
Local models semantics, or contextual reasoning = locality + compatibility

Artificial Intelligence
Dynamic Logic

Dynamic Logic
Dynamic logic for reasoning about actions and agents

Logic-based artificial intelligence
Reasoning about Intentions in Uncertain Domains

ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Formal Modelling of Emotions in BDI Agents

Computational Logic in Multi-Agent Systems
Hidden uncertainty in the logical representation of desires

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Graded BDI models for agent architectures

CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the recent past, the most influential theories with respect to agent technology are the Belief-Desire-Intention (BDI) model. This paper not only expands past achievements but also makes novel proposals. It gives a very elegant way within a uniform and flexible logical framework for the graded BDI model, that is, for reasoning about probabilities and other uncertainty models, such as degrees of desires and intentions. We choose to blend the infinite-valued Łukasiewicz Logic and Propositional Dynamic Logic to formulize the graded BDI agent model. After presenting the language and semantics for this model, we propose axioms and rules for the graded BDI logic and prove a soundness and completeness result. On the basis of dealing with composite action, we illustrate interrelations between contexts for the model. It is hoped that the present study will make contributions to represent and reason under uncertainty as well as providing a formal support for engineer complex distributed systems.