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

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