逻辑程序的语义和强等价逻辑程序研究-计算机软件与理论专业毕业论文.docxVIP

中文摘要摘要 中文摘要 摘要 逻辑程序的语义和强等价逻辑程序讲究 专 业 计算机软件与理论 填士垒 陈鬟 指导教师 李磊，林方真 逻辑程序是知识袭示和非单调推理研究的黧娶领域。本文酌磷究背景憩包含否 定豹递辑程痔。 论文介绍了逻辑程序语义研究的现状，综述了过程性语义的研究，并绘出了扩 展逻辑程序的弱真模型。弱真模测扩展了扩展逻辑程序的回椁集。每个扩展逻辑程 穿至少蠢一个弱真模型，魏采程缪存在菲平凡鹣溷答集，刘它也是一个弱冀模型。 同时，论文还定义了一个不动点辣子，通过这个不动点算子，可以得到程序的最小 弱真模型。 避一步的，论文深入研究了基于回答爨语义的强等价逻辑程序。对于一 令k-m-n翔蔻(瑟三令分臻寿k，m帮n个燕甏熬逻辑程．亭：P={翻 ．，‰}，玛= {l ．，‰)和P2一{¨．．，‰)，在什么情况下PU R和PUP2是强等价的)，本文 从试验入手通过计簿机辅助的方式，发现了0，1*0，1-1．0，0-1．1，2-1—0，0-2．1等问 题静态囊条终。论文也介绍了这些结果在篱化程枣方耍的应髑。扶研究的方法论角 度看，我们获小论城豹试验结莱懑发进行定理鹃猜惩，然螽遴过一些磊予攘广的定 理将猜想推广为一般情况下成立的定理。这种定理发现过程对于一些离散问题的研 究具有一定的指导意义。 东疆究强等徐瓣邋夔过程孛，我察聂发了～令系统：SELP。SELP豹缓心殛我 是检凌两个程序是否