Abstract
The evolution of logic programming semantics has included the introduction of an explicit form of negation, beside the older implicit (or default) negation typical of logic programming. For the richer language, called extended logic programming, much theoretical work has been done. Mainly resulting from the theoretical work, the language has been shown adequate for a spate of knowledge representation and reasoning forms. However, the theoretical work has not been accompanied by the usage of the language for building real-life implementations. In this paper we report on the experience of using extended logic programming to model the diagnosis system. By using extended logic programming, we can rely on a well established language, with a clear declarative semantics, and for which implementations exist. Moreover, some issue of the diagnosis process are automatically dealt by the contradiction removal methods developed for extended logic programming. Due to the greater expressive power of extended logic programming, the process of implementing diagnosis of distributed systems has been quite simplified. The form of the resulting program is rather simple and has a very clear and declarative reading. Thus, we deem that extended logic programming can be used in practice to solve some “real-life” problems.
Thanks to the CNPq — Brazil for their support, and to the “Fault Tolerance Group” of UFRGS.
Partially supported by JNICT-Portugal and ESPRIT project Compulog 2 (no. 6810). Thanks to Luís Moniz Pereira for his valuable comments.
Preview
Unable to display preview. Download preview PDF.
References
J. J. Alferes, C. V. Damásio, and L. M. Pereira. A. logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, Special Issue on Implementation of NonMonotonic Reasoning(14):93–147, 1995.
C. Baral and M. Gelfond. Logic programming and knowledge representation. J. Logic Programming, 19/20:73–148,1994.
W. Chen and D. S. Warren. Query evaluation under the well founded semantics. In PODS'93, 1993.
C. V. Damásio, W. Nejdl, and L. M. Pereira. REVISE: An extended logic programming system for revising knowledge bases. In KR'94. Morgan Kaufmann, 1994.
I. de Almeida Móra. Diagnóstico de Falhas em Sistemas Distribuídos. Master's thesis, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brasil, March 1994. (In Portuguese).
A. V. Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620–650, 1991.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th Int. Conf. on LP, pages 579–597. MIT Press, 1990.
L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann, editor, European Conf. on AI, pages 102–106. John Wiley & Sons, 1992.
L. M. Pereira, J. J. Alferes, and J. N. Aparício. Contradiction Removal within Well Founded Semantics. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 105–119. MIT Press, 1991.
L. M. Pereira, C. Damásio, and J. J. Alferes. Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 316–330. MIT Press, 1993.
R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57–96, 1987.
G. Wagner. Logic programming with strong negation and innexact predicates. J. of Logic and Computation, 1(6):835–861, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Almeida Móra, I., Alferes, J.J. (1995). Modelling diagnosis systems with the logic programming. In: Pinto-Ferreira, C., Mamede, N.J. (eds) Progress in Artificial Intelligence. EPIA 1995. Lecture Notes in Computer Science, vol 990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60428-6_36
Download citation
DOI: https://doi.org/10.1007/3-540-60428-6_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60428-0
Online ISBN: 978-3-540-45595-0
eBook Packages: Springer Book Archive