一阶逻辑相关论文
人工智能飞速发展,自然语言在人工智能中的表达至关重要。逻辑学通过一阶逻辑和模态逻辑等研究领域,在人工智能语言表达中起着至关......
针对民机安全关键系统在正向研发过程中，系统级需求的正确性难以在设计早期全部完成确认的问题，提出一种基于有限谓词追踪的功能需求......
程序综合是一种通过系统行为规范来自动设计生成交互式系统模型的技术。目前主流的行为规范语言叫做线性时态逻辑LTL。然而LTL程序......
<正>我写了评《辩证逻辑导论》(以上简称《导论》)和《辩证逻辑教程》(以下简程《教程》)的《辩证逻辑究竟是不是逻辑?》(以下简称......
“哲学逻辑”词义探源和辨析陈波（北京大学哲学系）当年，奥格登（Ｇ．Ｋ．Ｏｇｄｅｎ）在把维特根斯坦的大著《逻辑哲学论》译为英文时，曾拟采用《哲学逻辑》（Ｐｈｉｌｏｓｏｐｈｉｃａｌｌｏｇｉｃ）这......
在逻辑和哲学之间——访亨迪卡教授陈波（北京大学哲学系赴芬兰访问学者）雅各·亨迪卡（ＪａａｋｋｏＨｉｎｔｉｋｋａ，１９２９－），当代著名的旅美芬兰籍逻辑学家和哲学家。先后任......
逻辑——哲学的方法与工具王路（中国社会科学院哲学研究所１００７３２）近年来我在讲学的时候，常常听到一些不懂现代逻辑的人提出类似于“现代逻辑......
<正> 在当今认知科学的时代里,逻辑和语言之间的关系既是哲学上十分复杂的问题,又是有争议的问题。问题之所以复杂和有争议,在我看......
一般地说，一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。自由模态逻辑则是由自由逻辑和基本模态命题......
机组排班是航空公司运营计划非常重要的一个环节,合理的机组排班可以为航空公司省下一大笔机组成本支出,从而增加航空公司的收益.......
期刊
信息抽取是自然语言处理领域的重要课题.传统多槽信息抽取系统的规则是基于零阶逻辑的,表达能力有限.归纳逻辑编程(ILP)借助一阶谓......
谈到哥德尔不完全性定理，有人说它动摇了逻辑基础①，也有人说它揭示了逻辑的局限性（Daw—son），甚至有人认为它表明数学的一致性不能证明......
命题逻辑可满足性(SAT)问题和有限论域一阶逻辑模型搜索(FOLMS)问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且......
对于一种逻辑(?),它在一类结构C上的模型检测问题是询问一个给定的(?)语句在一个给定的C结构中是否成立。核化是一个在设计固定参......
随着信息技术的不断发展，传统的对社会保障的人工审计已经不能满足现阶段的审计需求，因此，利用计算机进行审计工作成为了一种有效的方......
伯特兰·罗素(Bertrand Russell,1872—1970)是英国著名哲学家和数理逻辑学家。学术界普遍认为,罗素的摹状词理论是把逻辑方法应用......
自动推理是人工智能重要的组成部分,主要包括命题逻辑求解和一阶逻辑定理证明。一阶逻辑系统相比命题逻辑系统具有更丰富的表达能......
子句集简化是自动推理领域中命题逻辑可满足性问题求解和一阶逻辑定理证明的重要研究内容,而在子句集简化的过程中,人们必须保证简......
本文重点研究一阶逻辑与模态逻辑之间的历史关系以及模态逻辑的产生发展。文章首先回顾了《概念文字》出现的历史背景和理论背景,......
Godel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说......
本文阐述了一个静态软件测试工具中使用的规约语言的设计和相应翻译工具的实现.该规约语言以一阶逻辑和集合论为基础,提供了集合、......
G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说......
由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及......
量化时态逻辑是在一阶逻辑的基础上，加上量化时态逻辑算子构成。支持离散和连续的时间结构，能精确表达数字电路中的时间信息并能对时......
本文概述了时序推理的代表理论以及它们对本学科的未来研究，尤其是对ＡＩ的影响。
This article outlines the theory of temporal inf......
简述在ＳＵＮ工作站上用ＰＲＯＬＯＧ语言所实现的ＦＫＭＳ不精确知识库推理维护系统的理论基础和有关的实现技术，并对ＦＫＭＳ系统给出评价。
Briefly describe the t......
归纳逻辑程序设计是机器学习领域中的一个新方法，它研究的是从实例和背景知识进行逻辑程序（新知识）的构造．本文介绍了归纳逻辑程序设计......
本文以文[1]为基础,继续讨论中介逻辑的自动推理理论,文中给出了中介谓词演算系统MF及MF~*、带等词的中介谓调演算系统ME及ME~*的......
本文使用Ｃ—ＰＲＯＬＯＧ语言在ＳＵＮ工作站上设计实现了基于广义归结和基于归结的两个定理机器证明系统ＧＲＭ，ＲＭ，证明了《数学原理》中Ｐａｒｔ１：ｍａｔｈｅｍａｔｉｃａｌｌｏｇｉｃ中ＳｅｃｔｉｏｎＡ与ＳｅｃｔｉｏｎＢ中全部定理（３５０个）．讨论ＧＲＭ和......
表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力......
为优化基于格值逻辑的α-归结原理,将删除策略应用于α-语义归结方法,研究了基于格值逻辑的带有删除策略的α-语义归结方法.首先给......
复杂性问题和不确定性问题一直以来是人工智能界的核心问题，Markov逻辑网可以同时处理这两个问题。Markov逻辑网是将一阶谓词逻辑与......
“弗协调逻辑”(paraconsistent logic),又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支.它是一种不能从矛盾......
排除归纳法是一种重要的归纳方法;如何用逻辑的手段刻画因果关系是哲学家、逻辑学家和人工智能科学家共同关心的问题.培根奠定了排......
现代逻辑是一个广泛的领域，自从弗雷格、皮尔士等创立以来，已经有一个多世纪的历史，经历了20世纪30年代的“数理逻辑黄金时代”和70年......
关系代数的派生算子在关系数据库查询语言中得到了广泛应用.它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是......
针对一阶逻辑在复杂结构数据环境中存在模式搜索空间庞大和不能发明新谓词的缺点,提出了使用类型化的高阶逻辑知识表示语言Escher......
统计关系学习是人工智能研究的热点,在生物信息学、地理信息系统和自然语言理解等领域有着重要应用,Markov逻辑网是将Markov网与一......
广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理。广义量词的语义性质主要包括：同构闭包性......
针对GIService服务发现,提出了基于一阶逻辑的GIService服务描述与匹配方法。使用一阶逻辑工具描述服务接口、运行条件和程序逻辑......
