A Logic of Believable Agents
Yu Liang Pan, Cungen Cao, Sui yuefei · 2006
In this paper, we describe our so-called LOBA logic (a logic of believable agents). LOBA has expanded the work of KARO (van der Hoek et al., 1998 and 2000; van Linder et al., 1996 and 1995; and Meyer, 2004) and LORA logic (Woolridge, 2000 and 2002; Binh Vu Tran et al., 2003; and Woolridge and Lomuscio, 1999) and interpreted cognitive actions which only occur in agents' brains by a three-layer model. By introducing cognitive actions, we can describe the relations among an agent's cognitive components including perception, belief, emotion, desire, goal, intention, and commitment. Specially, in LOBA, we deal with emotions as a kind of modal operators