- AutorIn
- Heinrich Herre
- Gerd Wagner
- Titel
- Solving Practical Reasoning Poblems with Extended Disjunctive Logic Programming
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa2-345053
- Erschienen in
- Report / Institut für Informatik
- Bandnummer
- 1996,8
- Erstveröffentlichung
- 1996
- Abstract (EN)
- We present a definition of stable generated models for extended generalized logic programs (EGLP) which a) subsumes the definition of the answer set semantics for extended normal logic programs [GL91]; and b) does not refer to negation-as-failure by allowing for arbitrary quantifier free formulas in the body and in the head of as rule (i.e. does not depend on the presence of any specific connective, nor any specific syntax of rules). We show how to solve classical ATP problems in the framework of extended disjunctive logic programming (EDLP) where neither Contraposition nor the Law of the Excluded Middle are admitted principles of inference. Besides being able to solve classical ATP problems in a monotonic reasoning mode, EDLP can as well treat commonsense reasoning problems by employing its intrinsic nonmonotonic inference capabilities based on stable generated models. EDLP thus proves itself as a general-purpose AI reasoning system.
- Freie Schlagwörter (EN)
- logic program
- Klassifikation (DDC)
- 004
- Publizierende Institution
- Universität Leipzig, Leipzig
- Version / Begutachtungsstatus
- publizierte Version / Verlagsversion
- URN Qucosa
- urn:nbn:de:bsz:15-qucosa2-345053
- Veröffentlichungsdatum Qucosa
- 12.07.2019
- Dokumenttyp
- Buch
- Sprache des Dokumentes
- Englisch