10.3969/j.issn.1002-137X.2004.02.029
面向对象的命题逻辑和分布式推理
命题逻辑是人工智能和知识工程的基础之一,然而传统命题逻辑却没有体现面向对象的思想,并且难于适应目前的分布式计算环境.本文用对象封装命题变元,实现了传统命题逻辑和面向对象思想的结合;本文引入命题关联类/对象来封装产生式,不但显式地表征了事物之间的命题逻辑关系,还使系统形成一种网络拓扑结构,实现了知识的分布式存储;本文还提出了真值传递和规则触发机制,通过它们可以将推理分布在网络的各个节点完成,并且实现了知识的自索引:相关的知识都存于本地,因此搜索只发生在一个节点内部,避免了全局搜索.
命题类/对象、命题关联类/对象、分布式推理、真值传递、规则触发
31
TP3(计算技术、计算机技术)
2004-06-04(万方平台首次上网日期,不代表论文的发表时间)
共5页
104-108