谓词演算相关论文
弗雷格开创了逻辑语言分析方向 ,他成功地把数学语言转换成逻辑形式语言 ,建立起语言逻辑的框架。在语形学上他最先构建了命题和谓......
自动推理是一门在给定知识及有关推理策略的前提下,研究用计算机帮助人们进行推理的学科.多种类逻辑及多种类谓词演算是经典一阶逻......
实时嵌入式系统的实时性约束主要来自系统的安全性需求。传统开发方法不仅需要较长的开发周期和较高的开发费用,而且缺少对安全性......
分析和研究了谓词逻辑在ATM上的应用。分别介绍了谓词演算的含义、ATM系统原理和怎样利用谓词逻辑将ATM系统形式化。通过谓词演算......
人类一直梦想让机器拥有我们人类大脑一样的思维能力,而近年来深度学习在人工智能领域的表现一枝独秀。人工智能有两个主要分支•.......
研究一种一阶谓词逻辑公式的反演求证算法，它是应用超连接过程来处理子句集的消解的，该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率，以一个实......
关系数据库是具有严格数学模型的一种数据库系统，该系统有效地解决了数据存储和数据应用问题；除法运算是关系数据库的基本运算之一，在......
谓词演算作为一种智能表示的语言，其优点是精确定义的形式语义，合理而完备的推理规则。使用谓词演算来进行知识的表示和推理，能代表实......
不完全信息问题存在于每一种教据库模型中。传统的二值逻辑难以适应不完全信息处理的需求，而多值逻辑能更多地捕获不完全信息的直觉......
谓词演算作为一种智能表示的语言，箕优点是精确定义的形式语义，合理而完备的推理规则．使用谓词演算来进行知识的表示和推理，能代表实际......
在Dijkstra的研究工作的基础上,对量词作进一步的探讨,主要以存在量词的几个基本性质作为假定,并由此推出有关存在量词和全称量词......
我们的讨论所涉及的逻辑理论体系有:正统数理逻辑、各种非正统数理逻辑(如形形色色的模态逻辑、衍推逻辑、相干逻辑)、久盛不衰的......
由于管理信息需求的不确定性、多样性和动态性，管理信息系统（包括ERP）的开发一直被认为是一项高风险的投资项目．通过管理信息本体的研......
管理信息系统是管理信息化必由之路,政府宏观管理、电子商务、ERP(企业资源计划)、CRM(客户关系管理)、PDM(产品数据管理)、SCM(供......
本文提出一种具有智能的积木式建模方法,将模型分解成基本单元,用原子公式表示其结构,并用谓词表示模型的基本要素,通过谓词演算产......
利用离散数学作为分析工具,给出了关系代数中除法运算的各种查询原理,特别阐述了SQL查询语句的实现,无论是教学还是实际应用具有一......
