Article

Article title TRUTH MAINTENANCE SYSTEMS IN DIAGNOSTICS PROBLEMS
Authors V.N. Vagin, D.S. Zaretsky
Section SECTION III. ARTIFICIAL INTELLECT AND INDISTINCT SYSTEMS
Month, Year 12, 2010 @en
Index UDC 004.832.34
DOI
Abstract The paper is devoted to studing application possibilities of an assumption-based truth maintenance system (ATMS) at solving diagnostics problems. The theory of ATMS as a system of supporting logical reasoning and its practical applications are given. The example of using ATMS as a part of a diagnostic system of logical circuits is viewed. The main advantages and basic problems of ATMS application for enchancing the efficiency of diagnostic systems are considered.

Download PDF

Keywords Ttruth maintenance systems; diagnostics problem; logical reasoning.
References 1. Reiter R.A. Theory of Diagnosis from First Principles // Artificial Intelligence, 1987. – Vol. 32. – P. 97-130.
2. Вагин В.Н., Оськин П.В. Эвристические и вероятностные методы снятия эффективных показаний в системах диагностики // Известия РАН. Теория и системы управления. – 2006. – № 4. – С. 78-93.
3. Подиновский В.В., Констанденко О.С. Исследование метода последовательных уступок // Методы анализа и реконструкции сложных систем. Тезисы доклада. – Рига: Зинатне, 1972. – С. 181.
4. Forbus K.D., de Kleer J. Building Problem Solver // A Bradford Book. Cambridge, Massachusetts, London, England: Yhe MIT Press, 1993.
5. De Kleer J. An Assumption-based TMS // Artificial Intelligence. – 1986. – Vol. 28. – P. 127-162.
6. Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах. Монография / Под ред. В.Н. Вагина и Д.А. Поспелова. – М.: 2-ое изд. исправл. и дополн. – Физматлит, 2008. – 714 с.
7. Teow-Hin Ngair, Gregory Provan. Focusing ATMS Problem-solving: a formal approach // Computer and Information Science Department University of Pennsylvania Philadelphia, 1992.

Comments are closed.