Title :
Formal Reasoning of Emotional Agent Based on the LOBA and BDI
Author :
Zhang Gui-yun ; Pei Wei-dong ; Ma Xi-rong
Author_Institution :
Sch. of Comput. & Inf. Eng., Tianjin Normal Univ., Tianjin, China
Abstract :
To enable intelligent agents to effectively deal with emotion, the formal description of emotional agent based on the LOBA logic and axioms derived are described. The model provide theoretical foundation for the construction of emotional rule base that supports emotion reasoning, also reflects the agent producing better emotional response and making intelligent decisions.
Keywords :
formal logic; formal specification; inference mechanisms; software agents; BDI model; LOBA logic; emotion reasoning; emotional agent; emotional rule base; formal reasoning; intelligent agents; logic of believable agents; Artificial intelligence; Bismuth; Cognition; Computational modeling; Computers; Humans; Intelligent agent;
Conference_Titel :
Multimedia Technology (ICMT), 2010 International Conference on
Conference_Location :
Ningbo
Print_ISBN :
978-1-4244-7871-2
DOI :
10.1109/ICMULT.2010.5629847
