【基於亚蕴含的询问求值系统QES】智桂兰.pdf

目录提要第一章前盲第二章亚蕴含 2 解释,判别解,极小模 2、2 闭弱集,亚蕴含 2、3 亚蕴含意义下的询问求值 2 CWA,GCWA与限制推理 2 包含。首文字归结,饱和 2、6 询问求值算法VAL 第三章询问求值算法的改进 3 g一子句集的特征子句集的性质 g一子句集的分解 3 询问求值算法IVAL 3 另外一些改进第四章 CWA相容性判定第五章基于亚蕴含的询问求值系统QES 5.

提要 Bossu与Siege1在(1 中定义了一种非单调推理形式—一亚蕴含(sub-implication),记为,并给出了基于特征公式的询闫求值方法。本文描述了在sun4上用C-Pro1og实现的基于亚蕴含的询问求值系统QES.设HUHN是g一子句集,其中H是Horn的g一子句集,NH是非Horn的g一子句集,用C表示HUNH的特征子句集,mdis(表示的极小模集,本文证明了mdis(HUNH)=mdis(HUC),并以此为基础提出了对逻辑数据库HUC进行分解的方法,证明了这种分解的合理性,建立了基于数据库分解的询问求值算法,QES也实现了这个算法,本文还给出了CWA相

本文证明了8一子句集的一个重要性质,并根据此性质针对一类g一子句集的询问求值问题给出了新的算法,用 C一Prolog在sun4上分别实现了中的算法和新算法,在实现的算法时也作了一些完善和改进。所实现的系统叫QES.在第二章介绍了亚蕴含及亚蕴含下的询问求值,还介绍了首文字归结及首文字归结饱和等.第三章证明了吕一子句集的一个重要性质,利用此性质对原来8一子句集进行分解,提出一个新算法工VAL.第四章,有许多数据库关于CWA不相容,给出了一个判定数据库关于CWA是否相容的算法,本章给出了另一种判定算法,也给出了判定数据库对一部分谓词作CWA时是否相容的算法。