LoCo-A Logic for Configuration Problems

被引：2

作者：

Aschinger, Markus ^{[1
]}

Drescher, Conrad ^{[1
]}

Gottlob, Georg ^{[1
]}

Vollmer, Heribert ^{[2
]}

机构：

[1] Univ Oxford, Oxford OX1 2JD, England

[2] Leibniz Univ Hannover, Hannover, Germany

来源：

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 2014年 / 15卷 / 03期

基金：

英国工程与自然科学研究理事会;

关键词：

Languages; Algorithms; Theory; Technical product configuration; model-based reasoning; CONSTRAINTS; COMPLEXITY;

D O I：

10.1145/2629454

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this work, we present LoCo, a fragment of classical first-order logic carefully tailored for expressing technical product configuration problems. The core feature of LoCo is that the number of components used in configurations does not have to be finitely bounded explicitly, but instead is bounded implicitly through the axioms. Computing configurations is equivalent to the task of model finding. We present the language, related algorithms, and complexity results as well as a prototypical implementation via answer set programming.

引用

页数：25

共 45 条

[1] Consistency restoration and explanations in dynamic CSPs-Application to configuration [J].

Amilhastre, J ;

Fargier, H ;

Marquis, P .

ARTIFICIAL INTELLIGENCE, 2002, 135 (1-2) :199-234

[2] Interactive Cost Configuration Over Decision Diagrams [J].

Andersen, Henrik Reif ;

Hadzic, Tarik ;

Pisinger, David .

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2010, 37 :99-139

[3]

[Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness

[4]

[Anonymous], 1999, OPL OPTIMIZATION PRO

[5] Introducing LoCo, a Logic for Configuration Problems [J].

Aschinger, Markus ;

Drescher, Conrad ;

Gottlob, Georg .

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (65) :36-45

[6] LoCo - A Logic for Configuration Problems [J].

Aschinger, Markus ;

Drescher, Conrad ;

Vollmer, Heribert .

20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 :73-+

[7]

Aschinger M, 2011, LECT NOTES COMPUT SC, V6697, P4, DOI 10.1007/978-3-642-21311-3_4

[8]

ASP Competition, 2011, 3 INT ANSW SET PROGR

[9]

Bettex M., 2009, P IJCAI 09 WORKSH CO, P53

[10]

Buchheit M., 1995, TM9501 DFKI

← 1 2 3 4 5 →