谓词逻辑相关论文
为了使坎普（H．Kamp）和海姆（I．R．Heim）的话语表现理论符合蒙太格语法的组合原则，胡能迪克（J．Groenendijk）与斯托克霍夫（M．Stikhof）于1991年提出了......
弗雷格（Gottlob Frege）通过对旧逻辑中命题的主词和谓词赋予新的含义而提出了一种新逻辑即谓词逻辑，而从谓词逻辑发展而来的逻辑程序......
<正> 金岳霖学术基金会今年8、9月举办了1990年“金岳霖学术奖”逻辑学科奖的评选活动。评选范围是1984年10月至1990年6月正式发表......
一般地说，一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。自由模态逻辑则是由自由逻辑和基本模态命题......
本文给出了逻辑系统可靠性的详细定义,并给出的概率真及概率真可靠的新概念,从而为认证逻辑系统的可靠性分析打下了基础,也指出了......
本文使用谓词逻辑描述诊断方法。临床诊断的基本方法是：全面收集病例的症状资料，根据典型症状提出诊断假说，经过一系列论证，最后得出该......
针对飞机线束工装图版设计效率低、出错率高的问题,研究了各设计阶段的核心内容和谓词逻辑,提出了具备无向图和多叉树双重特征的干......
如何用数理逻辑的观点表述三段论,这是值得我们探讨的问题,现就自己的肤浅体会叙述如下: 一、逻辑依据: 在推理中,三段论是重要的......
本文旨在从谓词逻辑的角度对双及物结构歧义句进行分析,以期对计算机处理自然语言中双及物结构歧义句有所帮助。
The purpose of ......
针对现有电网调度系统在知识表示和知识共享方面的不足,文章提出了将知识表示法中的语义网络表示法作为定义该系统中领域本体的描......
月面巡视器将是我国对地外星体表面开展探测工作的首个智能机器人。按照我国探月工程的实施计划，预计在2013年将实现探测器在月面的......
专家系统是一个具有大量专门知识与经验的程序系统,它应用人工智能技术,根据某个领域一个或多个人类专家提供的知识和经验进行推理......
在计算机科学中多年的研究与实践后，我们发现依据稳定性的传统定义是很难使得计算机系统获得稳定性的，因为单一的一个计算机系统显然......
工作流技术起源于办公自动化领域,对现代企业的发展起到了巨大的推动作用。但是,随着企业的分布性和动态性的加强,也带来了信息安......
嵌入式软件在航空、核能及交通等安全关键领域应用广泛,保障其安全性至关重要。在软件开发过程中维持软件制品间的可追踪性是保障......
机器学习是人工智能的核心组成部分。关系学习作为机器学习的一种新方法,主要致力于寻找学习任务内部之间的关联来找出相应的学习......
土壤系统分类的不断成熟为土壤类型自动化检索提供了理论基础,野外土壤描述与采样规范为土壤特征的语义规范提供了依据。中国土壤......
海德格尔在概括存在问题研究的历史和现状时指出：“迄今为止的一切存在论（常译为本体论）当然把‘存在’‘设为前提’”，各门科学所做的......
问题问题166在《数列》一章对“等比数列”的教学时,笔者遇到过这样一道题:设1,a1,a2,…,an,4是正项等比数列,令bn=a1a2…an,求证:......
提出了通信协议自稳定性的两种验证方法．以ＴＣＰ／ＩＰ网络的滑动窗口协议为例，给出它的基于谓词逻辑形式描述的两个文本，前者只是安全的，后者是安......
商品推荐系统是电子商务平台的核心竞争力,应重点研发.综述了商品推荐系统的现状,包括商品推荐系统的核心技术:工作流程、系统架构......
使用计算机来处理自然语句的问题，首要的工作是问题本身的形式描述。命题逻辑的表达问题的能力，仅限于连接词的使用，而谓词逻辑由......
本文针对XML树特性,提出了用于表达和描述该特性的一元二阶逻辑系统,并在此基础上对XML语法及XML查询自动机进行了多层次逻辑学抽......
针对动态模糊性问题,利用动态模糊逻辑,采用“自下而上”的设计原则,提出1种基于动态模糊逻辑的逆归结学习方法,该方法利用动态模......
本文设计并实现了一个二级推理数据库系统.二级推理数据库是传统的数据库系统和PROLOG系统的结合,它可分为二级:数据库级及逻辑程......
二、知识的表示 人工智能和专家系统主要研究、处理“知识”。为此,首先要解决的问题就是如何表达知识。一个理想的知识表示方法,......
英语中存在诸多容易混淆的句型结构。本文从谓词逻辑的角度辨析英语复合宾语结构与双宾语结构,揭示其差异,以便正确地理解和掌握这......
决策支持系统是一种以支持决策者进行有效决策为目标的计算机系统。该文在作者提出的专家决策支持系统EDSS的结构和思想的基础上，探......
经典逻辑中只有真、假二值,但实际上有大盆含糊现象存在于宾和假二值之间,因此,长以来许多逻辑学家和哲学家就致力于研究含糊概念......
本文以文[1]为基础,继续讨论中介逻辑的自动推理理论,文中给出了中介谓词演算系统MF及MF~*、带等词的中介谓调演算系统ME及ME~*的......
本文对知识表示的工具之一语义网络做了简单的介绍，并且给出形式化的定义。语义网络作为表示知识的主要方法，成为知识库组成的主要形......
(三)知识库的设计知识库是专家系统的核心部分,包含有描述关系、现象和方法的规则,以及在系统专家知识范围内解决问题的知识,即事......
运营范式是三维轨迹理论模型的重要组成部分，是组织提高“战略融合度”、“可持续发展度”，延长组织生命周期、保证组织可持续发展的......
中介谓词逻辑系统MF的无穷值语义解释,反映了反对对立概念之间的可变过程,并且该解释不同于MF的其他任何语义解释。但在该无穷值语......
在对PKI的组成及功能进行整体描述后,重点研究了PKI的信任模型,并提出了一种利用谓词逻辑对PKI信任模型进行形式化建模的方法.PKI......
归结原理是定理自动证明的重要工具.PI证明是谓词逻辑归结证明的一种重要类型，本文给出了一种新的PI推理的定义，并且对PI归结的......
谓词逻辑是在谓词分析的基础上进行形式化后得出的语言与推理,在人工智能的发展过程中发挥着理论基础的作用。谓词逻辑在人工智能......
使用Pro图作为工具对一个双重递归的Prolog程序进行图解,给出了该程序的Pro图,该图激活时各谓词和参量的变化情况,用逐步推导的详......
命题逻辑仅仅考虑命命题间的关系,把原子命题作为基本单位,而不探究其内部结构.而谓词逻辑则执著于命题的内部构件,着重研究量词从......
基于moldflow的模拟分析结果,对熔接线缺陷进行了诊断,并给出了解决方案.利用知识表达方法对熔接线缺陷诊断的经验进行了阐述.依据......
