High-level reasoning in cooperative knowledge system

The authors discuss high-level reasoning in a cooperative knowledge system and provide an effective high-level reasoning method, i.e. the multidimensional argument method. Based on the results of low-level reasoning this method of high-level reasoning can improve the accuracy of the whole cooperative system's results by using various kinds of information, such as mutual-evaluation information, self-evaluation, external knowledge and information, and dependence value. The authors also describe the development of the argument system PAT-1 which is a subsystem of DAI-tools HEDMUKCS.<>