谓词逻辑相关论文
专家系统是一个具有大量专门知识与经验的程序系统,它应用人工智能技术,根据某个领域一个或多个人类专家提供的知识和经验进行推理......
随着计算机产业的快速发展,软件的开发规模不断扩大,对软件开发效率和安全性的要求也越来越高,各种开发方法应运而生。Z语言作为一......
在计算机科学中多年的研究与实践后，我们发现依据稳定性的传统定义是很难使得计算机系统获得稳定性的，因为单一的一个计算机系统显然......
工作流技术起源于办公自动化领域,对现代企业的发展起到了巨大的推动作用。但是,随着企业的分布性和动态性的加强,也带来了信息安......
机器学习是人工智能的核心组成部分。关系学习作为机器学习的一种新方法,主要致力于寻找学习任务内部之间的关联来找出相应的学习......
生活中的知识通常具有不确定性、不一致性和不完全性,这些知识被统称为信念。怎样解决信念间的不一致性是计算机模拟人类推理过程......
土壤系统分类的不断成熟为土壤类型自动化检索提供了理论基础,野外土壤描述与采样规范为土壤特征的语义规范提供了依据。中国土壤......
“逻辑应用”研究已成为当下国内外逻辑学界显学之一。克里普克的因果历史命名理论、分析的马克思主义学派的剥削与阶级理论、法律......
运营范式是三维轨迹理论模型的重要组成部分，是组织提高“战略融合度”、“可持续发展度”，延长组织生命周期、保证组织可持续发展的......
归结原理是定理自动证明的重要工具.PI证明是谓词逻辑归结证明的一种重要类型，本文给出了一种新的PI推理的定义，并且对PI归结的......
概念格是一种有效的数据分析和知识提取的形式化工具.然而,随着要处理的数据量的剧增,基于原始形式背景构造出的概念格结点数目庞......
谓词逻辑是在谓词分析的基础上进行形式化后得出的语言与推理,在人工智能的发展过程中发挥着理论基础的作用。谓词逻辑在人工智能......
使用Pro图作为工具对一个双重递归的Prolog程序进行图解,给出了该程序的Pro图,该图激活时各谓词和参量的变化情况,用逐步推导的详......
命题逻辑仅仅考虑命命题间的关系,把原子命题作为基本单位,而不探究其内部结构.而谓词逻辑则执著于命题的内部构件,着重研究量词从......
基于moldflow的模拟分析结果,对熔接线缺陷进行了诊断,并给出了解决方案.利用知识表达方法对熔接线缺陷诊断的经验进行了阐述.依据......
提出将IEC61970的公共信息模型(CIM)元模型和IEC61850的变电站配置语言(SCL)元模型采用统一的面向对象元元模型来描述,给出了相应......
针对目前故障诊断方法难以实现告警报文缺失、混杂和设备状态不确定情况下的故障判断,提出了一套事故诊断知识表示模型,建立了电网......
基于谓词逻辑的归结原理是应用于人工智能和计算机科学中的一种理论知识,我们可以利用这种知识来解决实际生活中的一些问题.......
将谓词逻辑引入汽轮机故障分析系统中，首先将事实和规则化为与或形，接着采用最一般合一算法对子句集替换合一，最后采用归结原理对汽轮......
提出了一种新的答疑系统模型.该模型引入了谓词逻辑,在系统完成关键词匹配后,进行二次谓词匹配,最后把仅和问题语义相符的答案予以......
基于一阶谓词逻辑的一阶规则挖掘方法可处理多表挖掘且具有强的知识表达能力，成为数据挖掘（DM）技术中一种渐受重视的新方法。为了解决......
基于系统对Agent的应用，将Agent分为强Agent和弱Agent两类．论述了有关强Agent的概念及其特性；提出了一个能处理社会智能的模态逻辑系......
通过形式化的方法描述数据库中数据的性质,从而进一步讨论这些形式化的性质如何能在数据库模型中得到满足.为此,将谓词公式作为形......
离散数学中的命题逻辑及谓词逻辑在计算机科学中有着广泛的应用。本文，提出了一种用于命题逻辑及谓词逻辑推理证明中统一的方法一一......
为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序......
康德虽然对分析判断和综合判断做出了明确区分,但弗雷格认为分析与综合仅仅是一种主观性和准心理行为。弗雷格从批判康德的判断理......
本文采用面向对象思想和模型驱动技术,提出一种基于谓词逻辑的原型系统生成方法.该方法以模型为基本元素,通过对静态模型和动态模......
基于maple v releaSe 5.1平台,编制了一个通用程序logiCBager.选取30个一元谓词公式,利用这个程序在计算机上自动产生了它们之间所......
概念学习是机器学习中的一个主要内容。概念的层次和分类对概念学习系统的构造有重要意义。本文论述了概念分类系统的基本原理,对......
将建立起基于完全分配剩余格值逻辑上的L-双F拓扑群的相关理论,并特别讨论了单位元F点的邻域系等性质.......
从逻辑学角度出发对知识组织进行了分析,揭示了知识组织是如何运用逻辑学理论进行研究和发展的。......
一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础，利用Prolog在计算机上可实现机械化，从而使自动化求解问题和定理证明......
针对不同个体域,用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别,并给出了错误使用函数的例子,......
一元谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征.亚氏逻辑与命题逻辑一样,都是二值逻辑.三段论蕴涵式比命题蕴涵式复杂,它......
数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理，是人工智能产生和发展的最重要的基础。从逻辑推理、自然语言形式化、数......
谓词演算作为一种智能表示的语言，其优点是精确定义的形式语义，合理而完备的推理规则。使用谓词演算来进行知识的表示和推理，能代表实......
传统逻辑的直言推理包涵易被忽略的内容,文中力图揭示这些内容;一旦用一阶逻辑形式化直言推理以后,在得到精确性的同时,又失去了思......
本文提出了一种由前束析（合）取范式求前束合（析）取范式的简单方法。该方法根据谓词逻辑自身的特点，结合命题逻辑中命题公式的主析取范式......
世界各国在“9．11”事件以后都开始了应急指挥系统的设计和建设，我国也建立了不少的应急指挥系统，但是从近几年紧急事件的处理情况来......
自动应答系统(QAS)是一种基于因特网的高性能软件系统.它的核心技术是基于自然语言理解的相关技术,包括知识库和语料库的建设、文......
谓词演算作为一种智能表示的语言，箕优点是精确定义的形式语义，合理而完备的推理规则．使用谓词演算来进行知识的表示和推理，能代表实际......
以RDF和RDFS（RDF Schema）为基础，构造了一种融合谓词逻辑的说明式查询语言RQuery。RQuery具有支持语义映射、可逻辑解析、模式查询和......
基于可信计算中的二进制系统完整性测量模型,增加证书权威和可信属性权威,提出一种属性远程证明系统完整性测量模型,并利用谓词逻......
在“研究式”教学法的基础上，提出一种较为简化的技术性教学法，即“猜义”教学法。这种方法是学生在教师的引导下，猜测概念含义及其关......
逻辑在今天是一门成熟和独立的学科。这意味着我们有必要从学科的意义上掌握逻辑的思维方式。王路教授撰写的《逻辑基础》就是这样......
提出一种基于概率和条件谓词逻辑来表示和推导PKI信任模型的方法．该方法用3个二元条件谓词表示不同个体之间的关系,并给出了实体认......
利用各种分类规则挖掘方法，提取出的分类规则集中，存在许多的冗余规则，从而降低了分类效率。采用谓词公式描述分类规则，给出了一种分类......
