At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research methods of nonmonotony. Then,we enlarge ability to express knowledge in semantic network language,and...At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research methods of nonmonotony. Then,we enlarge ability to express knowledge in semantic network language,and put forward knowledge presenting way of modal logic. Finally,we provide arithmetic of modal logic reason.展开更多
Causal reasoning is the most important feature in law consultant systems. This paper analy-ses the structure of law clauses,proposes a representation model for law knowledge in terms of causal relationships and nonmon...Causal reasoning is the most important feature in law consultant systems. This paper analy-ses the structure of law clauses,proposes a representation model for law knowledge in terms of causal relationships and nonmonotonic reasoning models based on it. These models are successfully applied in the implementation of NBU-CALA+ ,a law expert consultant system for case analysis and interpreta-tion.展开更多
文摘At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research methods of nonmonotony. Then,we enlarge ability to express knowledge in semantic network language,and put forward knowledge presenting way of modal logic. Finally,we provide arithmetic of modal logic reason.
文摘Causal reasoning is the most important feature in law consultant systems. This paper analy-ses the structure of law clauses,proposes a representation model for law knowledge in terms of causal relationships and nonmonotonic reasoning models based on it. These models are successfully applied in the implementation of NBU-CALA+ ,a law expert consultant system for case analysis and interpreta-tion.