一阶逻辑相关论文
人工智能飞速发展,自然语言在人工智能中的表达至关重要。逻辑学通过一阶逻辑和模态逻辑等研究领域,在人工智能语言表达中起着至关......
针对民机安全关键系统在正向研发过程中，系统级需求的正确性难以在设计早期全部完成确认的问题，提出一种基于有限谓词追踪的功能需求......
程序综合是一种通过系统行为规范来自动设计生成交互式系统模型的技术。目前主流的行为规范语言叫做线性时态逻辑LTL。然而LTL程序......
机组排班是航空公司运营计划非常重要的一个环节,合理的机组排班可以为航空公司省下一大笔机组成本支出,从而增加航空公司的收益.......
期刊
命题逻辑可满足性(SAT)问题和有限论域一阶逻辑模型搜索(FOLMS)问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且......
对于一种逻辑(?),它在一类结构C上的模型检测问题是询问一个给定的(?)语句在一个给定的C结构中是否成立。核化是一个在设计固定参......
随着信息技术的不断发展，传统的对社会保障的人工审计已经不能满足现阶段的审计需求，因此，利用计算机进行审计工作成为了一种有效的方......
在进行常识推理时,人们从外界获得的新信念往往会与原信念集中的一些信念产生矛盾。面对不一致信念,如何对信念集进行协调性维护,......
伯特兰·罗素(Bertrand Russell,1872—1970)是英国著名哲学家和数理逻辑学家。学术界普遍认为,罗素的摹状词理论是把逻辑方法应用......
子句集简化是自动推理领域中命题逻辑可满足性问题求解和一阶逻辑定理证明的重要研究内容,而在子句集简化的过程中,人们必须保证简......
复杂性问题和不确定性问题一直以来是人工智能界的核心问题，Markov逻辑网可以同时处理这两个问题。Markov逻辑网是将一阶谓词逻辑与......
“弗协调逻辑”(paraconsistent logic),又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支.它是一种不能从矛盾......
排除归纳法是一种重要的归纳方法;如何用逻辑的手段刻画因果关系是哲学家、逻辑学家和人工智能科学家共同关心的问题.培根奠定了排......
