共查询到18条相似文献,搜索用时 671 毫秒
1.
基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果. 相似文献
2.
余金山 《华侨大学学报(自然科学版)》2001,22(1):100-104
程序变换方法在逻辑程序中的应用主要是基于这样的理论结果,即Fold/Unfold变换保持了逻辑程序的最小Herbrand模型语义和答复转换集语义,但是当逻辑程序的实现采用标准Prolog系统的最左计算规则和深度优先查找规则时,变换后的程序未必能保持原程序的语义,此外,程序的语义等价性证明也往往是难以理解和阅读的,为此,首先用与计算SLD-树叶结点有关的答复置换序列算法的方式,引入一个相对易于理解的Prolog语义定义,然后给出有关的语义保持变换规则并加以证明。 相似文献
3.
带函数的正规逻辑程序设计系统 总被引:1,自引:1,他引:0
带函数的回答集程序设计(FASP)允许在正规逻辑程序中嵌人函数符号,描述了这个系统fasp的设计与实现。其基本思想是把简单函数和原子当成变量,程序的Clark完备化和环公式约束处理(CSP)中的约束,然后通过已有的CSP求解器来计算其CSP例的解。ASP的测试用例也可通过fasp应用于CSP中。我们用汉密尔顿回路问题和N-皇后问题测试了该系统,并与其它系统进行了比较,实验结果表明,fasp对N-皇后问题有较好的效率。 相似文献
4.
本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序,它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则,但用来解释修正程序将会变得非常困难,本文将引入修正程序的语义模型-P-合理修正,并讨论了修正程序同逻辑程序的关系及修正程序的现实意义。 相似文献
5.
王以松 《贵州大学学报(自然科学版)》2006,23(3):283-288
在这篇文章中,我们从理论和实际计算的观点两方面研究了扩充逻辑程序中的经典否定和约束.我们发现,在保持原有程序回答集语义的前提下,经典否定和约束都可以通过引入新的原子来消除.我们的实验结果表明,一般情况下,引入新的原子会增加计算开销,但是这里有一个关于16-皇后问题的例外. 相似文献
6.
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义,表推演具有直观,灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论,不过proflog包含了全部一阶理论,等词的替换性使得proflog过程语义比较复杂,在此提出讨论一种受限的程序语言cProflog,它包含函词,但限制了等词的替换性,体现了表达能力与计算复杂性之间的平衡,对于逻辑程序语言cProflog,还给出了复杂性较低的表推演过程。 相似文献
7.
《山西大学学报(自然科学版)》2016,(3)
概率逻辑程序是一种部分事实带概率的逻辑程序,在数据挖掘、自然语言处理、生物信息学、活动和行为识别、机器人、网络分析、音乐分析等领域有着重要的应用前景。文章总结了概率逻辑程序的语义和推理机制,最后指出了概率逻辑程序未来的主要研究方向。 相似文献
8.
约束逻辑程序的一个新语义研究 总被引:1,自引:1,他引:0
首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征. 相似文献
9.
Baratella定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于SLDNF-归结的部分完备性。本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质,进而证明了模态完全化语义关于SLDNF-归结的完备性。 相似文献
10.
董改芳 《贵州大学学报(自然科学版)》2004,21(1):15-21
基于表达式的树形表示,我们提出了一种关于寻找一个有限表达式集的最一般一致替换(mgu)的树形算法。与原算法相比,算法比较直观而且有效。此算法可以应用于逻辑程序分析。 相似文献
11.
为了准确描述公钥基础设施(PKI)互通信任模型的语义,提出一种能推理主体信念和信任关系的形式逻辑,并用该逻辑形式化地分析了3个重要的PKI通信任模型.结果表明,这种逻辑能准确表达PKI互通信任模型的语义,揭示模型的优点和弱点,为验证PKI通模型是否满足特定需求提供了一种有效的形式化方法. 相似文献
12.
13.
14.
有限Boole语义的随机化 总被引:1,自引:0,他引:1
基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广. 相似文献
15.
16.
17.
针对简单函数式语言、 简单过程式语言和简单面向对
象式语言等多个程序语言范例, 分别定义了它们的操作语义和指称语义, 同时设计了一个“形式语义学”教学辅助系统, 用于演示不同语言范例程序的基于形式语义定义的可视化解释, 该系统使学生可以通过形象生动的动态演示和同步解释, 充分理解和掌握程序设计语言的形式语义及其实现. 相似文献
18.
PARLOG语言是一种适合于并行逻辑程序设计的语言,广泛应用于人工智能及并行处理等领域。从 PARLOG的语义描述出发.结合与/或树计算模型及进程调度算法.介绍了 SUN工作站上设计实现的一个实用的并行逻辑设计环境——PARLOG顺序编译系统(PSCS)。该系统采用中间抽象机结构.以C语言为目标语言,不仅具有高效率的执行代码.而且易于移植。 相似文献