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

Volume

1

fYear

2009

fDate

19-21 May 2009

Firstpage

80

Lastpage

83

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Systems, 2009. GCIS '09. WRI Global Congress on

Conference_Location

Xiamen

Print_ISBN

978-0-7695-3571-5

Type

conf

DOI

10.1109/GCIS.2009.492

Filename

5209027