导读:本文包含了逻辑程序论文开题报告文献综述及选题提纲参考文献，主要关键词:立法,法律,逻辑编程,程序
逻辑程序论文文献综述
罗伯特·A.科瓦尔斯基,杨安卓,赵舒婷[1]（2019）在《作为逻辑程序的立法》一文中研究指出立法通常采用的语言风格与逻辑编程语言有许多相似之处。然而,1981年《英国国籍法》《密歇根大学租赁终止条款》和《伦敦地铁紧急情况告示》中的法律语言示例表明,逻辑编程的基本模型可以通过几种方式得到有效的扩展。这些扩展包括类型的引入、相关条款、普通否定和击败否定、完整性约束、元推理和程序符号。除立法和编程之间的相似处之外,法律与算法还有其他重要的相似之处。例如,它需要根据社会和政治规范来验证立法,并且需要组织、开发、维护和重复使用大量复杂的法律规范和程序。算法和法律之间的相似性表明,这些不同领域之间有可能实现有效结论与技术手段之间的双向转换。本文探讨的一种可能性是,适当扩展的逻辑程序设计语言的语言结构,是使立法语言本身变得更简单、清晰的可能方式。(本文来源于《地方立法研究》期刊2019年04期）
戴望州,周志华[2]（2019）在《归纳逻辑程序设计综述》一文中研究指出归纳逻辑程序设计(inductive logic programming,ILP)是以一阶逻辑归纳理论为基础,并以一阶逻辑为表达语言的符号规则学习方法.ILP学得的模型是易于理解的一阶逻辑符号规则,而非难以解释的黑箱模型;在学习中可以相对容易地显式利用以一阶逻辑描述的领域知识;学得模型能对领域中个体间的关系进行建模,而非仅仅对个体的标记进行预测.然而,由于潜在假设空间巨大,进行高效学习有相当的困难.综述了ILP领域的研究情况,从不同一阶逻辑归纳理论的角度对主流的ILP方法做出了梳理.还介绍了近年来ILP基于二阶诱导推理理论的扩展、基于概率的扩展和引入可微构件的扩展.最后,介绍了ILP在实际任务中的代表性应用,探讨了ILP方法目前所遇到的挑战,并对其未来发展进行了展望.(本文来源于《计算机研究与发展》期刊2019年01期）
邹崇理[3]（2018）在《时序逻辑程序语言XYZ/E的创新性》一文中研究指出唐稚松院士及其团队开发的大型软件工具系统XYZ是我国软件工程领域发展的一个里程碑,其核心部分XYZ/E是基于时序逻辑的程序语言。从创新的视角评价:XYZ/E是逻辑思想方法和计算机科学特征的融合产物;采用形式语义的方式描述程序的状态转换机制,在传统时态逻辑基础上,增添了更多实用的表达工具; XYZ/E比通常的动态逻辑,对程序语言动态思想的刻画显得简明直观。XYZ/E的创新给我们的启示是:往小处说,我们有必要吸取唐院士的成果,按照当今计算机程序语言的实际需求,探索揭示程序动态更新思想的更为直观简明的方式;往大处讲,我们要发扬唐院士的治学精神,强调交叉融合的跨学科思考。(本文来源于《重庆理工大学学报(社会科学)》期刊2018年09期）
李倩倩[4]（2018）在《基于回答集逻辑程序的相变问题》一文中研究指出基于回答集(或稳定模型)语义的逻辑程序(Answer Set Program,简称ASP),是一种描述性问题求解的范例。由于其非单调的本质特征和各种有效的回答集求解系统的出现,而被广泛应用于智能规划、诊断、调度等领域。相变(phase transition)是研究复杂系统性质的一种重要方法,在可满足性问题(SAT)和正规逻辑程序等方面获得了深刻的理论结果。析取逻辑程序回答集存在性等问题的复杂性在多项式分层上比正规逻辑程序高一层,本文研究析取逻辑程序的相变性质,主要包括:(1)证明了任何析取逻辑程序模等价于句法简单的析取逻辑程序,即对任何析取逻辑程序P,存在一个析取逻辑程序Q,其中的所有规则头中(至多)含有2个原子,规则体中(至多)含有两个文字,使得在限制到P中出现的原子集上时P和Q有相同的回答集。(2)证明了规则头中(至多)含有2个原子的最大析取逻辑程序回答集的存在性问题,规则体中文字数大于1时,最大逻辑程序没有回答集;规则体文字数为1时,最大逻辑程序有n个大小为n)1(-的回答集,其中n为程序中的原子数。(3)借用图的kernel性质,将判断逻辑程序是否具有回答集用能量函数表示出来,通过求解能量函数的基函数就可以判断该函数是否具有回答集。(4)实验结果表明,析取逻辑程序规则体中负文字比ratio?(0,1)时,随着nm/值增加,在某个关键值点有回答集概率由1迅速减为0,发生相变;随着nm/增加,求解回答集需要环的数量达到稳定值,等于n。对于ratio(28)1时,随着nm/值增加,程序存在回答集的概率会有一个“凹陷”现象,称为“首次半相变”,其中,n为程序中的原子数,m为程序中的规则数。(本文来源于《贵州大学》期刊2018-06-01）
郝婷[5]（2018）在《我国现代出版企业制度改革之逻辑程序及存在的问题》一文中研究指出改革开放40年来,我国出版企业制度改革历经五个阶段,经营性出版单位已全面完成转企改制的任务,但远没有达到形成具有文化特色的现代出版企业制度的要求,转制之后建立现代出版企业制度的工作刚刚起步。文章以此为着眼点,从政资分开、政企分开、明确国有文化产权权利主体、建立所有者对经营者的激励约束机制等角度阐述我国出版企业制度改革应遵循的逻辑程序,并指出了当前出版企业制度改革存在的问题。(本文来源于《出版与印刷》期刊2018年02期）
谢小天,赵岭忠[6]（2018）在《基于逻辑程序的调机路径规划研究》一文中研究指出调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务。但目前的编制工作仍以人工为主,存在编制作业的工作量大、计划编制不及时、计划调整困难等问题。为此,给出基于回答集程序(ASP)与有限域约束逻辑程序(CLP(FD))的设计方法。在轨道规模增大的情况下,讨论2种方法在求解不同问题规模时的时间效率以及对应求解器的运行规律。实验结果表明,ASP在解决调机路径规划问题时比CLP(FD)表现更优,能快速地得到路径编排结果,对应的DLV求解器能更有效地克服轨道数目增减带来的影响。(本文来源于《计算机工程》期刊2018年01期）
陈旭振,戴俊明,黄帆,孙威[7]（2017）在《F650综合保护器逻辑程序分析》一文中研究指出为了研究江苏LNG变电所综保可靠性,分析了江苏LNG接收站变电所综保F650各种保护逻辑。重点剖析了各个保护的逻辑程序及其定制设置步骤。结果显示江苏LNG接收站变电所综合保护器能对各种故障或异常运行状态做出正确判断并实施相应的保护措施。(本文来源于《天然气技术与经济》期刊2017年S1期）
马新明,黄勇,王成[8]（2017）在《浅谈备自投联切小电源逻辑程序方案改进》一文中研究指出备用电源自动投入装置(以下简称备自投)作为提高电网的安全、可靠运行所采用的重要设备之一,现在越来越多的用于电力系统中。本文结合雅安地区小水电站较多,对现有备自投联切小电源存在的问题,提出备自投联切小电源逻辑程序方案改进,从而避免备自投装置动作后备用线路与小电源非同期并列。(本文来源于《电气开关》期刊2017年05期）
张舒韬[9]（2017）在《概率认知逻辑程序语言的研究》一文中研究指出不完备知识的表示和推理是知识工程领域的重要研究课题。目前,不完备知识常常被表示为缺省知识、认知知识,或者不精确知识。回答集程序(Answer SetProgram,ASP)是一种重要的缺省知识表示和推理工具。认知逻辑程序是回答集程序与自认知逻辑的结合,在ASP的基础上引入了认知模态词,能够实现认知知识的表示和推理。LPMLN是回答集程序与马尔科夫逻辑网络(Markov Logic Network,MLN)的结合,实现了逻辑程序中的概率表示和计算。本文研究并设计一种基于结合了认知逻辑程序和LPMLN的新的逻辑程序语言PELP及其推理算法,为缺省知识、认知知识、不精确知识共存的复杂问题的表示和推理提供一个可选的方案。本文的主要成果包括:1)提出了一种概率认知逻辑程序语言PELP(Probabilistic Epistemic Logic Program),定义了该语言的语法和语义;2)提出了 PELP的基本求解算法,并且基于程序化简的思想提出了该求解算法的一种优化方法,3)实现了 PELP的推理机PelpSolver;4)给出了 PELP与认知逻辑程序语言ASPKM、EFLP、GI-log的关系;5)以叁门问题和概率一致性规划问题的建模和求解为例,说明了 PELP的应用场景。(本文来源于《东南大学》期刊2017-06-13）
黄保才,童维风[10]（2017）在《航天炉粉煤气化系统锁斗充压逻辑程序优化运行总结》一文中研究指出介绍航天炉粉煤气化装置及其渣锁斗的工艺流程,阐述了排渣逻辑程序的控制情况。通过对航天炉粉煤气化系统渣锁斗程序进行优化改造,稳定系统运行,提高航天炉装置运行的经济效益。(本文来源于《小氮肥》期刊2017年03期）
逻辑程序论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
归纳逻辑程序设计(inductive logic programming,ILP)是以一阶逻辑归纳理论为基础,并以一阶逻辑为表达语言的符号规则学习方法.ILP学得的模型是易于理解的一阶逻辑符号规则,而非难以解释的黑箱模型;在学习中可以相对容易地显式利用以一阶逻辑描述的领域知识;学得模型能对领域中个体间的关系进行建模,而非仅仅对个体的标记进行预测.然而,由于潜在假设空间巨大,进行高效学习有相当的困难.综述了ILP领域的研究情况,从不同一阶逻辑归纳理论的角度对主流的ILP方法做出了梳理.还介绍了近年来ILP基于二阶诱导推理理论的扩展、基于概率的扩展和引入可微构件的扩展.最后,介绍了ILP在实际任务中的代表性应用,探讨了ILP方法目前所遇到的挑战,并对其未来发展进行了展望.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
逻辑程序论文参考文献
[1].罗伯特·A.科瓦尔斯基,杨安卓,赵舒婷.作为逻辑程序的立法[J].地方立法研究.2019
[2].戴望州,周志华.归纳逻辑程序设计综述[J].计算机研究与发展.2019
[3].邹崇理.时序逻辑程序语言XYZ/E的创新性[J].重庆理工大学学报(社会科学).2018
[4].李倩倩.基于回答集逻辑程序的相变问题[D].贵州大学.2018
[5].郝婷.我国现代出版企业制度改革之逻辑程序及存在的问题[J].出版与印刷.2018
[6].谢小天,赵岭忠.基于逻辑程序的调机路径规划研究[J].计算机工程.2018
[7].陈旭振,戴俊明,黄帆,孙威.F650综合保护器逻辑程序分析[J].天然气技术与经济.2017
[8].马新明,黄勇,王成.浅谈备自投联切小电源逻辑程序方案改进[J].电气开关.2017
[9].张舒韬.概率认知逻辑程序语言的研究[D].东南大学.2017
[10].黄保才,童维风.航天炉粉煤气化系统锁斗充压逻辑程序优化运行总结[J].小氮肥.2017