A process model for default logic and its realization in logic programming

Grigoris Antoniou, Elmar Langetepe

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

Abstract

One of the main themes of making logics applicable in computer science and artificial intelligence is to provide mechanisms for dealing with them operationally. In this paper we introduce processes as a procedural interpretation of the usual fixed-point definition of extensions. Processes allow to compute the extensions of simple default theories by hand. Then we give a prototypical Prolog implementation of our model in Prolog. We do not claim that the program is very efficient, but it is able to compute the extensions of the usual examples found in literature. Finally, we give a more efficient implementation by translating default theories (with some restrictions) to logic programs and making direct use of Prolog’s reasoning capacities.

Original languageEnglish
Title of host publicationProgress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings
EditorsMiguel Filgueiras, Luis Damas
PublisherSpringer Verlag
Pages213-225
Number of pages13
ISBN (Print)9783540572879
Publication statusPublished - Oct 1993
Externally publishedYes
Event6th Portuguese Conference on Artificial Intelligence - Porto, Portugal
Duration: 6 Oct 19938 Oct 1993
Conference number: 6

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume727 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th Portuguese Conference on Artificial Intelligence
Abbreviated titleEPIA 1993
CountryPortugal
CityPorto
Period6/10/938/10/93

Fingerprint Dive into the research topics of 'A process model for default logic and its realization in logic programming'. Together they form a unique fingerprint.

  • Cite this

    Antoniou, G., & Langetepe, E. (1993). A process model for default logic and its realization in logic programming. In M. Filgueiras, & L. Damas (Eds.), Progress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings (pp. 213-225). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 727 LNAI). Springer Verlag.