检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

缺省逻辑的e扩充和me扩充

计算机学报 1995年第3期18卷 161-166页

作者：王献昌国防科学技术大学计算机科学系北京航空航天大学计算机科学与工程系

缺省逻辑（ＤｅｆａｕｌｔＬｏｇｉｃ）的扩充概念有二个弊端：１．无法描述缺省规则间固有的逻辑关系；２．无法描述结论与验证式之间的逻辑依赖关系．Ｗ．Ｌｕｋａｓｚｅｗｉｃｚ提出的ｍ扩充概念解决了问题２但没有解决问题１；本文... 详细信息

缺省逻辑（ＤｅｆａｕｌｔＬｏｇｉｃ）的扩充概念有二个弊端：１．无法描述缺省规则间固有的逻辑关系；２．无法描述结论与验证式之间的逻辑依赖关系．Ｗ．Ｌｕｋａｓｚｅｗｉｃｚ提出的ｍ扩充概念解决了问题２但没有解决问题１；本文首先提出了ｅ扩充的概念，它解决了问题１但没有解决问题２．最后我们提出了ｍｅ扩充的概念，解决了缺省逻辑遇到的两个问题，避免了相当一类的反常性．一个重要的结论是，每一封闭的缺省理论都有ｍｅ扩充．

关键词：缺省逻辑验证式扩充 me扩充 e扩充

人工智能的研究趋向多元化——参加第十三届国际人工智能联合大会总结报告

在线全文

学校读者我要写书评

暂无评论

计算机科学 1994年第1期21卷 1-6页

作者：王献昌国防科技大学计算机系

一、简介受国家自然科学基金(CNSF)的部分资助,我参加了1993年8月28日至1993年9月3日在法国南部城市Chambery召开的第十三届国际人工智能联合大会——IJCAI’93,并宣读了论文。众所周知,会议的主办单位是国际人工智能联合会(Internatlon... 详细信息

一、简介受国家自然科学基金(CNSF)的部分资助,我参加了1993年8月28日至1993年9月3日在法国南部城市Chambery召开的第十三届国际人工智能联合大会——IJCAI’93,并宣读了论文。众所周知,会议的主办单位是国际人工智能联合会(Internatlonal Joint Conference on Artificial Inteitigence,Inc,简称IJCAZZ),协办单位则是东道主法国人工智能联合会(Association Francaise pour I’Intelligence Artificielle,简称AFZA);

关键词：人工智能多元化国际会议

在线全文

学校读者我要写书评

暂无评论

日本新一代计算机计划之回顾

计算机科学 1994年第3期 13-14页

作者：王献昌国防科技大学计算机系长沙 410073

在人工智能的发展历史上,有一个对世界都产生了重要影响的计划,这就是始于1982年终于1992年的日本第五代机研究计划。在过去十多年里,日本新一代计算机研究所(ICOT)的第五代机工程以非常实质的途径影响了世界人工智能的研究。由于其目... 详细信息

在人工智能的发展历史上,有一个对世界都产生了重要影响的计划,这就是始于1982年终于1992年的日本第五代机研究计划。在过去十多年里,日本新一代计算机研究所(ICOT)的第五代机工程以非常实质的途径影响了世界人工智能的研究。由于其目标具想象的性质并且始终存有怀疑达到目的的

关键词：定理证明器人工智能新一代计算机第五代日本

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

TMS与一般逻辑程序的语义等价性

计算机学报 1993年第6期16卷 476-477页

作者：王献昌国防科学技术大学计算机科学系

1.稳固模型和良构指派首先假定读者已熟悉有关逻辑程序设计的最基本概念,有关详细论述请参阅[3]。定义1.设P是一Horn逻辑程序(简称Horn程序),B_P是P的Herbrand域.T_P是一从解释I到另一解释T_P(I)的映射,定义为: T_P(I)={A∈B_P|存在P... 详细信息

1.稳固模型和良构指派首先假定读者已熟悉有关逻辑程序设计的最基本概念,有关详细论述请参阅[3]。定义1.设P是一Horn逻辑程序(简称Horn程序),B_P是P的Herbrand域.T_P是一从解释I到另一解释T_P(I)的映射,定义为: T_P(I)={A∈B_P|存在P中某子句的实例代换A←A_1,…,A_n,使得{A_1,…,A_n}I}

关键词： TMS 逻辑程序等价性

在线全文

学校读者我要写书评

暂无评论

知识与常识的表示和推理

计算机科学 1993年第2期20卷 10-17页

作者：王献昌长沙工学院计算机系

一、引言无疑,常识(Common Knowledge)的表示和推理是知识领域中极其关键的研究问题,因为常识的特殊性质使它在多主体(Multi-agent)协同推理、通讯中起着重要的作用。可以看到,对于多主体的问题如三个聪明人问题,Conway问题乃至更一般... 详细信息

一、引言无疑,常识(Common Knowledge)的表示和推理是知识领域中极其关键的研究问题,因为常识的特殊性质使它在多主体(Multi-agent)协同推理、通讯中起着重要的作用。可以看到,对于多主体的问题如三个聪明人问题,Conway问题乃至更一般的博奕理论,分布式处理等,都将涉及到超越个体知识和事实之上的更高层次的知识,这就是常识。

关键词：知识常识推理