【基於辩论语义的溯因推理及诊断】陈荣.pdf
分类号C/TP306 密级 限14 基于辩论语义的溯因推理及诊断 研究 陈荣 指导教师 姜云飞(教受)青标大学 专业名称 计算机软件与理论 论文答目期 授学位期 答新委员会主席 论文评阅人 吉林大学道算品村学菜 零专安平六店
提要 本文主要对基于逻辑的溯因问题以及送择理想诊购的语义方法进行了系 统的研究,拓展并加深了辩论理论框架的基础、结求三要包括:正规逻辑程 序类的真稳定类语义和辩论语义是两种基子不同直觉的语义统一框架,本文 证明了二者在构造算子的单步操作上都是相同的.根据直觉划分证据,建立 了新的辩论理论框架.探讨了溯因逻辑,提出了一种新的证据攻击关系,由此拓展了溯因逻辑程序的 论理论基础:利用依赖于上下文的优先关系,研究了动态选择解释的语义方 法:提出了含约束的基于模型的诊断系统,给出并从理论上证明了利用待诊 断系统的结构信息确立判别约束的直观想法,结果表明这种诊断
求 3KF(arg)在逻辑程序和现有语义的局限性4溯因程序的句法4现有语义 4完全类语义4完全类语义的性质4相关工作的比较 完全类语义在诊断系统中的应用 4小结第五章 动态选择最佳解释 5引言.5优先的溯因逻辑程序5程厅的优先辩论语义5语义的基本性质5相关工作的比较5小结5.