一阶谓词逻辑相关论文
<正> 在当今认知科学的时代里,逻辑和语言之间的关系既是哲学上十分复杂的问题,又是有争议的问题。问题之所以复杂和有争议,在我看......
近年来人们逐渐意识到进行复杂系统的开发时软件体系结构所起到的重要作用,于是许多体系结构描述语言陆续被开发出来.但是每一种语......
人机口语对话技术使得人机交互更加简单自然。然而，要生成一个人机口语对话系统，需要耗费大量的人力物力。如何自动的搜集限定领域语......
该文首先论述了课题相关的概念和技术扫展现状.其次对空间决策支持系统的构建方式和知识库的组织结构及两者的关系进行了分析,提出......
随着软件产业的迅速发展,软件系统的规模和和结构日益复杂,人们对于软件产品的质量要求也越来越高。基于代码的审查技术和测试技术......
语义互联网(Semantic Web)是下一代Web技术的应用,主要在于提供计算机软件可处理的元数据(metadata)描述和信息表达方式.随着资源......
经过几十年发展,强化学习已得到长足的进步,已成为机器学习、人工智能研究中最活跃的领域之一。在实际问题中,由于状态空间的规模......
实现计算机的自动推理是人工智能领域中的一个重要课题。对于传统的常识推理,新知识可由旧知识以经典逻辑的原理推理得到。然而在......
提出一种新的时态逻辑——一阶间隔时态逻辑（ＦＯＩＴＬ），它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性，支持连续和......
摘 要: 单调性是广义量词的语义特征之一。 本文着重讨论的是在把自然语句转变为形式语句时,广义量词的单调性应考虑个体域的范围......
针对当前系统中属于相同应用类中的应用程序产生利益冲突，可能威胁应用程序安全，包括信息泄露和信息未授权的修改。文章基于中国......
本文提出了一种基于W3C 标准的气象灾害本体化设计思路及其实现方法。在理解中国国家气象灾害预警体系中气象灾害的概念定义、......
Horn子句在知识表示和知识处理中有广泛的应用,但在一阶谓词逻辑系统内部,许多公式都不能转换为等价的Horn子句形式.本文提出一种......
本文从理论上和机制上对人工智能程序语言LISP与PROLOG进行了剖析和比较。
This paper analyzes and compares artificial intell......
本文简要介绍人工智能应用研究领域的重要方向之一——专家系统,重点是基于规则的专家系统。
This article briefly introduces o......
知识工程是研究知识信息处理的学科。本文将结合我们的研究成果,讨论知识表示、演绎数据库系统、专家系统的方法。
Knowledge eng......
作为一阶谓词逻辑的扩展，多层逻辑（MLL）能表示对象的层次结构，因而更适合于知识的表示。该文介绍了MLL，讨论了其公式的标准型及合一等问......
本文概述了时序推理的代表理论以及它们对本学科的未来研究，尤其是对ＡＩ的影响。
This article outlines the theory of temporal inf......
本文介绍了一个基于模糊关系数据库及模糊推理规则概念的原型模糊信息系统，该原型系统可对非精确数据以及知识描述中的不确定性进行......
本文介绍了基于微机的归纳法推理系统．用该系统，作者已证明了一批计算机程序的正确性及一些有价值的程序属性，包括算术表达式编译程序......
以抗硫酸盐侵蚀工程辅助设计专家系统(CRSA_ ES)为例,阐述了工程设计专家系统中分层结构化的混合知识表示方法的构思及其实现
Tak......
本文简要介绍了模糊理论的基本概念及其主要应用,并对其发展作了简要评述。
This article briefly introduces the basic concept......
本文简要介绍了养老保险审计的相关概念,阐述了智能审计的应用理念;并且提出了养老保险审计与推理研究过程:总体表示,推理研究;研......
讨论采煤机故障诊断专家系统的３种知识表示方法：产生式规则表示、一阶谓词逻辑表示和“规则架＋规则体”的知识表示。
Discusses thre......
纵观现代先进的生产制造技术,CAD/CAM技术已被广泛的运用,并不断地发展,而简单、易用、高效则是当前CAD/CAM系统开发的关键。针对......
DRS是Discourse Representation Structure(话语表征结构)的简称,是DRT的灵魂部分.DRT即Discourse Representation Theory,在国内......
针对目前电网操作票系统智能性和通用性的不足,提出了一种命令票-操作票-程序化操作集成自动化系统,可以实现检修计划中操作任务的......
提出了一种需求获取与表示方法——基于领域本体知识的需求获取与表示方法。方法的主要特点是用框架作为形式化需求的主要工具,即......
通过应用模糊描述逻辑FALC（fuzzy attribute language and complement）表示问题领域和模糊软集参数知识,丰富模糊软集参数的语义;利......
以一阶谓词逻辑为基础，讨论约束满足问题。着重研究一阶逻辑公式可满足性的局部搜索法，并与命题逻辑中的可满足性过程加以比较。以皇......
根据客运专线综合运营调度系统结构,为建立系统知识库,将客运专线的运输环境分为静态环境和动态环境。静态环境包括车站顺序关系、......
本文介绍了一个儿科医疗咨询专家系统的结构、功能和设计特点。描述了系统的推理控制策略、基于一阶谓词逻辑的知识表达方法、解释......
针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一......
提出一种新的时态逻辑－一阶间隔时态逻辑（ＦＯＩＴＬ），它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性，支持连续和离散......
【正】 “次协调逻辑”(para-consistent logic)这个术语意味着,新逻辑的协调性次于经典逻辑,但又远高于完全不协调系统。换句话说......
广义量词理论述评张维真（天津市委党校）通常，现代逻辑只研究和运用两类量词：全称量词和存在量词，广义量词理论则对逻辑量词进行了充分......
【正】 本文仅就逻辑、语法、机器翻译边缘上出现的一些新的问题谈点浅见。过去我们的逻辑书,都给逻辑下“思维规律”的定义,这是......
摘要：一阶谓词逻辑除了可用在关系演算中表示关系和关系代数，还能作为一种数据模型存在，本文将讨论如何在教学中介绍该模型的语义和语......
尝试将模型推理引入一类典型的SQL查询语句（等式比较SQL查询语句）的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目......
针对现有用户-用户的角色转授权模型存在授权冲突问题，基于转授权的组件、相关性质以及约束规则，提出了一种约束转授权模型，该模型满......
用一阶谓词逻辑的工具证明,那种有两方参与,根据规则在有限步内能确定胜负的游戏,从理论上说,存在必胜的方法.这说明,数理逻辑的方......
计算机通信协议的开发难度随着复杂程度的增加而日益增大,潜在错误也越来越多,其中对协议规格说明理解的偏差是重要原因之一.因此......
研究了证明一般的一阶谓词逻辑命题的方法，根据网逻辑的思想，利用谓词，变迁网对一般形式的一阶谓词逻辑命题进行了图形表示，提出了2种......
