Three Proposition Semantics for Motivation Operator of Agent
Yanbin Peng, Zhijun Zheng, Jian Xin Xiang, Ji Qiang Gao, Jieqing Ai, Zhenyu Lu, Xueqin Jiang · 2009
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.