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
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;
Conference_Titel :
Information and Computing Science, 2009. ICIC '09. Second International Conference on
Conference_Location :
Manchester
Print_ISBN :
978-0-7695-3634-7
DOI :
10.1109/ICIC.2009.62
