Abduction in Annotated Logic Programming

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

Abstract

The author investigates techniques to make the logic programming paradigm more expressive for knowledge representation, while simultaneously retaining the computational advantages of efficiency and simplicity. He extends the annotated language of K. Thirunarayan and K. Kifer (1989) in various directions to obtain an enriched representation language. In particular, rule bodies are permitted to be a conjunction of literals, and the rules to be recursive. A class of annotated logic programs called the stratified programs is identified which can be given a unique supported minimal Herbrand model as their meaning. Abductive reasoning is integrated into this annotated logic framework. The notion of an explanation is formalized, and when an explanation can be regarded as acceptable is specified.

Original languageAmerican English
Title of host publication1992 IEEE International Conference on Systems, Man, and Cybernetics
Subtitle of host publicationEmergent Innovations in Information Transfer Processing and Decision Making, SMC 1992
PublisherIEEE
Pages682-687
Number of pages6
ISBN (Print)0-7803-0720-8
DOIs
StatePublished - Aug 6 2002
EventIEEE International Conference on Systems, Man, and Cybernetics, SMC 1992 - Chicago, United States
Duration: Oct 18 1992Oct 21 1992

Conference

ConferenceIEEE International Conference on Systems, Man, and Cybernetics, SMC 1992
Country/TerritoryUnited States
CityChicago
Period10/18/9210/21/92

ASJC Scopus Subject Areas

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Human-Computer Interaction

Keywords

  • Circuit Faults
  • Computational Efficiency
  • Computer Science
  • Diseases
  • Fault Diagnosis
  • Logic Programming
  • Medical Diagnosis
  • Multivalued Logic
  • Power Engineering and Energy

Disciplines

  • Bioinformatics
  • Communication Technology and New Media
  • Databases and Information Systems
  • OS and Networks
  • Science and Technology Studies

Cite this