一阶谓词逻辑相关论文
随着软件产业的迅速发展,软件系统的规模和和结构日益复杂,人们对于软件产品的质量要求也越来越高。基于代码的审查技术和测试技术......
语义互联网(Semantic Web)是下一代Web技术的应用,主要在于提供计算机软件可处理的元数据(metadata)描述和信息表达方式.随着资源......
经过几十年发展,强化学习已得到长足的进步,已成为机器学习、人工智能研究中最活跃的领域之一。在实际问题中,由于状态空间的规模......
实现计算机的自动推理是人工智能领域中的一个重要课题。对于传统的常识推理,新知识可由旧知识以经典逻辑的原理推理得到。然而在......
知识工程是研究知识信息处理的学科。本文将结合我们的研究成果,讨论知识表示、演绎数据库系统、专家系统的方法。
Knowledge eng......
本文简要介绍了养老保险审计的相关概念,阐述了智能审计的应用理念;并且提出了养老保险审计与推理研究过程:总体表示,推理研究;研......
纵观现代先进的生产制造技术,CAD/CAM技术已被广泛的运用,并不断地发展,而简单、易用、高效则是当前CAD/CAM系统开发的关键。针对......
针对目前电网操作票系统智能性和通用性的不足,提出了一种命令票-操作票-程序化操作集成自动化系统,可以实现检修计划中操作任务的......
提出了一种需求获取与表示方法——基于领域本体知识的需求获取与表示方法。方法的主要特点是用框架作为形式化需求的主要工具,即......
通过应用模糊描述逻辑FALC（fuzzy attribute language and complement）表示问题领域和模糊软集参数知识,丰富模糊软集参数的语义;利......
根据客运专线综合运营调度系统结构,为建立系统知识库,将客运专线的运输环境分为静态环境和动态环境。静态环境包括车站顺序关系、......
针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一......
摘要：一阶谓词逻辑除了可用在关系演算中表示关系和关系代数，还能作为一种数据模型存在，本文将讨论如何在教学中介绍该模型的语义和语......
尝试将模型推理引入一类典型的SQL查询语句（等式比较SQL查询语句）的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目......
针对现有用户-用户的角色转授权模型存在授权冲突问题，基于转授权的组件、相关性质以及约束规则，提出了一种约束转授权模型，该模型满......
用一阶谓词逻辑的工具证明,那种有两方参与,根据规则在有限步内能确定胜负的游戏,从理论上说,存在必胜的方法.这说明,数理逻辑的方......
计算机通信协议的开发难度随着复杂程度的增加而日益增大,潜在错误也越来越多,其中对协议规格说明理解的偏差是重要原因之一.因此......
研究了证明一般的一阶谓词逻辑命题的方法，根据网逻辑的思想，利用谓词，变迁网对一般形式的一阶谓词逻辑命题进行了图形表示，提出了2种......
1操作票专家系统的知识表达方法计算机专家系统所包含的知识是和其他软件系统的知识是不同的,这是一个极其重要的特征。所以说,专......
鞠实儿曾提出一个开放类三值命题逻辑系统，这一逻辑也可以推广到任意m值逻辑情形，成为一个联结词函数完全的逻辑。本文将对推广的命......
检修计划是电力设备检修时关于方式调整和停复电操作安排的电力文本,调度员日常对检修计划进行停复电的审批和执行是电网加强生产......
为把本体理念应用于多Agent的CAPP自动工艺系统，提出了基于本体的多Agent自动CAPP系统模型，并构造了单个Agent的基本架构；建立了该领......
为了有效挖掘一阶谓词逻辑规则,提出了一种基于基因表达式编程(GEP)技术的挖掘算法:PHVB算法。提出了规范一阶谓词规则概念;设计了......
简要回顾逻辑推理的发展历史，指出了经典数理逻辑中存在的一些问题。作者为每个传统的Horn子句赋予一个蕴涵强度f∈（0，1]，从而得到模糊......
用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先，把亲属关系（称谓）视为谓词，相关的人物视为变元，把亲属关系和有关性质用“或”......
网络中各个安全产品各自为阵,难以满足全方位集成防御体系的需求,信息融合是安全技术的发展趋势。基于分层融合的思想提出SAFE（Secu......
信念修正是一个解决不一致信念推理的重要方法,信念修正的主要思想是当出现不一致时,就修改知识库使其恢复一致性。信念修正易丢失......
提出并实现了一个适用于智能化空间决策支持系统(SDSS)的空间知识库系统模型.在本知识库系统模型中,知识表示采用一阶谓词逻辑和案......
为避免因电路板设计出错而发生的加工制造性错误,提出一种电路板加工前的智能审查方法。该方法使用一阶谓词逻辑和隶属函数所表示......
访问控制(access control)是信息系统安全的核心策略之一,它与信息加密(cryptography),身份认证(authentication),安全审计(auditi......
由于一阶谓词逻辑的基本特征是具有可靠性、完全性，在推广一阶谓词逻辑表达能力及扩充其推理能力时，可以定义一些具有可靠性、完全性......
针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法.定义了描述谓词间与/或关系的谓......
我们通过对汉语亲属词语的语义特征和语义关系进行分析,用一阶谓词逻辑设计了一个亲属关系的语义表示和自动推理模型。首先选取七......
电脑围棋目前是人工智能领域的一个难题，由于围棋的特殊性，造成常规棋类中成功使用的搜索算法在围棋中无法使用，而有效的能直接表达围......
现代逻辑创始于19世纪末叶和20世纪早期，它的主要特征是建立形式语言，并在形式语言的基础上建立逻辑演算系统。正是由于这一特征，积极......
本文提出了层次逻辑的概念,指出了它是一种特别适用于描述具有层次结构的知识表示方法,证明了层次逻辑的五个定理,即层次逻辑公式......
本为在调查了几种在关系型数据库中存储OWL和RDF对象的方法的基础上，分析了每种方法的不足，提出了一种新的方法．即把每类对象和属性的......
