检索结果-南通市图书馆

人文杂志 1997年第3期 39-40页

作者：黄展骥

制约逻辑才是知识表示的合适的逻辑工具(英文)

在线全文

学校读者我要写书评

暂无评论

贵州大学学报（自然科学版） 1996年第2期13卷 79-86页

作者：龚启荣贵州大学哲学系贵阳550025

专家系统中产生式规则的"若…则…"的前后件问存在着的是制约逻辑所揭举的制约关系中的两个独立性:可独立于前后件的真假确定不会是前真而后假(一独),前件为真可独立于后件的真假确定(二独).从形式上说,当制约逻辑C.系统中的"制约"、"必... 详细信息

专家系统中产生式规则的"若…则…"的前后件问存在着的是制约逻辑所揭举的制约关系中的两个独立性:可独立于前后件的真假确定不会是前真而后假(一独),前件为真可独立于后件的真假确定(二独).从形式上说,当制约逻辑C.系统中的"制约"、"必定"分别跟狭谓词演算F中的→、V x作对应时.Cn与F是交叉关系.F中的定理可成为专家系统中的规则,当且仅当,F中的定理翻译成Cn的式后也是Cn的定理.在F之外有无限多个实际可用的有效规则,这些规则在Cn中是定理."A必然B"就是"A制约B",表达式皆为A→B."A可能B"、"A偶然B"、"A彻底地偶然B"可从一得到定义.制约逻辑成功地避免了实质蕴涵怪论和一般模态逻辑避免不了的严格蕴涵怪论.它的表达功能和推理能力比以往的任何系统都强而且丰富.制约逻辑是知识表示自々合适的逻辑工具.正统数量逻辑和形形色色的非古典逻辑(包括衍推逻辑、相关逻辑等)以及传统形式逻辑都不是知识表示的合适工具。

关键词：制约逻辑逻辑工具知识表示正统数理逻辑

在线全文

学校读者我要写书评

暂无评论

制约逻辑、消解原理及其应用(英文)

贵州大学学报（自然科学版） 1998年第1期15卷 21-26页

作者：蒋学锋贵州大学计算机科学系贵阳550025

本文首先简要介绍了制约逻辑；然后提出制约逻辑的子句类型和消解方法，并对简称为LELAIL的实验系统（我们自己在这个原理的基础上开发的问题求解软件系统）及其求解实例进行了讨论。

关键词：可能性偶然性必然性制约逻辑消解

在线全文

学校读者我要写书评

暂无评论

制约逻辑消解原理人工智能语言

贵州师范大学学报（自然科学版） 1992年第4期10卷 22-29页

作者：蒋学锋贵州大学计算机科学系贵阳550025

本文在简介制约逻辑的基础上,提出了基于制约逻辑的消解原理,并探讨了基于这一原理的人工智能语言及其机器实现。

关键词：制约逻辑消解原理人工智能语言

在线全文

学校读者我要写书评

暂无评论

制约逻辑与知识表示(英文)

安顺学院学报 1996年第2期1卷 5-8页

作者：龚启荣

专家系统中知识表示的产生式规则的前后件之间存在着的启发式信息就是刻划清楚后的充分条件关系。而正统数理逻辑的纯真值函数关系蕴涵关系不是充分条件关系,形形色色的模态逻辑的模态算子实际上是特殊的一元真值函数关系,不是充分条件... 详细信息

专家系统中知识表示的产生式规则的前后件之间存在着的启发式信息就是刻划清楚后的充分条件关系。而正统数理逻辑的纯真值函数关系蕴涵关系不是充分条件关系,形形色色的模态逻辑的模态算子实际上是特殊的一元真值函数关系,不是充分条件关系。制约逻辑的制约关系、必然关系是刻划清楚后的充分条件关系,是真正的逻辑的二元关系,可由之导出的“可能”、“偶然”、“彻底地偶然”关系也是真正的逻辑关系,满足启发式信息。制约逻辑克服了正统数理逻辑和形形色色的模态逻辑的诸多缺陷,在知识表示中不会产生语义畸变现象,表达能力强而且丰富。

关键词：制约逻辑知识表示启发式信息刻划清楚后的充分条件关系

在线全文

学校读者我要写书评

暂无评论

制约逻辑元思想剖析

渤海大学学报(哲学社会科学版) 2000年第3期 113-116页

作者：倪荫林 065000 廊坊武警学院管理系!廊坊

本文依据逻辑抽象与经验事实的关系及蕴涵重言式的两种类型——保真且扩大的与保真不扩大的 ,论证了一独与二依的虚假性 ;然后从逻辑的研究对象与世界的复杂性指出了制约逻辑元思想的定位失当 ;最后剖析了制约逻辑的公理与规则——并未... 详细信息

本文依据逻辑抽象与经验事实的关系及蕴涵重言式的两种类型——保真且扩大的与保真不扩大的 ,论证了一独与二依的虚假性 ;然后从逻辑的研究对象与世界的复杂性指出了制约逻辑元思想的定位失当 ;最后剖析了制约逻辑的公理与规则——并未跳出经典逻辑的圈子 ;从而证明制约逻辑并不能取代经典逻辑对思维的形式表示。对制约逻辑元思想的剖析 ,不只是针对一种具体逻辑 ,而是涉及对逻辑的研究对象、逻辑的本质及逻辑与客观世界的关系等逻辑哲学问题的理解和把握。

关键词：制约逻辑经典逻辑两独两依元思想

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

制约逻辑与人工智能科学

社科新视野 2001年第2期 27-28页

作者：龚启荣贵州大学信息管理系

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

制约逻辑与情报推理

贵阳学院学报（社会科学版） 2007年第3期2卷 96-100页

作者：盛作国胡红贵州大学人文学院贵州贵阳550025

逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。人工智能研究以正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反... 详细信息

逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。人工智能研究以正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反复的恒真的真值函数。因而建立在这种逻辑理论基础之上的人工智能专家系统并不能真正实现从已知到新知的必然过渡。情报推理仍需要寻求一种更合适的逻辑理论工具。

关键词：情报推理制约逻辑人工智能专家系统