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 language | English |
|---|---|
| Title of host publication | Progress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings |
| Editors | Miguel Filgueiras, Luis Damas |
| Publisher | Springer Verlag |
| Pages | 213-225 |
| Number of pages | 13 |
| ISBN (Print) | 9783540572879 |
| Publication status | Published - Oct 1993 |
| Externally published | Yes |
| Event | 6th Portuguese Conference on Artificial Intelligence - Porto, Portugal Duration: 6 Oct 1993 → 8 Oct 1993 Conference number: 6 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 727 LNAI |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 6th Portuguese Conference on Artificial Intelligence |
|---|---|
| Abbreviated title | EPIA 1993 |
| Country/Territory | Portugal |
| City | Porto |
| Period | 6/10/93 → 8/10/93 |