关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义

计算机科学 ›› 2006, Vol. 33 ›› Issue (4): 141-142.

关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
广东省自然科学基金项目（020146,031541和广东工业大学青年基金项目（042027）.

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 逻辑程序具有丰富的表达能力和非确定性等特点，在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。本文是继续文[8]的工作。首先通过两个反例，指出了文[7]中关于否定完备化程序Comp（→，Pr）和蕴涵完备化程序Comp（→，Pr）的两个重要定理都存在一定程度的错误。然后对这两个定理进行了修改，用后继算予Tpt和Fitting算予FPr的不动点语义，分别给出了否定完备化程序（Somp（→，Pr）和蕴涵完备化程序Comp（→，Pr）的Herbrand模型的充分条件和必要

关键词: 逻辑程序否定和蕴涵完备化程序 Herbrand模型后继算子 Fitting算子

Abstract: Logic programming has been widely applied in mechanical theorem proving, relational database system, modularized programming and non-monotone reasoning. This paper is the continuation of reference [8]. Two faults on →-completion and →-completion in refere

Key words: Logic programming, →-completion and →- completion, Herbrand model, Consequence operator, Fitting＇s operator

. 关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义[J]. 计算机科学, 2006, 33(4): 141-142. https://doi.org/