【逻辑程序中的否定问题及其非单调语义】陈荣.pdf

【逻辑程序中的否定问题及其非单调语义】陈荣.pdf

逻辑程序中的否定问题及其非单调语义 Negation in Logic Programs and Its Nonmonotonic Semantics 陈荣 导师:孙吉贵副教授 专业:计算机应用 吉林大学计算机科学系Ⅲ 第一章前言 51逻辑程序中的否定问题 1已有工作的介绍 1本文的工作.第二章常规逻辑程序的说明语义 2程序完整化方法Clark语义.2Fitting的三值扩充模型论方法.2 分层程序与支持模型 2 局部分层程序与完美模型 2 稳定模型 2 良基模型语义方法的比较 2非单调逻辑与逻辑程序的模型论语义 第三章面向表推演的逻辑程序语言proflogproflog的语法proflog程序.3语法定义的可靠性 3.前言 第一章前言 七十年代初,Colmerauer和Kowalski提出了逻辑,而程序执行的过程性被系统自 动演绎处理。这种,八十年代逻辑,而且近年来,它与众多AI领域问题的结合产生了许多新 的研究课题一一例如逻辑程序中的否定问题、约束逻辑与机器学习相关 的归纳逻辑。