Logic programs with abstract constraint atoms: The role of computations

被引：26
|
作者：
Liu, Lengning [2 ]
Pontelli, Enrico [1 ]
Son, Tran Cao [1 ]
Truszczynski, Miroslaw [2 ]
机构：
[1] New Mexico State Univ, Dept Comp Sci, Las Cruces, NM 88003 USA
[2] Univ Kentucky, Dept Comp Sci, Lexington, KY 40506 USA
来源：
ARTIFICIAL INTELLIGENCE | 2010年 / 174卷 / 3-4期
基金：
美国国家科学基金会;
关键词：
Logic programs with abstract constraint atoms; Answer sets; Computations; KNOWLEDGE REPRESENTATION; ANSWER SETS; SEMANTICS;
D O I：
10.1016/j.artint.2009.11.016
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We provide a new perspective on the semantics of logic programs with arbitrary abstract constraints. To this end, we introduce several notions of computation. We use the results of computations to specify answer sets of programs with constraints. We present the rationale behind the classes of computations we consider, and discuss the relationships among them. We also discuss the relationships among the corresponding concepts of answer sets. One of those concepts has several compelling characterizations and properties, and we propose it as the correct generalization of the answer-set semantics to the case of programs with arbitrary constraints. We show that several other notions of an answer set proposed in the literature for programs with constraints can be obtained within our framework as the results of appropriately selected classes of computations. (C) 2009 Elsevier B.V. All rights reserved.
引用
收藏
页码：295 / 315
页数：21
相关论文
共 50 条
  • [1] Logic programs with abstract constraint atoms: The role of computations
    Liu, Lengning
    Pontelli, Enrico
    Son, Tran Cao
    Truszczynski, Miroslaw
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 286 - +
  • [2] Logic programs with abstract constraint atoms
    Marek, VW
    Truszczynski, M
    [J]. PROCEEDING OF THE NINETEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE SIXTEENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2004, : 86 - 91
  • [3] Logic programs with monotone abstract constraint atoms
    Marek, Victor W.
    Niemela, Ilkka
    Truszczynski, Miroslaw
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 : 167 - 199
  • [4] Strong Equivalence of Logic Programs with Abstract Constraint Atoms
    Liu, Guohua
    Goebel, Randy
    Janhunen, Tomi
    Niemela, Ilkka
    You, Jia-Huai
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2011, 6645 : 161 - 173
  • [5] Answer sets for logic programs with arbitrary abstract constraint atoms
    Son, Tran Cao
    Pontelli, Enrico
    Tu, Phan Huy
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 29 : 353 - 389
  • [6] Abstract verification and debugging of constraint logic programs
    Hermenegildo, M
    Puebla, G
    Bueno, F
    López-García, P
    [J]. RECENT ADVANCES IN CONSTRAINTS, 2003, 2627 : 1 - 14
  • [7] Generalized semantics and abstract interpretation for constraint logic programs
    Giacobazzi, R
    Debray, SK
    Levi, G
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1995, 25 (03): : 191 - 247
  • [8] A Default Approach to Semantics of Logic Programs with Constraint Atoms
    Shen, Yi-Dong
    You, Jia-Huai
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 277 - +
  • [9] Explaining Answer-Set Programs with Abstract Constraint Atoms
    Eiter, Thomas
    Geibinger, Tobias
    [J]. PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 3193 - 3202
  • [10] Precise goal-independent abstract interpretation of constraint logic programs
    Schachte, P
    [J]. THEORETICAL COMPUTER SCIENCE, 2003, 293 (03) : 557 - 577
12345