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

• 作者: 周明天 左志宏 熊毅
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 命题类/对象 命题关联类/对象 分布式推理 真值传递 规则触发
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 人工智能
• 页码范围: 104-108
• 页数: 5页
• 分类号: TP3
• 字数: 3541字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2004.02.029

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周明天	电子科技大学计算机学院	315	3725	27.0	49.0
2	左志宏	电子科技大学计算机学院	29	205	8.0	13.0
3	熊毅	电子科技大学计算机学院	2	50	1.0	2.0