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

Default Logic
Logic programming
Prolog
Logic Programming
Computer science
Process Model
Artificial intelligence
Logic Programs
Efficient Implementation
Artificial Intelligence
Computer Science
Reasoning
Fixed point
Logic
Restriction
Model

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.
Antoniou, Grigoris ; Langetepe, Elmar. / A process model for default logic and its realization in logic programming. Progress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings. editor / Miguel Filgueiras ; Luis Damas. Springer Verlag, 1993. pp. 213-225 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{db1599379bf3450e951c86eb7b731daf,
title = "A process model for default logic and its realization in logic programming",
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.",
author = "Grigoris Antoniou and Elmar Langetepe",
year = "1993",
month = "10",
language = "English",
isbn = "9783540572879",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "213--225",
editor = "Miguel Filgueiras and Luis Damas",
booktitle = "Progress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings",

}

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 727 LNAI, Springer Verlag, pp. 213-225, 6th Portuguese Conference on Artificial Intelligence, Porto, Portugal, 6/10/93.

A process model for default logic and its realization in logic programming. / Antoniou, Grigoris; Langetepe, Elmar.

Progress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings. ed. / Miguel Filgueiras; Luis Damas. Springer Verlag, 1993. p. 213-225 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 727 LNAI).

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

TY - GEN

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

AU - Antoniou, Grigoris

AU - Langetepe, Elmar

PY - 1993/10

Y1 - 1993/10

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85028850549&partnerID=8YFLogxK

UR - https://www.springer.com/gb/book/9783540572879

M3 - Conference contribution

SN - 9783540572879

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 213

EP - 225

BT - Progress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings

A2 - Filgueiras, Miguel

A2 - Damas, Luis

PB - Springer Verlag

ER -

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