The research on the agent formal system of Em-BDI-VSK, logic

With the development of artificial intelligence, the Agent theory and technology research and application has aroused great concern and attention. Agent studies in the past, mainly research the structure of Agent. With the development of biology and psychology, joined the Agent in the emotional, increasingly attracted the attention of computer scientists. In this paper, put forward a formal model Em-BDI-VSK of the Agent with emotional operator, which combines logic and VSK logic and BDI logic and add emotion, and build the model semantic framework and axiom system.