COMPUTING EXTENSIONS OF DEFAULT LOGIC - PRELIMINARY-REPORT

Autor(en): ANTONIOU, G
LANGETEPE, E
SPERSCHNEIDER, V
Herausgeber: Voronkov, A
Stichwörter: Automation & Control Systems; Computer Science; Computer Science, Artificial Intelligence; Computer Science, Software Engineering
Erscheinungsdatum: 1993
Herausgeber: SPRINGER-VERLAG BERLIN
Journal: LOGIC PROGRAMMING AND AUTOMATED REASONING
Lecture Notes in Artificial Intelligence
Volumen: 698
Startseite: 19
Seitenende: 27
Zusammenfassung: 
We present an operational process model for default logic that allows calculation of the extensions of a theory, and give a prototypical Prolog implementation. Then we present an improved approach for realizing the process model in logic programming making direct use of Prolog's deductive power. In particular, we give a translation of finite default theories T into logic programs P(T) such that P(T) computes exactly the extensions of T.
ISBN: 9783540569442
ISSN: 03029743

Show full item record

Google ScholarTM

Check

Altmetric