Modelling diagnosis systems with the logic programming

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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
Number of pages10
ISBN (Print)9783540604280
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)
ISSN (Print)03029743
ISSN (Electronic)16113349


Conference7th Portuguese Conference on Artificial Intelligence, EPIA 1995


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


Dive into the research topics of 'Modelling diagnosis systems with the logic programming'. Together they form a unique fingerprint.

Cite this