×
雷特·雷蒙德

从第一原理诊断的理论。 （英语） Zbl 0643.68122号

Artif公司。智力。 32, 57-95 (1987).
假设有人对系统进行了描述，并观察到系统的行为与系统的行为方式相冲突。诊断问题是确定系统的那些部件，当假定这些部件工作异常时，这些部件将解释观察到的系统行为与正确的系统行为之间的差异。
我们提出了这个问题的一般理论。该理论只要求用合适的逻辑描述系统。此外，有许多这样的合适逻辑，例如一阶逻辑、时间逻辑、动态逻辑等。因此，该理论适用于各种实际环境中的诊断推理，包括数字和模拟电路、医学和数据库更新。该理论导致了一种计算所有诊断的算法，以及与用于区分竞争诊断的测量原理相关的各种结果。最后，该理论揭示了诊断推理和非单调推理之间的密切联系。

引用于7评论
引用于234文件

MSC公司：

68T99型 人工智能
94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）

关键词：

正确的系统行为;诊断推理;非单调推理
PDF格式BibTeX公司 XML格式引用
\textit{R.Reiter}，艺术。智力。32、57-95（1987年；Zbl 0643.68122）
全文： 内政部

参考文献：

[1] （Bobrow，D.G.，《非单调逻辑专刊》，《人工智能》，第13（1，2）期（1980））
[2] Brown，J.S。；伯顿，D。；de Kleer，J.，《SOPHIE I、II和III中的教学自然语言和知识工程技术》（Sleeman，D.；Brown，J.S.，《智能教学系统》（1982），学术出版社：纽约学术出版社），227-282
[3] （Buchanan，B.G.；Shortiffe，E.H.，《基于规则的专家系统：斯坦福启发式编程项目的MYCIN实验》（1984），Addison-Wesley:Addison-Whesley Reading，MA）
[4] Davis，R.，《基于结构和行为的诊断推理》，人工智能，24347-410（1984）
[5] de Kleer，J.，《电子电路故障定位的局部方法》，麻省理工学院人工智能备忘录394（1976），马萨诸塞州剑桥
[6] 德克莱尔，J。；Williams，B.C.，《诊断多个故障》，《人工智能》，32，97-130（1987），（本期）·兹伯利0642.94045
[7] Genesereth，M.R.，《自动诊断中设计描述的使用》，人工智能，24411-436（1984）
[8] Ginsberg，M.L.，《反事实，人工智能》，30，35-79（1986）·Zbl 0655.03011号
[9] 雅各布斯，B.E.，《关于数据库逻辑》，J.ACM，29，2，310-332（1982）·Zbl 0497.68061号
[10] 琼斯，M。；Poole，D.，基于默认逻辑的教育诊断专家系统，（第五届专家系统及其应用国际研讨会论文集，II（1985）），673-683，法国阿维尼翁
[11] McCarthy，J.，《限定在形式化常识中的应用》，《人工智能》，第28期，第89-116页（1986年）
[12] Moszkowski，B.，《硬件多级推理的时序逻辑》，IEEE计算机，18，2，10-19（1985）
[13] 普尔，D。；阿列利厄纳斯，R。；Goebel，R.，《理论家：用于默认值和诊断的逻辑推理系统》，（《技术报告》（1985），滑铁卢大学计算机科学系逻辑编程和人工智能小组：安大略省滑铁卢学院计算机科学系逻辑学编程和人工智能小组）
[14] Reggia，J.A.，《个人沟通》。；Reggia，J.A.，《个人沟通》。
[15] 雷吉亚，J.A。；Nau，D.S。；Wang，Y.，基于集合覆盖模型的诊断专家系统，国际期刊Man-Mach。螺柱，19437-460（1983）
[16] 雷吉亚，J.A。；Nau，D.S。；Wang，Y.，诊断推理的形式化模型I.问题的形成和分解，信息科学。，37, 227-256 (1985) ·Zbl 0583.68046号
[17] Reiter，R.，《默认推理的逻辑》，《人工智能》，13，1，2，81-132（1980）·兹伯利0435.68069
[18] Tsotsos，J.K.，《知识组织及其在时变数据表示和解释中的作用：ALVEN系统，计算》。智力。，1, 16-32 (1985)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。