一阶逻辑相关论文
人工智能飞速发展,自然语言在人工智能中的表达至关重要。逻辑学通过一阶逻辑和模态逻辑等研究领域,在人工智能语言表达中起着至关......
针对民机安全关键系统在正向研发过程中，系统级需求的正确性难以在设计早期全部完成确认的问题，提出一种基于有限谓词追踪的功能需求......
程序综合是一种通过系统行为规范来自动设计生成交互式系统模型的技术。目前主流的行为规范语言叫做线性时态逻辑LTL。然而LTL程序......
机组排班是航空公司运营计划非常重要的一个环节,合理的机组排班可以为航空公司省下一大笔机组成本支出,从而增加航空公司的收益.......
期刊
命题逻辑可满足性(SAT)问题和有限论域一阶逻辑模型搜索(FOLMS)问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且......
对于一种逻辑(?),它在一类结构C上的模型检测问题是询问一个给定的(?)语句在一个给定的C结构中是否成立。核化是一个在设计固定参......
随着信息技术的不断发展，传统的对社会保障的人工审计已经不能满足现阶段的审计需求，因此，利用计算机进行审计工作成为了一种有效的方......
在进行常识推理时,人们从外界获得的新信念往往会与原信念集中的一些信念产生矛盾。面对不一致信念,如何对信念集进行协调性维护,......
伯特兰·罗素(Bertrand Russell,1872—1970)是英国著名哲学家和数理逻辑学家。学术界普遍认为,罗素的摹状词理论是把逻辑方法应用......
子句集简化是自动推理领域中命题逻辑可满足性问题求解和一阶逻辑定理证明的重要研究内容,而在子句集简化的过程中,人们必须保证简......
复杂性问题和不确定性问题一直以来是人工智能界的核心问题，Markov逻辑网可以同时处理这两个问题。Markov逻辑网是将一阶谓词逻辑与......
“弗协调逻辑”(paraconsistent logic),又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支.它是一种不能从矛盾......
排除归纳法是一种重要的归纳方法;如何用逻辑的手段刻画因果关系是哲学家、逻辑学家和人工智能科学家共同关心的问题.培根奠定了排......
关系代数的派生算子在关系数据库查询语言中得到了广泛应用.它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是......
广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理。广义量词的语义性质主要包括：同构闭包性......
针对GIService服务发现,提出了基于一阶逻辑的GIService服务描述与匹配方法。使用一阶逻辑工具描述服务接口、运行条件和程序逻辑......
基于一阶逻辑相关概念的内涵，结合恰当的反例，探析了一阶逻辑推理规则成立的条件．...
基于认知逻辑分析了模态逻辑在运用方面具有与一阶逻辑不同的特点,它不仅可以通过系统演绎论证来刻画具体的概念和实质对象,还能够......
美国逻辑学家奎因,作为西方分析哲学的代表人物之一,始终如一地依靠数理逻辑所取得的成就,坚持逻辑实用主义,在二十世纪的现代逻辑......
研究一种一阶谓词逻辑公式的反演求证算法，它是应用超连接过程来处理子句集的消解的，该算法具有比Ｒｏｂｉｎｓｏｎ的传统消解方法更高的效率，以一个实......
描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识.描述逻辑的各语言背后的逻辑是什么,能否公理化等问......
应用本体论对电子商务知识建模,提出电子商务知识描述的分层框架,并结合描述逻辑、框架系统设计面向电子商务的知识描述语言(KDL).......
摘 要：目前，对于经典数学的逻辑基础，很多学者持有不同的意见，主要有两个分支：一部分学者认为经典数学的逻辑基础为一阶逻辑，还有一部分......
针对电子商务自动化、智能化和移动化的新趋势,应用本体论对电子商务知识建模,提出电子商务知识描述的分层框架,结合描述逻辑、框......
广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词......
广义量词理论在集合论的基础上得到发展,提升了一阶逻辑处理现实世界的能力,有助于计算机更好地处理自然语言。单调性是广义量词最......
提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensib......
对于给定的约束,数据库可能是非一致的。为了获得一致性结果,基于一阶逻辑,提出非一致性关系数据管理框架,研究多种合取查询类型对......
搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述，搜索算法的逻辑性质由初始状态空间确定。这意味着描述搜索过程的逻辑......
研究了一阶逻辑推理工具对语义网的推理支持．语义网的关键推理问题可以化为公式的可满足性判定问题．一阶逻辑的自动定理证明器可以证......
本文基于一阶逻辑和线性代数,分析了体系结构的目标,定义,意义和模型,并以此为基础提出了一种软件开发模型--基于谓词公式和线性代......
XML为互联网应用提供了语法互操作性统一标准，而资源描述框架RDF定义了支持语义互操作的框架模型。作为RDF数据模型的类型系统，资源......
提出了一种新型的归纳逻辑学习系统Ant-FOIL,该系统结合了蚁群优化元启发方法和FOIL算法,利用蚁群系统优化框架来指导FOIL进行规则......
基于体感网对人体动作进行识别的很多研究都是针对单人动作，很少有研究讨论双人交互动作的识别。针对双人交互动作中两人肢体行为的......
形式语义学起源于19世纪德国逻辑学家Frege的作品。直到20世纪70年代后期,形式语义学才出现在语言学研究领域。在不同的领域里,形......
通过对两种一阶逻辑自然推理系统中有关量词的推理规则及其成立条件的比较分析,给出形式简单、直观的有关量词的推理规则和合理、......
一种语言的表达力（或可表达性）是指在那种语言中能够被表达或者被沟通的思想的幅度,或指在那种语言中可表达的思想的范围。它可进一......
通过介绍统计关系学习方法Markov逻辑网的理论模型和参数学习方法，提出一种基于后验概率的参数估计方法，该方法采用正态先验分布，用伪......
基于命题逻辑的布尔可满足SAT存在描述能力弱、抽象层次低、求解复杂度高等问题,而基于一阶逻辑的可满足性模理论SMT采用高层建模......
计量逻辑理论是逻辑概念程度化研究方向的一个重要分支。但目前计量谓词逻辑的相关研究中,都不曾涉及推广规则。一阶逻辑公式的准......
本文提出了一种新的定义UML形式化语义的方法。我们将建模语言的语义区分为描述语义和功能语义两个方面。描述语义定义哪些系统满......
在一阶逻辑中回避了通常使用的相容扩张方法，基于商Lindenbaum代数并引入一阶语言的一种γ－解释，证明了一阶逻辑的完备性定理。......
哥德尔的一阶逻辑完全性定理（1929）是数理逻辑的基石。当代的逻辑学学生学习数理逻辑时大都直接接触Henkin（1949）的改良证法，该法简明扼......
向前向后方法是模型论及其应用研究中的一个很重要的工具．一阶逻辑的内插定理和保持定理确定了符合某些条件的公式的存在性，经典模型......
给出了一阶逻辑完备性定理的一个新的代数证明,这个证明不使用依赖于Boole代数表示定理的γ-解释,但使用关于Q-滤子(△)的(△)-解......
从气象服务分类和等级划分出发,提出了一种基于互联网联盟(W3C)OWL 2标准的气象服务本体化设计思路及其实现方法。在理解气象服务......
