制约逻辑相关论文
【正】 悖论是一个古老而又年轻的问题,也是困扰科学和人类思维的难题之一。把悖论作为一个相对独立的范畴进行深入的研究,是现代......
本文从数理逻辑对人工智能发展的局限出发,分析了制约逻辑与人工智能的辩证关系,最后总结了制约逻辑为人工智能的智能模拟提供了理......
一、启发式信息就是制约关系的“两独”,实质蕴涵不具有启发式信息 人们一直把正统数理逻辑狭谓词演算F当作人工智能知识表示的工......
【正】 林邦瑾的《制约逻辑——传统逻辑与现代逻辑的结合》一书已由贵州人民出版社正式出版,通过《人民日报》和中央电视台的报道......
专家系统中知识表示的产生式规则的前后件之间存在着的启发式信息就是刻划清楚后的充分条件关系。而正统数理逻辑的纯真值函数关系......
从新的视点论述计算机的发展,分析“正统”数理逻辑不能适应研制智能机的需要。指出制约逻辑可能为计算机的发展提供新型的逻辑系......
实质蕴涵的提出引起学界极大争议，蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和......
数理逻辑干扰了传统逻辑，传统逻辑中的充分条件假言命题受此影响也发生了变化，特别是真值表的引入，改变了充分条件假言命题的真假的判......
本文首先简要介绍了制约逻辑，然后提出制约逻辑的子句类型和消解方法，并对简称为ＬＥＬＡＩＬ的实验系统（我们自己在这个原理的基础上开发的问题求......
制约门是基于制约逻辑的内涵智能机的核心元件，它根本区别于以往的外延计算机硬件与和非，输入和输出之间不是真值函数关系，本文综合制......
逻辑科学在情报学学科中几乎主要地被应用于情报检索领域，而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。人工智......
真正的充分条件关系刻划清楚后便是制约关系，事实上具有“两个独立性”。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数......
本文在简介制约逻辑的基础上,提出了基于制约逻辑的消解原理,并探讨了基于这一原理的人工智能语言及其机器实现。......
1986年8月2日,《人民日报》发表该报记者王友恭采写的《制约逻辑诞生记——中年学者林邦瑾的一项重大理论创造》。《诞生记》以其......
<正> 第二次全国逻辑讨论会于8月23日—29日在北京召开。这是继去年夏季召开的第一次全国逻辑讨论会之后逻辑学界的又一盛会。来......
<正> 1985年12月贵州人民出版社出版了林邦瑾的《制约逻辑》一书。1986年8月2日,《人民日报》发表了该报记者王友恭采写的一篇报......
【正】 《制约逻辑》(林邦瑾著,贵州人民出版社1985版)的主要内容可以看作两个部分:一是批评古典的数理逻辑和传统逻辑——“传统......
本文简单介绍了ER模型(美国数据库专家PeterP.Cher教授的实体—关系模型),强调了用它描述客观世界,尤其是面向结构对象知识的可行......
本文给出了原子命题的详细而又符合客观实际的制约逻辑语义学解释。所谓原子命题就是关于客观世界的原子事件的思考;原子事件分闭......
对宇宙的显示实机器表示，加到有的知识表示系统中去，行使机器推理，去得出前所未有的新的知识表示的机器运行过程，就称为人工智能。能从......
专家系统中产生式规则的'若…则…'的前后件问存在着的是制约逻辑所揭举的制约关系中的两个独立性:可独立于前后件的真假......
传统直言命题Ａ、Ｅ、Ｉ、Ｏ作为 “命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而而今还存在种种逻辑理论上的问题。......
Cm系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了Cm的公式集是递......
在半个世纪内先后出现的“认知模拟”、“人机合一”都不是真正的“人工智能”正确的指导方针 宇宙具有按一定的逻辑结构、逻辑规......
