Research And Implementation On The Agent-Oriented State Calculus And Its Application In Intelligent Virtual Human

Agent and multi-agent system is an important branch in the research of artificial intelligence and computer science,and it has been widely applied in many fields. Knowledge representation and reasoning,mental state model as well as internal running mechanisms are key contents in agent technology.While there still exists some difficulty in theory and its implementation.Agent can be regarded as a dynamic system which inhabits in dynamic environment with the properties of autonomy,reactivity,pro-activeness,and social ability.This dissertation forms the theory model and implementation method for agent and multi-agent system at the core of the State Calculus in the framework of the reasoning about action,by combining with the appropriate contents of intentional stance and emphasizing the representation of agent dynamic system and the description of its transformation.The main contents and contributions of this dissertation are as follows:(1)Based on the Fluent Calculus,the State Calculus is proposed.In the State Calculus,the State is represented by introducing Positive and Negative Fluent Set based on Axiom Set Theory while overcoming the inherent defects of State representation in the Fluent Calculus.Knowledge representation in terms of Incomplete State is presented in the State Calculus while the difficulty in implementing knowledge representation based on Modal Logic is avoided.The axiom system and Progression reasoning mechanism of State Calculus are presented,and State Knowledge Update Axiom is proved as a natural and effective solution for representational and inferential Framework Problem.Furthermore,the executor STEX of the State Calculus is implemented.The State Calculus lays the theory and implementation foundation for the dynamic system model,especially the agent and multi-agent system.(2)Based on the State Calculus,the Concurrent State Calculus is proposed.The Agent Synchronized Action and its Precondition Axioms and State Knowledge Update Axioms are introduced to the Concurrent State Calculus while the conflicts brought by synchronized actions are resolved by defining the Coherence of the action effects.The syntax and semantics for the Agent Action Expression are presented,in which especially a Concurrent Semantics Model containing dependant,independent and interleaving concurrency is provided.An Agent Model comprised by cognitive components,such as State,Ability,Intention and Reactivity,is attained.Furthermore, an agent-oriented concurrent programming language ConSTEX based on the Concurrent State Calculus is proposed and implemented.(3)Based on the Concurrent State Calculus,the Union State Calculus is proposed. The Union State,Union Situation,Synchronized Action as well as its Precondition Axioms and State Knowledge Update Axioms are added to the Union State Calculus while the conflicts brought by multi-agent synchronized actions are resolved.The syntax and semantics of the Union Action Expression are presented,in which a Concurrent Semantics Model for multi-agent is provided.The Communication Actions and a Requirement/Service Cooperation Model in multi-agent system are provided.An Agent Model comprised by cognitive components,such as State,Ability, Intention,Reactivity,Communication and Collaboration,and a Multi-agent System Model comprised by these agents are attained.Then a multi-agent-oriented concurrent programming language MConSTEX is proposed and implemented.In the Union State Calculus,describing the properties of agent are unified in micro and macro two levels based on the idea of"downward compatible",and the encapsulation of agent model is realized by referring the encapsulation of Object,which makes it possible to use modular approach describing and implementing the multi-agent system model.(4)As the application of the State Calculus in intelligent virtual human,a structure model"Reasoning-Representing"for modeling of intelligent virtual human is provided.A cooperation behaviors description language of Intelligent Virtual Human(IVHCBDL) is proposed and implemented,which can preferably describe behaviors of multiple intelligent virtual human by autonomously updating internal state,the reaction for the external events,communication and cooperation,as well as goal-oriented reasoning about action and dynamic planning in the dynamic environment.