[基于亚蕴含的询问求值系统QES]智桂兰

【基於亚蕴含的询问求值系统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时是 否相容的算法。
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。