导读:本文包含了逻辑程序语义论文开题报告文献综述及选题提纲参考文献，主要关键词:析取逻辑程序,稳定模型,函数,无基集
逻辑程序语义论文文献综述
梅俊杰[1]（2015）在《带函数的析取逻辑程序良基语义研究》一文中研究指出二十世纪八十年代逻辑程序设计语言在描述性语义上取得突破性的进展-稳定模型语义(回答集语义),为逻辑程序的研究打开了大门。回答集语义的提出使人们可以用逻辑程序表示问题,而程序的回答集作为该问题的可行解。2000年前后,各种有效的逻辑程序求解器被研制出来,推广了逻辑程序设计语言的应用,使回答集程序设计(Answer Set Programming,简称ASP)进入一个新高度。之前逻辑程序的研究很少涉及函数,近几年一些国内外的专家、学者提出了带函数的逻辑程序的求解方法,主要通过公式化其完备化和环公式,从而计算稳定模型。同时他们提出了消除函数的方法,即用新的变量反复替换每个函数项,同时在对应的规则体中增加新的函数原子,从而消除原子中的函数。但检查一个模型是否极小模型相当困难,主要原因之一是检查一个集合是否是回答集是困难的(∑2-完全的)。正规逻辑程序的良基语义是近十年逻辑程序语义解释的一个热点,它的一个重要作用是计算回答集的时候可以化简程序。因此在王以松等人的基础上,将良基语义扩展到带函数的析取逻辑程序中,发现用这种思想能够解决带函数析取逻辑程序稳定模型的求解。文章中我们的主要工作(1)提出了带函数的析取逻辑程序无基集的概念,证明了空无基集与稳定模型之间的一一对应关系;(2)研究了带函数的析取逻辑程序的良基语义,证明其良基模型是完全解释时,是其稳定模型;(3)根据上面的结论设计了基于SAT的稳定模型算法,证明了一个逻辑程序的模型是该程序的稳定模型当且仅当它们对应的一个命题公式是不可满足的,从而在理论上为计算带函数析取逻辑程序的回答集提供了一种有效的途径。最后,我们用回答集编程编写了哈密尔顿回路问题,实验研究了随机图的哈密尔顿回路存在性、不存在性、以及难于计算等的分布规律,这不仅通过实验探讨了这类问题的相变现象,而且证实了回答集编程对描述性问题求解的有效性。(本文来源于《贵州大学》期刊2015-04-01）
常万军,郭祖华,魏昆鹏[2]（2013）在《简单单调约束逻辑程序的良基语义研究》一文中研究指出在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型。论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的。(本文来源于《计算机工程与设计》期刊2013年06期）
钟勇,郭伟刚,钟昌乐,刘凤玉,李宁[3]（2010）在《Datalog逻辑程序调用语义及其应用研究》一文中研究指出提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。(本文来源于《计算机科学》期刊2010年01期）
赵岭忠,廖伟志,钱俊彦,古天龙[4]（2009）在《基于计算解语义的逻辑程序测试和调试框架》一文中研究指出逻辑程序开发过程中需要花费大量的时间用以程序调试,原因之一是调试通常包含大量的用户交互。减少对调试过程不必要的调用能够提高软件开发的效率。程序测试中得到的由同一个错误引发的多个症状是引发对调试过程不必要调用的因素之一。给出了一种逻辑程序测试和调试框架,其中测试用例的生成、症状的发现和调试(包括诊断和改错)交叉进行,由同一个错误引发的症状只有一个可引发调试过程执行,并以此方式避免了对调试过程不必要的调用。然后,利用一种基于约束的Prolog计算解语义,该框架被实例化为一种Prolog程序的测试和调试算法,本实例表明了该算法的应用。(本文来源于《计算机科学》期刊2009年09期）
昌杰[5]（2009）在《逻辑程序设计语言G（?）del的形式化过程性语义》一文中研究指出G(o|¨)del语言是继Prolog语言之后出现的逻辑程序设计语言,它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了许多语言的有效成分和优点,引入了类型系统,这使得它成为一种高效的说明性逻辑程序设计语言。然而,时至今日,G(o|¨)del语言编译系统的开发研究仍然进展缓慢,主要原因是多态多类的类型系统、模块化结构、延迟计算、剪枝操作等多种新语言成分和机制的引入,使逻辑程序设计语言G(o|¨)del的复杂程度大大提高,而面向过程程序设计语言的编译方法和技术完全不同于具有递归性、说明性特点的逻辑程序设计语言,先前关于Prolog语言的编译方法和技术不能简单移植和照搬,而理论基础研究的滞后直接导致系统研究和开发进展缓慢,迄今尚无新的进展和系统开发成果报道。为了促进G(o|¨)del语言的推广以及深入研究,本人所在的课题组基于类型一阶逻辑Hom子集提出了G(o|¨)del语言一整套理论基础,本文在G(o|¨)del语言的语法和形式化说明性语义基础上,着眼于编译系统的设计与实现,为G(o|¨)del语言建立了严格的形式化过程性语义。本文首先介绍了G(o|¨)del语言的语法基础,接着详细阐述了基于类型一阶逻辑Hom子集的过程性语义,引入了较为完整的基类型,构造类型,结构类型间的偏序关系,讨论了类型相容性关系,类型推断与类型约束算法,以及基于类型约束的合一算法和SLD反驳消解法。然后,全面介绍了G(o|¨)del语言程序设计的各个模块。最后,在原G(o|¨)del语言系统模型的基础上完善了该系统的设计思想。相信在相关理论的支持和指导下,随着后续工作的逐步开展,以及G(o|¨)del语言编译系统实现技术的逐步成熟,G(o|¨)del语言将会受到更多的关注。(本文来源于《厦门大学》期刊2009-05-01）
韩小芬[6]（2009）在《动态模糊逻辑程序设计语言的代数语义模型及应用研究》一文中研究指出本文给出了动态模糊逻辑(DFL)程序设计语言的基本数据类型及其抽象语法结构。在此基础上,根据范畴论和指称语义的原理,给出了动态模糊逻辑程序设计语言的范畴描述,定义了它的语义域、语义函数,从而给出其指称语义。最后给出了动态模糊逻辑程序设计语言的实例分析。本文的特色主要体现在如下几个方面:1.给出了动态模糊逻辑程序设计语言的范畴描述;2.给出了动态模糊逻辑程序设计语言的代数语义模型,包括DFL程序设计语言的极限代数语义、伴随语义、模结构代数语义及加法范畴语义;3.提出了动态模糊逻辑程序设计语言的拓展语义,给出了动态模糊层范畴的定义、基本原理、性质和操作等;总之,本文的工作进一步丰富和发展了动态模糊逻辑程序设计语言的研究内容。相信不久的将来,动态模糊逻辑程序设计语言会给我们带来无穷的益处。(本文来源于《苏州大学》期刊2009-05-01）
高伟[7]（2009）在《逻辑程序设计语言G(？)del的说明性语义》一文中研究指出G(o|¨)del语言是继Prolog语言之后出现的逻辑程序设计语言,它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了许多语言的有效成分和优点,引入了类型系统,这使得它成为一种高效的说明性逻辑程序设计语言。然而,时至今日,G(o|¨)del语言编译系统的开发研究仍然进展缓慢,主要原因是多态多类的类型系统、模块化结构、延迟计算、剪枝操作等多种新语言成分和机制的引入,使逻辑程序设计语言G(o|¨)del的复杂程度大大提高,而面向过程程序设计语言的编译方法和技术完全不同于具有递归性、说明性特点的逻辑程序设计语言,先前关于Prolog语言的编译方法和技术不能简单移植和照搬,而理论基础研究的滞后直接导致系统研究和开发进展缓慢,迄今尚无新的进展和系统开发成果报道。为了促进G(o|¨)del语言的推广以及深入研究,本文着眼于编译系统的设计与实现,为G(o|¨)del语言建立了严格的数学基础,包括其语法和说明性语义理论,从而为其深入研究和编译实现奠定了可靠的部分理论基础。鉴于传统的一阶逻辑语言的局限性,本文首先对传统的一阶语言进行扩展,引入类型,提出了类型一阶语言,完整地给出了类型一阶语言的语法定义,初步建立了带类型的一阶逻辑理论。论文针对类型一阶语言中的Horn子集给出了G(o|¨)del语言(子集)的语法部分。在此基础上,给出了解释或赋值的一般定义,然后讨论在合理的解释下类型合式公式的真假值判别法,并由此建立起带类型的一阶逻辑系统的模型。接着,利用类型一阶语言的H-模型探讨了Gdel程序的形式化说明性语义,最终得出结论为最小H-模型M_p可以作为程序P的形式语义,其理由是M_p恰由作为P的逻辑推论的那些基原子组成。本文最后还给出了G(o|¨)del语言控制机制的一种实现算法,可以为该语言的完全实现提供重要支持。(本文来源于《厦门大学》期刊2009-05-01）
杨潇潇[8]（2009）在《框架时序逻辑程序语言MSVL的形式语义》一文中研究指出形式语义是对软件系统进行形式化验证和分析的重要理论基础。程序语言的语义可以帮助人们更好的理解、执行、分析软件系统。操作语义有助于语言的实现,公理语义有利于程序的验证,指称语义在强大的数学理论支持下为程序的含义提供了精确的数学描述。时序逻辑程序设计是一种新型的程序设计范式,程序的具体执行和性质的描述可以在同一逻辑框架内表示,适用于并发系统的建模、模拟和验证。尽管研究人员开发了相关的解释器来执行各类时序逻辑程序语言,时序逻辑及其可执行子集被广泛地应用于系统的规范和验证中,但是到目前为止,至少在区间时序逻辑程序语言中,还没有一套系统而完整的形式语义。本文以区间时序逻辑程序语言MSVL为研究对象,分别从模型语义、操作语义、公理语义叁条主线来研究区间时序逻辑程序的形式语义,并对叁种语义之间的一致性、互补性进行分析和证明。本文研究了MSVL语言的极小模型语义。由于MSVL语言中的框架技术破坏了逻辑的单调性,传统的规范模型已不再适用于捕获该语言的模型语义。因此,我们提出了极小模型理论并证明了极小模型的存在性定理。为了正确理解程序语言的执行过程,本文研究了MSVL语言的结构化操作语义。首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。其次给出了带有时态操作符的算术表达式和布尔表达式的求值规则,以及程序的状态迁移系统和区间迁移系统。状态迁移系统包括将一个程序化简为与其等价的正则形的语义等价规则和状态上的迁移规则。区间迁移系统给出了将程序从一个状态迁移到下一个状态的区间迁移规则。进一步,我们研究了两类迁移系统的性质,并证明了操作语义和基于模型理论的极小模型语义之间的一致性。最后基于本文提出的操作语义,开发了具有对软硬件系统进行建模、模拟和验证功能的MSVL语言的解释器。为了实现在同一逻辑框架内对并发系统进行建模和验证的目的,本文研究了MSVL语言的公理语义。在该方法中,MSVL语言作为程序设计语言来描述系统行为(系统建模),命题投影时序逻辑作为断言语言描述系统性质。这样,系统的模型和性质的规范可以用同一逻辑记号表示,简化了验证在不同形式化记号之间转换的复杂过程。进一步,我们给出将程序推演为正则形的状态公理和状态推演规则以及程序在区间上的公理和推演规则,这些规则在将程序从一种状态转换到另一种状态的同时实现程序性质的验证。另外,基于MSVL语言的操作语义,我们证明了该公理系统的可靠性和相对完备性。最后,使用该语言的公理语义对一个应用实例的完全正则性质进行了形式化验证。(本文来源于《西安电子科技大学》期刊2009-04-01）
韩小芬,李凡长[9]（2009）在《动态模糊逻辑程序设计语言的指称语义》一文中研究指出文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义。最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程。(本文来源于《计算机科学》期刊2009年01期）
周勇,朱梧槚[10]（2006）在《有序逻辑程序的回答集语义》一文中研究指出为了统一并扩充回答集语义,在带有规则序的逻辑程序中,基于不动点原理,采用了处理优先序的新方法———直接在规则迭代过程中考虑规则序的作用.用此方法得到了9种不同的回答集语义,并讨论了各种语义之间的关系;证明了它们在包含意义下不是构成线序结构,而是一般的格结构;在层次逻辑程序中,该类回答集语义都退化为普通的回答集语义.(本文来源于《西南交通大学学报》期刊2006年02期）
逻辑程序语义论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型。论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
逻辑程序语义论文参考文献
[1].梅俊杰.带函数的析取逻辑程序良基语义研究[D].贵州大学.2015
[2].常万军,郭祖华,魏昆鹏.简单单调约束逻辑程序的良基语义研究[J].计算机工程与设计.2013
[3].钟勇,郭伟刚,钟昌乐,刘凤玉,李宁.Datalog逻辑程序调用语义及其应用研究[J].计算机科学.2010
[4].赵岭忠,廖伟志,钱俊彦,古天龙.基于计算解语义的逻辑程序测试和调试框架[J].计算机科学.2009
[5].昌杰.逻辑程序设计语言G（?）del的形式化过程性语义[D].厦门大学.2009
[6].韩小芬.动态模糊逻辑程序设计语言的代数语义模型及应用研究[D].苏州大学.2009
[7].高伟.逻辑程序设计语言G(？)del的说明性语义[D].厦门大学.2009
[8].杨潇潇.框架时序逻辑程序语言MSVL的形式语义[D].西安电子科技大学.2009
[9].韩小芬,李凡长.动态模糊逻辑程序设计语言的指称语义[J].计算机科学.2009
[10].周勇,朱梧槚.有序逻辑程序的回答集语义[J].西南交通大学学报.2006