A spectrum of de nitions for temporal model-based diagnosis.(9)
发布时间:2021-06-06
发布时间:2021-06-06
In this paper we present an extension of the spectrum of logical de nitions of model-based diagnosis introduced in (Console &Torasso 1991b). The extended spectrum considers the case of temporal model-based diagnosis and generalizes the logical characteriza
eralized stable models. Annals of Mathematics and Arti cial Intelligence 11(1-4):51{74. Reiter, R. 1987. A theory of diagnosis from rst principles. Arti cial Intelligence 32(1):57{96. ten Teije, A., and van Harmelen, F. 1994. An extended spectrum of logical de nitions of diagnosis. In Proc. 5th Int. Work. on Principles of Diagnosis, 334{ 342.
上一篇:供应商调查评估表(空白)1
下一篇:第7章_3_描述函数法介绍