DocumentCode
495141
Title
The Research of Dynamic BDI Model
Author
Meng, Jian-liang ; Li, Tai-hua
Author_Institution
Sch. of Comput. Sci. & Technol., North China Electr. Power Univ., Baoding, China
Volume
1
fYear
2009
fDate
21-22 May 2009
Firstpage
220
Lastpage
223
Abstract
BDI (belief, desire, intention) is the theoretic model of agent, this paper will introduce some non-normal modal operators for the study of the BDI semantic, which are unknown-objective-belief, known-objective-belief, realizable-subjective-belief, known-subjective-belief, h-achieved-desire and u-achieved-desire. And there is no logical omniscience problem that usually exists in the normal modal logic, and the BDI model will be evolving.
Keywords
formal logic; belief desire intention; dynamic BDI model; h-achieved-desire; known-objective-belief; known-subjective-belief; logical omniscience problem; modal logic; nonnormal modal operator; realizable-subjective-belief; u-achieved-desire; unknown-objective-belief; Cognition; Computer science; Delay; Engines; Humans; Logic; Multiagent systems; known-objective-belief; known-subjective-belief; logical omniscience; realizable-subjective-belief; unknown-objective-belief;
fLanguage
English
Publisher
ieee
Conference_Titel
Information and Computing Science, 2009. ICIC '09. Second International Conference on
Conference_Location
Manchester
Print_ISBN
978-0-7695-3634-7
Type
conf
DOI
10.1109/ICIC.2009.62
Filename
5169579
Link To Document