An Intention Model for Agent
Agent的意图模型

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 the omniscience problem seriously. In this paper, the authors argue that intention is not a normal modal operator, and present another intention model. 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 not only is 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.