Modelling diagnosis systems with the logic programming

Iara de Almeida Móra, JosÉ Júlio Alferes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationProgress in Artificial Intelligence - 7th Portuguese Conference on Artificial Intelligence, EPIA 1995, Proceedings
PublisherSpringer-Verlag
Pages409-418
Number of pages10
Volume990
ISBN (Print)9783540604280
DOIs
Publication statusPublished - 1995
Event7th Portuguese Conference on Artificial Intelligence, EPIA 1995 - Funchal, Portugal
Duration: 3 Oct 19956 Oct 1995

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume990
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference7th Portuguese Conference on Artificial Intelligence, EPIA 1995
CountryPortugal
CityFunchal
Period3/10/956/10/95

    Fingerprint

Keywords

  • Reconfigurable hardware
  • Semantics
  • Artificial intelligence
  • Computational linguistics
  • Distributed computer systems
  • Knowledge representation
  • Logic programming
  • Network security
  • Program diagnostics

Cite this

de Almeida Móra, I., & Alferes, J. J. (1995). Modelling diagnosis systems with the logic programming. In Progress in Artificial Intelligence - 7th Portuguese Conference on Artificial Intelligence, EPIA 1995, Proceedings (Vol. 990, pp. 409-418). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 990). Springer-Verlag. https://doi.org/10.1007/3-540-60428-6