论文部分内容阅读
本文论述了PROLOG显式表达否定知识的意义,提出了两种显式表达否定知识的方法,并例举了这类方法在非单调推理中的重要应用。
This paper discusses the significance of PROLOG explicit expression of negative knowledge, puts forward two methods of explicit expression of negative knowledge, and illustrates the important application of such methods in non-monotonic reasoning.