面向对象的命题逻辑和分布式推理

摘要：

命题逻辑是人工智能和知识工程的基础之一,然而传统命题逻辑却没有体现面向对象的思想,并且难于适应目前的分布式计算环境.本文用对象封装命题变元,实现了传统命题逻辑和面向对象思想的结合;本文引入命题关联类/对象来封装产生式,不但显式地表征了事物之间的命题逻辑关系,还使系统形成一种网络拓扑结构,实现了知识的分布式存储;本文还提出了真值传递和规则触发机制,通过它们可以将推理分布在网络的各个节点完成,并且实现了知识的自索引:相关的知识都存于本地,因此搜索只发生在一个节点内部,避免了全局搜索.

关键词：命题类/对象、命题关联类/对象、分布式推理、真值传递、规则触发

所属期刊栏目：31

分类号：TP3(计算技术、计算机技术)

在线出版日期：2004-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：104-108