Three Proposition Semantics for Motivation Operator of Agent

Motivation is an indispensable element in reasoning rational behavior of intelligent agent. Recent study on the semantics explanation of motivation operator has its shortcomings such as the impossibility to solve logic omniscience problem. This shortcoming fundamentally restrict agent from applying to real application domain. This paper proposes three proposition semantics to describe motivation operator and proves that the novel motivation operator can avoid logic omniscience problem and related problems.

[1]  Ji Gao,et al.  A Model of Multi-agent System Based on Policies and Contracts , 2005, CEEMAS.

[2]  Hang Guo,et al.  A model of flexible exception handing facilitated by polices and contracts , 2008, 2008 International Conference on Machine Learning and Cybernetics.

[3]  Jun Hu,et al.  Policy-Driven Agent Social , 2005, 2005 International Conference on Machine Learning and Cybernetics.

[4]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[5]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[6]  M. V. Dignum,et al.  A Model for Organizational Interaction: based on Agents, founded in Logic , 2000 .

[7]  F. Dignum,et al.  From Desires, Obligations and Norms to Goals , 2002 .

[8]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[9]  Jun Hu,et al.  Policy-Driven Agent Social to Implement EBBP , 2005, 2005 International Conference on Machine Learning and Cybernetics.

[10]  Ji Gao,et al.  An Extended Agent BDI Model with Norms, Policies and Contracts , 2008, 2008 4th International Conference on Wireless Communications, Networking and Mobile Computing.

[11]  Frank Dignum,et al.  Motivational Attitudes of Agents: On Desires, Obligations, and Norms , 2001, CEEMAS.

[12]  Jun Hu,et al.  A policy-driven autonomous system to implement Web services , 2005, The Fifth International Conference on Computer and Information Technology (CIT'05).

[13]  Guo Hang,et al.  Consideration of Task Circumstance in Service Matchmaking , 2008, 2008 4th International Conference on Wireless Communications, Networking and Mobile Computing.

[14]  Jun Hu,et al.  Cooperative Problem Solving Process Based on MAS_NP Model , 2008, 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.

[15]  Laurence Cholvy,et al.  An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties , 2001, Fundam. Informaticae.