Indexed by:
Abstract:
Intentions, an integral part of the mental state of an agent, play an important role in determining the behavior of rational agents. There are several models of intention based on normal modal logic. But these theories suffer from a serious omniscience problem. It is argued that intention is not a normal modal operator, and another intention model is presented. It doesn't have the logical omniscience problem and other related problems such as side-effect problem, etc.. Compared with Konolige and Pollack's model of intention, this model is not only simpler and more natural, but also satisfies the K-axiom and the Joint Consistency. Actually it gives a new method for semantic representation of non-normal modal operators based on normal possible worlds.
Keyword:
Reprint 's Address:
Email:
Version:
Source :
Journal of Software
ISSN: 1000-9825
CN: 11-2560/TP
Year: 2000
Issue: 7
Volume: 11
Page: 965-970
Cited Count:
SCOPUS Cited Count:
ESI Highly Cited Papers on the List: 0 Unfold All
WanFang Cited Count:
Chinese Cited Count:
30 Days PV: 0
Affiliated Colleges: