分享到:

命题逻辑的计算机实现

命题逻辑是逻辑学的基础,要实现逻辑学的计算机处理首先需要实现命题逻辑的计算机处理。由于每个命题公式都与一个由小项下标组成的集合相对应,这样实现命题逻辑的计算机实现就  (本文共1页) 阅读全文>>

《电脑知识与技术(学术交流)》2007年02期
电脑知识与技术(学术交流)

命题逻辑等值演算的计算机实现

本文针对等值演算理论,通过数据结构和C++程序设计语言,分析了命题公式的逻辑结...  (本文共3页) 阅读全文>>

西南交通大学
西南交通大学

基于格蕴涵代数的格值逻辑系统的归结自动推理研究

关于不确定性信息处理的研究是当前人工智能领域的一类重要的研究内容。为了处理不确定性信息,人们发展了各种相关的工具和方法,也形成了大量相关的研究成果。其中多值逻辑对于刻画和处理客观世界中的不确定性或者人类主观认识客观世界过程中所产生的不确定性起到了重要的作用。格值逻辑是一种重要的多值逻辑,它特别将链状真值域扩充为较一般的格结构,既能处理全序信息,又能处理不可比信息,从而可以更有效地描述和处理人类推理、判断和决策中的某种不确定性。基于归结方法的自动推理是定理机器证明中重要的手段之一。自从1965年,基于归结方法的自动推理提出以来,关于归结原理的研究取得了许多研究成果并在人工智能,逻辑编程,定理证明,问题求解和数据库理论等领域中得到了广泛应用。为处理基于某些不确定性信息的推理问题,建立在多值逻辑系统中的归结理论与方法的研究得到了快速发展。本文的研究工作即属于多值逻辑中的归结理论与方法研究的范畴。本文的工作是在徐扬和秦克云教授等关于格蕴...  (本文共121页) 本文目录 | 阅读全文>>

辽宁师范大学
辽宁师范大学

基于语言值二元组的归结自动推理方法

人工智能是使计算机来模拟人的某些思维过程和智能行为的学科,制造类似于人脑智能的计算机,使计算机能实现更高层次的应用。现实生活中人类的语言是千变万化的,要使计算机模拟人类的智能行为进行推理,要求信息具有极高的完整性,在表达人类语言中语言值二元组能够精确地描述语言信息,使其在运算推理过程中大大降低信息的缺失。归结方法作为自动推理的重要分支,以其严谨而简洁的推理过程被诸多学者关注。本文基于语言值二元组的相关研究,结合命题逻辑与谓词逻辑,建立语言值二元组命题逻辑系统和语言值二元组谓词逻辑系统。借鉴语义归结策略和锁归结策略,提出语言值二元组命题逻辑的广义语义归结方法和语言值二元组谓词逻辑的广义锁归结方法。本文的主要研究成果如下:本文结合经典逻辑和语言值二元组提出语言值二元组命题逻辑系统,并在此基础上结合语义归结形成语言值二元组命题逻辑的广义语义归结。将语言值二元组命题逻辑公式转换成语言值二元组命题逻辑广义子句。以语言值二元组命题逻辑文字是...  (本文共52页) 本文目录 | 阅读全文>>

《计算机工程与科学》2008年01期
计算机工程与科学

命题公式真值表的生成算法

真值表是命题逻辑理论中的一个重要概念,利用它可以求命题公式的主范式、判定命题公式...  (本文共3页) 阅读全文>>

西南交通大学
西南交通大学

关于格值逻辑及其语言真值不确定性推理研究

近四十年来,由于不确定性推理在控制系统中的广泛应用,关于不确定性推理的逻辑基础-非经典逻辑理论的研究更加引起了人们广泛的关注。自从Pavelka等人在二十世纪七十年代末初步建立命题模糊逻辑理论以来,非经典逻辑已经成为人工智能研究领域里的一个重要研究方向,同时也是不确定性推理研究的一个关键问题。一方面,非经典逻辑在机器自动证明理论、多智能体系统、程序验证等领域获得了广泛的应用。另一方面,它也丰富和发展了纯数学理论的研究。格值逻辑是一种重要的非经典逻辑,它不仅能刻画全序性信息,而且还能刻画非全序(即不可比较)的不确定性信息。本文的主要工作是建立基于格蕴涵代数的程度化的格值命题逻辑的语义和语法理论,并建立基于格值命题逻辑系统的语言真值不确定性推理理论和推理方法,同时构造相应的不确定性推理算法。第一部分,本文得到了由格蕴涵代数所诱导的格蕴涵序半群的代数特性。引入了两个新的概念:格蕴涵n-序半群和格蕴涵p-序半群;证明了一个格蕴涵n-序半...  (本文共143页) 本文目录 | 阅读全文>>