Answer Set Programming

被引：0
|
作者：
Janhunen, Tomi [1 ]
机构：
[1] Aalto Univ, Dept Comp Sci, Espoo, Finland
来源：
KUNSTLICHE INTELLIGENZ | 2018年 / 32卷 / 2-3期
基金：
芬兰科学院;
关键词：
Declarative programming; Satisfiability checking; Constraint satisfaction; Theory reasoning;
D O I：
10.1007/s13218-018-0543-y
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Answer set programming (ASP) is a declarative programming paradigm based on an interpretation of logical rules as constraints. In this article, we relate answer set programming with other constraint-based solving paradigms: Boolean satisfiability checking, satisfiability modulo theories, mixed integer programming, and constraint programming. We illustrate the relationship of ASP with these alternative paradigms in terms of simple examples, and identify the main primitives and characteristics of the constraint-based languages under consideration.
引用
收藏
页码：125 / 131
页数：7
相关论文
共 50 条
  • [1] Answer Set Programming
    Marek, Victor W.
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (03) : 432 - 434
  • [2] Answer Set Programming
    Schaub, Torsten
    [J]. Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 2 - 2
  • [3] Answer Sets and the Language of Answer Set Programming
    Lifschitz, Vladimir
    [J]. AI MAGAZINE, 2016, 37 (03) : 7 - 11
  • [4] Hybrid Answer Set Programming
    Brik, Alex
    Remmel, Jeffrey
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (01) : 134 - 163
  • [5] Fuzzy answer set programming
    Van Nieuwenborgh, Davy
    De Cock, Martine
    Vermeir, Dirk
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 359 - 372
  • [6] The Answer Set Programming Competition
    Calimeri, Francesco
    Ianni, Giovambattista
    Krennwallner, Thomas
    Ricca, Francesco
    [J]. AI MAGAZINE, 2012, 33 (04) : 114 - 118
  • [7] Functional answer set programming
    Cabalar, Pedro
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 203 - 233
  • [8] Coordination in answer set programming
    Sakama, Chiaki
    Inoue, Katsumi
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 9 (02)
  • [9] Explanations for Answer Set Programming
    Alviano, Mario
    Trieu, Ly Ly
    Son, Tran Cao
    Balduccini, Marcello
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 385 : 27 - 40
  • [10] Answer set programming and agents
    Dyoub, Abeer
    Costantini, Stefania
    De Gasperis, Giovanni
    [J]. KNOWLEDGE ENGINEERING REVIEW, 2018, 33
12345