【摘 要】
：
该文主要对基于逻辑的溯因问题以及选择理想诊断的语义方法进行了系统的研究,拓展并加深了辩论理论框架的基础.结果主要包括:正规逻辑程序类的真稳定类语义和辩论语义是两种
论文部分内容阅读
该文主要对基于逻辑的溯因问题以及选择理想诊断的语义方法进行了系统的研究,拓展并加深了辩论理论框架的基础.结果主要包括:正规逻辑程序类的真稳定类语义和辩论语义是两种基于不同直觉的语义统一框架,该文证明了二者在构造算子的单步操作上都是相同的;根据地觉划分证据,建立了新的辩论理论框架;探讨了溯因逻辑程序设计中一致性约束在构造假说冲突时的作用,提出了一种新的证据攻击关系,由此拓展了溯因逻辑程序的辩论理论基础;利用依赖于上下文的优先关系,研究了动态选择解释的语义方法;提出了含约束的基于模型的诊断系统,给出了并从理论上证明了利用待诊断系统的结构信息确立判别约束的直观想法,结果表明这种诊断方法有效去除了没有意义的诊断,含约束的诊断空间变小了;最后该文解决了如何紧致地刻画约束诊断空间的问题.
其他文献
第六届全国好新闻定评已经揭晓。二百零八篇(组、幅)优秀作品获奖。这是在新闻改革中开出的艳丽花朵。我们向这些优秀作品的作者致以热烈的祝贺! 这次评选工作在成都进行,来
该项研究是"九五"国家科技攻关专题《空间信息共享和处理技术研究》的一部分.该专题的攻关目标是建成一个分布式空间信息共享与自理分系统,核心是解决开放网络条件下多源、多
1984年7月8日天津日报第一版刊登了一篇题为《邓大姐看望左大姐》的特写,报道了邓颖超同志看望左道腴同志(已故的周叔弢同志的爱人)的情景。这篇报道文笔自然,内容生动,使人
该文通过-一个基于Lotus Notes OA系统--深圳体育发展中心办公自动化系统,对符合当今信息技术发展趋势的OA系统运行方式、系统体系结构及其基本功能组成进行探讨.
“数学理解”在数学学习中起着极其重要的作用.本文通过了解临沦师专学生对各类数学知识的理解情况,对学生在数学理解上存在的困难及其形成的原因作出分析,并探寻了解决对策.
PDM是一种管理所有与产品相关的信息(包括产品规范、电子文档、CAD文件、产品结构、存取权限)和所有与产品相关的过程(包括工作流程的定义与管理等)的技术.该文以PDM理论为出
并行处理技术涉及多个方面,诸如硬件结构、操作系统、并行算法、编程语言、开发环境等.显然,并行算法在并行处理技术中具有非常重要的地位.现今并行处理技术的发展状况是并行
该文基于笔者近三年多以来参加上海大众汽车有限公司生产管理系统研究与设计的实践,介绍了该系统设计中所涉及的主要技术,着重探讨了管理信息系统与制造自动化系统的集成技术
该文对新形势下的医院信息系统作了研究,提出了一基于Inernet的新型的医院信息系统NHIS(New Hospital Information System)体系架构.NHIS的体系架构作了说尽的分析.针对NHIS
通过分析网络教学的现状和特点,结合科学发展网络环境教学的经验和趋势,探讨构建网络环境下教学的理论模型、运行机制、教学模式、教学资源库的创建等,从而提供一个可行的网