DocumentCode
2849635
Title
A modal logic for reasoning about beliefs, desires and intentions of complex agents in a distributed environment
Author
Balbiani, Philippe ; Elfallah-Seghrouchni, A.
fYear
1998
fDate
3-7 Jul 1998
Firstpage
387
Lastpage
388
Abstract
Following P. Cohen and H.J. Levesque (1990), R. Fagin et al., 1995, A. Rao M. Georgeff (1991), we agree that modal logic provides a simple but powerful formalism for the representation, the specification and the analysis of the mental attitudes of rational agents: belief, desire and intention (BDI). These approaches underestimate the issue of the formalization of common, distributed and introspective BDI of a group of complex agents. In order to answer to this question, we introduce a propositional modal language that extends existing languages and where various complex agents are considered
Keywords
cognitive systems; distributed processing; formal logic; inference mechanisms; belief desire intention; complex agents; distributed environment; introspective BDI; mental attitudes; modal logic; propositional modal language; rational agents; reasoning; Logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Multi Agent Systems, 1998. Proceedings. International Conference on
Conference_Location
Paris
Print_ISBN
0-8186-8500-X
Type
conf
DOI
10.1109/ICMAS.1998.699226
Filename
699226
Link To Document