【摘 要】
：
Baratella定义了正规谓词逻辑程序的模态完全化语义 ,并证明了该语义关于 SL DNF-归结的部分完备性 .本文首先给出了逻辑程序的模态直承算子 ,并研究了相关的理论性质 ,进而
【机 构】
：
张掖师范高等专科学校数学系!甘肃张掖734000,甘肃省数据通信局!甘肃兰州730030
论文部分内容阅读
Baratella定义了正规谓词逻辑程序的模态完全化语义 ,并证明了该语义关于 SL DNF-归结的部分完备性 .本文首先给出了逻辑程序的模态直承算子 ,并研究了相关的理论性质 ,进而证明了模态完全化语义关于 SL DNF-归结的完备性 .
Baratella defines the modal completeness semantics of the formal predicate logic program and proves the partial completeness of the SL DNF-summation of the semantics.This paper first gives the modal straightforward operators of logic programs and studies the related theories Which proves the completeness of modal complete semantics about SL DNF.
其他文献
当前快速变化的劳动力市场正在重新调整工作布局,无论是在发达国家还是在发展中国家,对传统观念中稳定而永久工作的期望,都变得越来越不现实.新出现的就业机会,特别是那些由
每年的全国两会,生态文明、绿水青山都是倍受关注的话题.今年,习近平总书记在参加内蒙古代表团审议时强调,要保持加强生态文明建设的战略定力,牢固树立生态优先、绿色发展的
党的十七大报告中指出“实施扩大就业的发展战略,促进以创业带动就业”.中等职业学校的毕业生,不仅要学会正确择业,顺利谋职就业,还要敢于面向市场去自己创业.
目的:体内外模拟心肌梗死区缺血微环境,探讨EGb761对移植BMSCs的影响及其作用机制。
方法:应用Ficoll液密度梯度离心法,分离大鼠BMSCs,并纯化扩增;体外通过缺氧无血清处
思想建党是党的基础性建设,是溯源工程、铸魂工程.近年来,自治区水利厅党组坚持把加强和改进中心组学习摆在突出位置,作为抓好党员领导干部思想政治建设的主阵地,作为统一思
2019年以来,鄂尔多斯市在全市推行民生实事项目人大代表票决制试点工作,将民生实事项目的征集、决定、监督、评价等诸多环节,引入人民代表大会制度轨道,充分发挥人民代表大会
小麦生产的关键之一,在于正确认识环境资源,因地制宜,扬长避短,实行品种的合理布局。这是因为小麦和环境是矛盾的统一体,不同的生态条件对小麦的生长发育会产生不同的影响,
Transanal surgery has and continues to be well accepted for local excision of benign rectal disease not amenable to endoscopic resection. More recently, there h
庞立生在 2020 年 5 月 7 日《光明日报》撰文指出,时代的发展向我们提出了这样的要求:当代人类必须从时代背景出发,获得一种世界性的视野和时代性的意识,从而在更高的水平上
冯俊在2020年5月19日《人民日报》撰文指出,经过长期努力和不懈探索,我们党在密切联系群众、紧紧依靠人民推动国家发展方面构建起一套符合我国国情的制度体系,为人民执政、靠