谓词演算相关论文
弗雷格开创了逻辑语言分析方向 ,他成功地把数学语言转换成逻辑形式语言 ,建立起语言逻辑的框架。在语形学上他最先构建了命题和谓......
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
自动推理是一门在给定知识及有关推理策略的前提下,研究用计算机帮助人们进行推理的学科.多种类逻辑及多种类谓词演算是经典一阶逻......
真值概念（truth value）是弗雷格提出的。在现代哲学中，．特别是在分析哲学和语言哲学中，“真”是一个非常重要的概念。它的核心是探讨自......
本文探讨了直接实现(不经过流程表及其简化、编码等手续)谓词演算t式显式方程组成同步时序线路的逻辑设计方法。实现中容许使用各......
量词是谓词演算的基本要素之一，尽管在英语及古汉语中，其语言表现形式有所不同，但以逻辑哲学的角度观之，逻辑学中的量词与哲学研究......
引入机器发明的概念,论证它的现实可能性,并指出体制分析程序可作为机器发明的算法程序的基础。
The concept of machine inventi......
一、概述 专家系统是利用专家知识来解决(通常需要专家来解决的)问题的计算机系统,亦称为基于知识的系统,因为它们的运行主要依赖......
本文提出以实例空间中状态划分概率的大小作为启发式信息，以提供的正反实例集为依据，基于二叉树分类方法的示例式归纳学习算法ＣＡＰ２．它输出......
该文讨论受控Ｐｅｔｒｉ网的一类禁止状态避免问题，该类禁止状态用广义互斥约束的形式给出，当受控Ｐｅｔｒｉ网的有影响不可控子网满足一定条件时，通过谓词......
该文用F—logic程序写出了一个概念语义网F—Net，从而指出了实现语义网的一种可能的新方法。用F——logic来实现语义网的优点是：可以......
本文以文[1]为基础,继续讨论中介逻辑的自动推理理论,文中给出了中介谓词演算系统MF及MF~*、带等词的中介谓调演算系统ME及ME~*的......
该文通过对非单调推理主要分支的考察,提出了以开放世界逻辑 解决非单调问题的方法.首先,该文把缺省理论的单调性条件从规范情形推......
Ｓ Ｄ Ｌ 语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用。 Ｓ Ｄ Ｌ－ ９２的形式语义已无法充分满足应用需要，本文对 Ｓ Ｄ Ｌ 现......
实时嵌入式系统的实时性约束主要来自系统的安全性需求。传统开发方法不仅需要较长的开发周期和较高的开发费用,而且缺少对安全性......
分析和研究了谓词逻辑在ATM上的应用。分别介绍了谓词演算的含义、ATM系统原理和怎样利用谓词逻辑将ATM系统形式化。通过谓词演算......
摘 要：基于语义网络，提出了关于家族人物关系的四种基本谓词，构造出表示称谓的多种复合谓词。利用由语义网络转换来的谓词演算，能够对......
利用命题演算可以解决一类逻辑推理问题，但就在命题演算过程中，常会遇到一些困难，本文通过典型例子说明利用逻辑方程求解技巧可避免这......
人类一直梦想让机器拥有我们人类大脑一样的思维能力,而近年来深度学习在人工智能领域的表现一枝独秀。人工智能有两个主要分支•.......
<正>为表征对象间复杂的关系,克服传统的关系模型所带来的限制,OODB数据库技术得以迅速发展。......
<正> 本文讨论一些多值的狭义谓词演算中良构式(即合式的公式)的前束标准形和Skolem标准形。讨论的目的是为考虑判定问题和多值模......
<正> 一、问题的提出 PROLOG语言是一种重要的逻辑型程序设计语言,它是以谓词演算为基础的,由于这种语言的独特风格和深远意义,已......
研究一种一阶谓词逻辑公式的反演求证算法，它是应用超连接过程来处理子句集的消解的，该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率，以一个实......
我现在年纪大了,搞了这么多年软件,错误不知犯了多少,现在觉悟了。我想,假如我早在数理逻辑上好好下点功夫的话,我就不会犯这么多......
【正】 林邦瑾的《制约逻辑——传统逻辑与现代逻辑的结合》一书已由贵州人民出版社正式出版,通过《人民日报》和中央电视台的报道......
<正> 语义学是当代语言学的重要分科。整个七十年代,世界各国语言学的各种流派都重视语义学的研究。转换生成语言学的后期理论、......
本文提出一种一阶数学理论——(?)_(γω)理论,其中融合γω演算与谓词演算于一体。(?)_(γω)理论将成为泛函·方程·逻......
关系数据库是具有严格数学模型的一种数据库系统，该系统有效地解决了数据存储和数据应用问题；除法运算是关系数据库的基本运算之一，在......
学习NDPI (Nature Deduction Predicate Intuitionistic)[1]时,自然会提出这样的问题:如何证明判断"P∨┑P(P是一个命题)"在该系统......
讨论了完备弱可补格按关于谓词演算的同模分类问题,给出了原子的完备弱可补格与二元布尔代数同模的充要条件以及一类分组格与特殊......
谓词演算作为一种智能表示的语言，其优点是精确定义的形式语义，合理而完备的推理规则。使用谓词演算来进行知识的表示和推理，能代表实......
基于动态模糊逻辑，提出了数值化推理方法。...
本文在文献「１」的基础上，给出一个一阶逻辑形式系统Ｋ；证明了Ｋ的限制概括规划和Ｋ演泽定理；证明Ｋ与文献「１」中的一阶逻辑形式系统Ｋ是等价的，通......
不完全信息问题存在于每一种教据库模型中。传统的二值逻辑难以适应不完全信息处理的需求，而多值逻辑能更多地捕获不完全信息的直觉......
The Scope of the Structural Completeness in the Class of all Over-Systems of the Classical Functiona
...
谓词演算作为一种智能表示的语言，箕优点是精确定义的形式语义，合理而完备的推理规则．使用谓词演算来进行知识的表示和推理，能代表实际......
在Dijkstra的研究工作的基础上,对量词作进一步的探讨,主要以存在量词的几个基本性质作为假定,并由此推出有关存在量词和全称量词......
<正> Kripke语义学是关于模态逻辑形式语义等符号的意义和公式真假的一种理论。模态逻辑是逻辑学的一个古老的分支,近几十年来,它......
【正】 六十年代初期,美国出版了两本重要的科学哲学著作:一本是内格耳的“科学的结构”,一本是库恩的“科学革命的结构”。这两本......
提出支持集的概念和基于支持集的系统切分方法及相应诊断算法,也论及故障诊断问题的描述及若干有关概念问题。......
用现代逻辑研究亚里士多德三段论是现代逻辑史研究的重要课题和重要方法之一。本刊今年第4期和第5期,分别发表了蔡曙山和张家龙同......
ＳＤＬ语言自身的形式地于该语言的不断发展，完善将发挥重要的核心作用，ＳＤＬ－９２的形式语义已无法充分满足应用需要，本文对ＳＤＬ现有的静态语义定义方法进......
