Title :
Three Proposition Semantics for Motivation Operator of Agent
Author :
Peng, Yanbin ; Zheng, ZhiJun ; Xiang, Jian ; Gao, Ji ; Ai, Jieqing ; Lu, Zhenyu ; Jiang, Xueqin
Author_Institution :
Sch. of Inf. & Electron. Eng., Zhejiang Univ. of Sci. & Technol., Hangzhou, China
Abstract :
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.
Keywords :
formal logic; inference mechanisms; software agents; intelligent agent; logic omniscience problem; motivation operator; proposition semantics; rational behavior reasoning; Artificial intelligence; Computer networks; Computer science; Contracts; Educational institutions; Engineering management; Intelligent agent; Intelligent systems; Logic; Technology management; Keywords-semantics; agent; motivation operator;
Conference_Titel :
Intelligent Systems, 2009. GCIS '09. WRI Global Congress on
Conference_Location :
Xiamen
Print_ISBN :
978-0-7695-3571-5
DOI :
10.1109/GCIS.2009.492
