Research On BDI Agent Belief Model Based On Formal Concept Analysis

At present,with the development of artificial intelligence technology,more and more experts and scholars focus on the monomer and cooperative work of rational agent,among which the research on BDI structure of rational agent is widely concerned.Most of the traditional agent BDI researches focus on the expression of formulas and theorems,lack of formal representation,and can not provide more general knowledge extraction and analysis methods.The main content of this thesis is based on the formal concept analysis method,which describes and represents the belief attributes in agent BDI,puts forward FCAB belief model for agent BDI dynamic belief generation,elimination and update,constructs compound belief for deep analysis and constraint of existing knowledge base,realizes the combination of multi-agent belief sets,and the experiment proves that the model can be used in In the dynamic scene,it can effectively reduce the time of belief generation and improve the efficiency of multi-agent cooperative tasks.The main research work and results are as follows:(1)According to the different attributes of BDI agent belief,the belief of BDI agent is classified.Based on the knowledge attribute of belief,the static belief of agent BDI is represented by formal concept analysis.The concepts of belief formal context and belief concept lattice are proposed.The process of establishing belief formal context and the process of constructing belief concept lattice are described in detail.(2)FCAB model is established to simulate the generation process of agent BDI belief.A background atom based concept lattice generation algorithm BAFCA is proposed to simulate the dynamic generation process of belief.It is compared with Godin algorithm.Experiments show the effectiveness of BAFCA algorithm in the process of simulation belief generation.(3)In this thesisr,the formal concept analysis method is used to formalize the constraint and merging process of knowledge belief.Based on the improvement of FCAB model,a combined FCAB belief model for compound belief is proposed by combining belief concept lattice to represent belief merging.The improved merging algorithm is given.The validity of the method is verified by experiments.The results show that the FCAB model and the combined FCAB model for compound beliefs have some advantages in solving specific problems.