谓词逻辑相关论文
专家系统是一个具有大量专门知识与经验的程序系统,它应用人工智能技术,根据某个领域一个或多个人类专家提供的知识和经验进行推理......
随着计算机产业的快速发展,软件的开发规模不断扩大,对软件开发效率和安全性的要求也越来越高,各种开发方法应运而生。Z语言作为一......
在计算机科学中多年的研究与实践后，我们发现依据稳定性的传统定义是很难使得计算机系统获得稳定性的，因为单一的一个计算机系统显然......
工作流技术起源于办公自动化领域,对现代企业的发展起到了巨大的推动作用。但是,随着企业的分布性和动态性的加强,也带来了信息安......
机器学习是人工智能的核心组成部分。关系学习作为机器学习的一种新方法,主要致力于寻找学习任务内部之间的关联来找出相应的学习......
生活中的知识通常具有不确定性、不一致性和不完全性,这些知识被统称为信念。怎样解决信念间的不一致性是计算机模拟人类推理过程......
土壤系统分类的不断成熟为土壤类型自动化检索提供了理论基础,野外土壤描述与采样规范为土壤特征的语义规范提供了依据。中国土壤......
“逻辑应用”研究已成为当下国内外逻辑学界显学之一。克里普克的因果历史命名理论、分析的马克思主义学派的剥削与阶级理论、法律......
运营范式是三维轨迹理论模型的重要组成部分，是组织提高“战略融合度”、“可持续发展度”，延长组织生命周期、保证组织可持续发展的......
归结原理是定理自动证明的重要工具.PI证明是谓词逻辑归结证明的一种重要类型，本文给出了一种新的PI推理的定义，并且对PI归结的......
概念格是一种有效的数据分析和知识提取的形式化工具.然而,随着要处理的数据量的剧增,基于原始形式背景构造出的概念格结点数目庞......
谓词逻辑是在谓词分析的基础上进行形式化后得出的语言与推理,在人工智能的发展过程中发挥着理论基础的作用。谓词逻辑在人工智能......
使用Pro图作为工具对一个双重递归的Prolog程序进行图解,给出了该程序的Pro图,该图激活时各谓词和参量的变化情况,用逐步推导的详......
命题逻辑仅仅考虑命命题间的关系,把原子命题作为基本单位,而不探究其内部结构.而谓词逻辑则执著于命题的内部构件,着重研究量词从......
基于moldflow的模拟分析结果,对熔接线缺陷进行了诊断,并给出了解决方案.利用知识表达方法对熔接线缺陷诊断的经验进行了阐述.依据......
提出将IEC61970的公共信息模型(CIM)元模型和IEC61850的变电站配置语言(SCL)元模型采用统一的面向对象元元模型来描述,给出了相应......
