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

Full description

Saved in:
Bibliographic Details
Published in:Annals of mathematics and artificial intelligence Vol. 53; no. 1-4; pp. 251 - 287
Main Authors: Mellarkod, Veena S., Gelfond, Michael, Zhang, Yuanlin
Format: Journal Article
Language:English
Published: Dordrecht Springer Netherlands 01.08.2008
Springer Nature B.V
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography: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