TY - GEN
T1 - A computationally grounded model of emotional BDI-agents
AU - Su, Yun
AU - Hu, Bin
AU - Dai, Yongqiang
AU - Rao, Juan
N1 - Publisher Copyright:
© 2018, Springer International Publishing AG, part of Springer Nature.
PY - 2018
Y1 - 2018
N2 - This paper extends BDI (belief, desire, and intention) logic by incorporating well-being emotion modalities (joy and distress) based on Ortony, Clore, and Collins’s (OCC) theory and obtain the emotional BDI logic called BDIE (belief, desire, intention and emotions) logic. We propose a new computational model of emotion triggers for BDI agents, called the interpreted observation-based BDIE system model (or BDIE model for short). The key point of this BDIE model is to express agent’s emotions, such as joy and distress, as a set of runs (computing paths), which is exactly a system in the interpreted system model, a well-known agent-model due to Halpern et al. We present a sound and complete proof system with respect to our BDIE model and specify a simplified auction scenario to illustrate the construction of the BDIE model and the specification of multi-agent systems involving agents’ emotional states using BDIE logic.
AB - This paper extends BDI (belief, desire, and intention) logic by incorporating well-being emotion modalities (joy and distress) based on Ortony, Clore, and Collins’s (OCC) theory and obtain the emotional BDI logic called BDIE (belief, desire, intention and emotions) logic. We propose a new computational model of emotion triggers for BDI agents, called the interpreted observation-based BDIE system model (or BDIE model for short). The key point of this BDIE model is to express agent’s emotions, such as joy and distress, as a set of runs (computing paths), which is exactly a system in the interpreted system model, a well-known agent-model due to Halpern et al. We present a sound and complete proof system with respect to our BDIE model and specify a simplified auction scenario to illustrate the construction of the BDIE model and the specification of multi-agent systems involving agents’ emotional states using BDIE logic.
KW - Agents
KW - BDI logic
KW - Emotional model
KW - OCC theory
UR - https://www.scopus.com/pages/publications/85051843333
U2 - 10.1007/978-3-319-95930-6_41
DO - 10.1007/978-3-319-95930-6_41
M3 - Conference contribution
AN - SCOPUS:85051843333
SN - 9783319959290
T3 - Lecture Notes in Computer Science
SP - 444
EP - 453
BT - Intelligent Computing - 14th International Conference, ICIC 2018, Proceedings
A2 - Huang, De-Shuang
A2 - Bevilacqua, Vitoantonio
A2 - Premaratne, Prashan
A2 - Gupta, Phalguni
PB - Springer Verlag
T2 - 14th International Conference on Intelligent Computing, ICIC 2018
Y2 - 15 August 2018 through 18 August 2018
ER -