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

基于（？）_D（·）算子的非单调后承表示定理证明的研究

作　者: 张兴华
导　师: 朱朝晖
学　校: 南京航空航天大学
专　业: 计算机软件与理论
关键词: 非单调推理占优模型占优后承关系非Horn型规则表示定理 (?)_D(·)算子
分类号: TP18
类　型: 硕士论文
年　份: 2008年
下　载: 12次
引　用: 1次
阅　读: 论文下载

内容摘要

非单调逻辑是人工智能研究领域的一个重要方向之一,为不同的逻辑规则提供相应的语义特征(即,建立表示定理)是非单调逻辑研究中的一个重要研究内容。本文探讨了(?)_D(·)算子在表示定理研究中的应用,主要工作如下:1 .就两条非Horn型的规则——Weak Determinacy ( WD )和Rational Contraposition(RC)——的语义进行了研究。在一般语言的框架下,基于(?)_D(·)算子,给出了P+WD和P+RC的表示定理。2.验证了常见的占优模型性质(如层化性、过滤性和线性性等等)在(?)_D(·)算子下的保持性。在此基础上,建立了占优模型经过(?)_D(·)算子变换后的模型性质与其所满足的逻辑规则之间的对应性。即有下述结论成立:给定语言L,存在超滤子D,使得对任意占优模型M ,有下列事实成立:(1) |～M满足RM当且仅当(?)_D ( M)是层化的;(2) |～M满足RT当且仅当(?)_D ( M)是伪线性的;(3) |～M满足DR当且仅当(?)_D ( M)是过滤的;(4) |～M满足CEM当且仅当(?)_D ( M)是线性的;(5) |～M满足FD当且仅当(?)_D ( M)是几乎线性的;(6) |～M满足WD当且仅当(?)_D ( M)是赋值层化的;(7) |～M满足RC当且仅当(?)_D ( M)是PRCα模型;(8) |～M满足WDR当且仅当(?)_D ( M)是单射模型。

全文目录

摘要  4-5
ABSTRACT  5-8
第一章绪论  8-12
  1.1 研究背景  8-11
  1.2 本文研究内容与全文结构  11-12
第二章基本概念  12-23
  2.1 P 系统与占优模型  12-14
  2.2 一些逻辑规则  14-16
  2.3 一阶翻译  16-19
  2.4 占优模型的等价变换方法  19-23
第三章一般语言下P+WD 的表示定理  23-32
  3.1 赋值层化模型  23
  3.2 一般语言下P+WD 的表示定理  23-31
  3.3 小结  31-32
第四章一般语言下P+RC 的表示定理  32-43
  4.1 PRC 模型  32-34
  4.2 一般语言下P+RC 的表示定理  34-42
  4.3 小结  42-43
第五章 P+RC 的另一种表示定理  43-50
  5.1 PRCα模型  43-45
  5.2 P+RC 的另一种表示定理  45-49
  5.3 小结  49-50
第六章常见结构性质在(?)_D(·) 算子下的保持性  50-63
  6.1 同构定理  50-51
  6.2 层化性在(?)_D(·) 算子下的保持性  51-53
  6.3 伪线性性在(?)_D(·) 算子下的保持性  53-56
  6.4 过滤性在(?)_D(·)算子下的保持性  56-58
  6.5 线性性在(?)_D(·)算子下的保持性  58-60
  6.6 几乎线性性在(?)_D(·) 算子下的保持性  60-62
  6.7 小结  62-63
第七章全文总结  63-64
参考文献  64-68
致谢  68-69
在学期间的研究成果及发表的学术论文  69

相似论文

双连续α次积分C-半群,O177
关于对偶占优后承表示定理的研究,TP18
多主体自认知逻辑系统及其应用,B842.1
非单调推理的逻辑研究,B812
面向指挥决策的取证支持系统研究,TP319
非线性数字期望,O211.67
非线性数学期望,O211.67
基于动态认知逻辑的多主体系统知识推理研究,TP182
双连续n次积分C-半群,O152.7
非线性信念变化的研究,TP301
代数L-domain的表示定理及其相关范畴的等价性,O154
局部Lipschitz条件下倒向随机微分方程生成元的表示定理,O211.63
可拓检测中可测物元与不可测物元的关系模型研究,TP274
逻辑程序及其在安全协议验证中的应用,TP393.08
动态Coherent风险度量和均值方差优化若干问题的研究,F224
对量子逻辑若干问题的研究,O153.1
模糊逻辑中若干问题的研究,O159
常识推理中非单调逻辑的研究,TP181
非Lipschitz倒向随机微分方程及其相关问题研究,O211.63
一类随机动力系统—倒向随机微分方程—解的存在惟一性及生成元的表示定理,O211.63