@inproceedings{9eda4bf7ecb74007a9769ca693471fd8,
title = "Diagnosis and debugging as contradiction removal in logic programs",
abstract = "We apply to normal logic programs with integrity rules a contradiction removal approach, and use it to uniformly treat diagnosis and debugging, and as a matter of fact envisage programs as artifacts and fault-finding as debugging. Our originality resides in applying to such programs the principle that if an assumption leads to contradiction then it should be revised: assumptions are not A literals with no rules for A; contradiction is violation of an integrity rule; and revision consists in assuming A instead. Since revised assumptions may introduce fresh contradictions the revision process must be iterated. To do so we{\textquoteright}ve devised an algorithm which is sound and complete. Our use of normal logic programs extends that of Horn programs made by Konolige, and so adds expressiveness to the causal part of his framework. Non-abnormalities are assumed rather than abduced, and are revised only if they result in contradiction; simple logic programming techniques achieve it.",
keywords = "Debugging, Diagnosis, Logic programming, Non-monotonic reasoning",
author = "Pereira, {Lu{\'i}s Moniz} and Dam{\'a}sio, {Carlos Viegas} and Alferes, {Jos{\'e} J{\'u}lio}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1993.; 6th Portuguese Conference on Artificial Intelligence, EPIA 1993 ; Conference date: 06-10-1993 Through 08-10-1993",
year = "1993",
doi = "10.1007/3-540-57287-2_47",
language = "English",
isbn = "978-3-540-57287-9",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "183--197",
editor = "Miguel Filgueiras and Luis Damas",
booktitle = "Progress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings",
}