In this paper, we used dynamic fuzzy logic as the tool of formalized description to propose an agent auto-reasoning model. Based on it, we built a multi-agent automated reasoning platform.Our work includes four aspects: Based on DFL, we proposed reasoning mode of sole agent; Analyzing actual status of multi-agent system, we gave the reasoning platform of MAS; We gave the choose algorithm, feedback algorithm, negotiation algorithm and reasoning algorithm in the process of reasoning; Apply the platform to solve the problem of combinatory theory.So the paper has the character as fellows:1 , Gives the plan of the reasoning platform of MAS based on DFL and the primary fact analyses;2, Gives the algorithm of choose, feedback, negotiation and reasoning in the process of reasoning.Through the work above, we gave the MAS formalized description. The work not only makes up for the inadequate of the exit theory and also helps find a new way to research agent. |