论文部分内容阅读
将谓词逻辑知识表达法与面向对象技术相结合,提出面向对象的类谓词逻辑知识表达模型.该模型用对象和信息表现问题中的事物及其关系;用类和继承来模拟人们的思维方式.模型中通过采用"测验分数"语义,有效地解决了不确定性知识的表达问题;用类代替关系定义域中的实体,可通过缩小搜索空间而提高推理效率.以选线系统中的设计状态知识,说明类谓词逻辑知识表达模式在选线领域知识表达中的应用.