Constraint Answer Set Solving

被引：55

作者：

Gebser, Martin ^{[1
]}

Ostrowski, Max ^{[1
]}

Schaub, Torsten ^{[1
]}

机构：

[1] Univ Potsdam, Inst Informat, D-14482 Potsdam, Germany

来源：

LOGIC PROGRAMMING | 2009年 / 5649卷

关键词：

KNOWLEDGE;

D O I：

10.1007/978-3-642-02846-5_22

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithmic framework for conflict-driven ASP solving that exploits CP solving capacities. A significant technical issue concerns the combination of conflict information from different solver types. We have implemented our approach, combining ASP solver clingo with the generic CP solver gecode, and we empirically investigate its computational impact.

引用

页码：235 / 249

页数：15

共 20 条

[1]

[Anonymous], 2009, Handbook of Satisfiability

[2] Answer set based design of knowledge systems [J].

Balduccini, Marcello ;

Gelfond, Michael ;

Nogueira, Monica .

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 47 (1-2) :183-219

[3]

BARAL C, 2004, P 12 INT C INT SYST, P15

[4]

BARAL C., 2003, KNOWLEDGE REPRESENTA

[5] Towards an integration of answer set and constraint solving [J].

Baselice, S ;

Bonatti, PA ;

Gelfond, M .

LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 :52-66

[6] External sources of knowledge and value invention in logic programming [J].

Calimeri, Francesco ;

Cozza, Susanna ;

Ianni, Giovambattista .

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 50 (3-4) :333-361

[7]

Dechter Rina, 2003, Constraint Processing

[8]

DWORSCHAK S, 2008, TECHNICAL REPORT SER, P94

[9]

FAGES F, 1994, J METHODS LOGIC COMP, V1, P51

[10]

Gebser M, 2007, 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, P386

← 1 2 →