学位论文 > 优秀研究生学位论文题录展示

关于对偶占优后承表示定理的研究

作　者: 何方琨
导　师: 朱朝晖
学　校: 南京航空航天大学
专　业: 计算机科学与技术
关键词: 非单调逻辑占优模型对偶占优后承非Horn型规则表示定理 ? D(? )算子
分类号: TP18
类　型: 硕士论文
年　份: 2011年
下　载: 2次
引　用: 0次
阅　读: 论文下载

内容摘要

非单调逻辑是人工智能研究领域的一个重要方向,为不同的逻辑规则提供相应的语义特征(即,建立表示定理)是非单调逻辑研究中的重要内容之一。占优后承是非单调逻辑中研究和应用较为广泛的一种推理系统。近年来,K.Britz,J.Heidema和W.Labuschagne以溯因推理为直观背景,在经典的占优后承基础上引入了对偶占优后承的概念。本文旨在研究对偶占优后承的表示定理,主要工作包括如下方面:1.研究了对偶占优后承的语义,并利用经典的构造占优模型的方法给出了对偶占优后承的表示定理。2.对K.Britz提出的合理右弱律的语义特征展开研究,基于层化占优模型建立了DP+RRW系统的表示定理。3.将占优后承的(?)_D(·)算子引入对偶占优后承的语义研究中,证明了(?)_D(·)算子保持占优模型生成的对偶占优后承。4.通过构造反模型说明了一系列非HORN型规则对偶占优后承不具有普遍性,并着重研究了Dual Weak Determinacy(DWD)规则的语义特性,基于(?)_D(·)算子建立了DP+DWD的表示定理。

全文目录

摘要  4-5
Abstract  5-9
第一章绪论  9-13
  1.1 非单调逻辑及对偶占优后承  9-10
  1.2 非单调后承的表示定理  10-11
  1.3 本文研究内容与全文结构  11-13
第二章基本概念  13-22
  2.1 对偶占优后承  13-15
  2.2 占优模型  15-16
  2.3 一些逻辑规则  16-19
  2.4 一阶翻译  19-22
第三章对偶占优后承的表示定理  22-31
  3.1 对偶占优后承满足的一些规则  22-23
  3.2 表示定理  23-29
  3.3 小结  29-31
第四章 DP+RRW 系统  31-38
  4.1 RRW 规则及层化模型  31-32
  4.2 层化占优模型的构造及表示定理  32-37
  4.3 小结  37-38
第五章 (?)_D (·) 算子及DP+DWD 的表示定理  38-60
  5.1 (?)_D (·) 算子  38-47
    5.1.1 ρ算子  38-40
    5.1.2 Π_D 算子  40-42
    5.1.3 Δ算子  42-44
    5.1.4 μ算子  44-46
    5.1.5 (?)_D (·) 算子  46-47
  5.2 一些非HORN 型规则  47-50
  5.3 DP+DWD 的表示定理  50-59
  5.4 小结  59-60
第六章全文总结  60-61
  6.1 全文总结  60
  6.2 进一步的工作  60-61
参考文献  61-64
致谢  64-65
在学期间的研究成果及发表的学术论文  65

关于对偶占优后承表示定理的研究

内容摘要

全文目录

相似论文