Formal Reasoning of Emotional Agent Based on the LOBA and BDI | IEEE Conference Publication | IEEE Xplore