Introducing Real Variables and Integer Objective Functions to Answer Set Programming

被引：1
|
作者：
Liu, Guohua [1 ]
Janhunen, Tomi [1 ]
Niemela, Ilkka [1 ]
机构：
[1] Aalto Univ, Dept Informat & Comp Sci, HIIT, FI-00076 Aalto, Finland
来源：
DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT | 2014年 / 8439卷
关键词：
STABLE MODEL SEMANTICS; CONSTRAINT;
D O I：
10.1007/978-3-319-08909-6_8
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Answer set programming languages have been extended to support linear constraints and objective functions. However, the variables allowed in the constraints and functions are restricted to integer and Boolean domains, respectively. In this paper, we generalize the domain of linear constraints to real numbers and that of objective functions to integers. Since these extensions are based on a translation from logic programs to mixed integer programs, we compare the translation-based answer set programming approach with the native mixed integer programming approach using a number of benchmark problems.
引用
收藏
页码：118 / 135
页数：18
相关论文
共 50 条
  • [31] Answer set programming unleashed!
    Schaub, Torsten
    Woltran, Stefan
    KUNSTLICHE INTELLIGENZ, 2018, 32 (2-3): : 105 - 108
  • [32] Cooperating answer set programming
    Van Nieuwenborgh, Davy
    Heymans, Stijn
    Vermeir, Dirk
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 226 - 241
  • [33] Automata and Answer Set Programming
    Marek, Victor
    Remmel, Jeffrey B.
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 323 - +
  • [34] Answer Set Programming: A Primer
    Eiter, Thomas
    Ianni, Giovambattista
    Krennwallner, Thomas
    REASONING WEB: SEMANTIC TECHNOLOGIES FOR INFORMATION SYSTEMS, 2009, 5689 : 40 - +
  • [35] Sketched Answer Set Programming
    Paramonov, Sergey
    Bessiere, Christian
    Dries, Anton
    De Raedt, Luc
    2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2018, : 694 - 701
  • [36] Aggregates in Answer Set Programming
    Alviano M.
    Faber W.
    KI - Künstliche Intelligenz, 2018, 32 (2-3) : 119 - 124
  • [37] Preferences in answer set programming
    Brewka, Gerhard
    CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, 2006, 4177 : 1 - 10
  • [38] Epistemic Answer Set Programming
    Su, Ezgi Iraz
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019, 2019, 11468 : 608 - 626
  • [39] Definitions in Answer Set Programming
    Erdogan, ST
    Lifschitz, V
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 114 - 126
  • [40] Answer Set Programming in Linguistics
    Schueller, Peter
    KUNSTLICHE INTELLIGENZ, 2018, 32 (2-3): : 151 - 155
12345