tailieunhanh - Idea Group - Information Management Support Systems And Multimedia Technology P2

The selected results may be incorrect, but as the evidences are accumulated, the true facts can be found eventually. Thus, the uncertainties are decreasing. The experienced rules and strategies to implement the selecting mechanism of a BOS are extremely important for improving the efficiencies. The main tasks of the reasoning mechanism are to realize the cooperative problem solving, and according to the current defeasible logic structure (Ki, Ai), to carry out the assumption-based reasoning. That a heuristic conclusion P is derived from BOSi means the conjunction of Ki and Ai can derive P, and when contradiction is induced, Ai is. | Intelligent Agent-Based Cooperative Information Processing Model 17 The selected results may be incorrect but as the evidences are accumulated the true facts can be found eventually. Thus the uncertainties are decreasing. The experienced rules and strategies to implement the selecting mechanism of a BOS are extremely important for improving the efficiencies. The main tasks ofthe reasoning mechanism are to realize the cooperative problem solving and according to the current defeasible logic structure K A to carry out the assumption-based reasoning. That a heuristic conclusion P is derived from BOSi means the conjunction ofK and A can derive P and when contradiction is induced A. is ignored. Meanwhile the reasoning mechanism calculates the argument structure and environment information for each derivative result and records them as a node thus making a reasoning structural net. Furthermore on the basis ofthe cooperative strategies the reasoning mechanism should communicate the conclusions and the cooperative demands concerning the cooperation to the agents in other BOSs. The major tasks ofthe distributed truth maintaining mechanism are to identify the contradictions in the reasoning structural net founded according to the reasoning mechanism and to remove the conflicts by means ofcooperation among multiple agents to maintain the effectiveness ofthe reasoning. To identify contradictions is to check whether or not all kinds of constraint conditions comply with the rules. When contradictions are found and should be eliminated not only all the nodes in their own BOS concerning the contradiction nodes must be updated but also all the nodes concerning the changing nodes in other BOSs must be updated. This process is called the related consistency for maintaining the cooperative reasoning structural net. Therefore in ACPS the cooperative problem-solving procedure in MAS means that the agents in various BOSs select continually their own current defeasible logic structures .