Hybrid Answer Set Programming

被引：1
|
作者：
Brik, Alex [1 ]
Remmel, Jeffrey [1 ]
机构：
[1] Univ Calif San Diego, Dept Math, La Jolla, CA 92093 USA
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2014年 / 165卷 / 01期
关键词：
Answer set programming; Markov Decision Processes; Stable models; Dynamic domains; Modeling and simulation; COMPLEXITY;
D O I：
10.1016/j.apal.2013.07.008
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
This paper discusses an extension of Answer Set Programming (ASP) called Hybrid Answer Set Programming (H-ASP) which allows the user to reason about dynamical systems that exhibit both discrete and continuous aspects. The unique feature of Hybrid ASP is that it allows the use of ASP type rules as controls for when to apply algorithms to advance the system to the next position. That is, if the prerequisites of a rule are satisfied and the constraints of the rule are not violated, then the algorithm associated with the rule is invoked. (C) 2013 Elsevier B.V. All rights reserved.
引用
收藏
页码：134 / 163
页数：30
相关论文
共 50 条
  • [1] Train Scheduling with Hybrid Answer Set Programming
    Abels, Dirk
    Jordi, Julian
    Ostrowski, Max
    Schaub, Torsten
    Toletti, Ambra
    Wanko, Philipp
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2021, 21 (03) : 317 - 347
  • [2] A Hybrid Approach to Optimization in Answer Set Programming
    Saikko, Paul
    Dodaro, Carmine
    Alviano, Mario
    Jarvisalo, Matti
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 32 - 41
  • [3] Hybrid conditional planning using answer set programming
    Yalciner, Ibrahim Faruk
    Nouman, Ahmed
    Patoglu, Volkan
    Erdem, Esra
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 1027 - 1047
  • [4] Hybrid Answer Set Programming for Design Space Exploration
    Haubelt, Christian
    Neubauer, Kai
    Schaub, Torsten
    Wanko, Philipp
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 1 - 3
  • [5] Answer Set Programming
    Marek, Victor W.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (03) : 432 - 434
  • [6] Answer Set Programming
    Schaub, Torsten
    Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 2 - 2
  • [7] Answer Set Programming
    Janhunen, Tomi
    KUNSTLICHE INTELLIGENZ, 2018, 32 (2-3): : 125 - 131
  • [8] Answer Sets and the Language of Answer Set Programming
    Lifschitz, Vladimir
    AI MAGAZINE, 2016, 37 (03) : 7 - 11
  • [9] Fuzzy answer set programming
    Van Nieuwenborgh, Davy
    De Cock, Martine
    Vermeir, Dirk
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 359 - 372
  • [10] Functional answer set programming
    Cabalar, Pedro
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2011, 11 : 203 - 233
12345