Integrating answer set programming and constraint logic programming

We introduce a knowledge representation language extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, , for computing answer sets of programs. The algorithm does not require full grounding of a program and combines “classical” ASP solving...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Annals of mathematics and artificial intelligence Jg. 53; H. 1-4; S. 251 - 287
Hauptverfasser: Mellarkod, Veena S., Gelfond, Michael, Zhang, Yuanlin
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Dordrecht Springer Netherlands 01.08.2008
Springer Nature B.V
Schlagworte:
Abduction
Algorithms
Artificial Intelligence
Chromium
Complex Systems
Computer Science
Declarative programming
Expert systems
Knowledge representation
Logic programming
Mathematical analysis
Mathematical programming
Mathematics
Programming
Prolog
Semantics
Solvers
68T20
68T27
03B70
Answer set programming
68T35
Constraint logic programming
Knowledge representation and reasoning
68T30
ISSN:1012-2443, 1573-7470
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We introduce a knowledge representation language extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, , for computing answer sets of programs. The algorithm does not require full grounding of a program and combines “classical” ASP solving methods with constraint logic programming techniques and CR-Prolog based abduction. The based approach often allows to solve problems which are impossible to solve by more traditional ASP solving techniques. We believe that further investigation of the language and development of more efficient and reliable solvers for its programs can help to substantially expand the domain of applicability of the answer set programming paradigm.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:1012-2443
1573-7470
DOI:10.1007/s10472-009-9116-y