A Theoretical Framework of Rational and Emotional Agent for Ubiquitous Computing

Human machine interaction, such as virtual reality and 3D interaction, is one of the key technique challenges on the way to achieve ubiquitous computing. In order to realize harmonious human machine interaction, this paper makes some useful efforts on formalizing rational and emotional agents for human machine interface basing on multi-agent technology. An improved model of concurrent game structure is given, mental states (belief, desire and intention) of agent are brought into new multi-agent cooperation logics, multi-subset semantics of individual intention are given and extended to give the semantics to group intentions. Understanding and representing of emotions are added to agent for human machine interface to improve the effective interaction between human and machine, formal representation of emotion are given. Four tough problems (logical omniscience problem, the side-effect problem of tautological implication, disjunction magnification problem and conjunction separation problem) are done away with. Several desired properties are attained finally.