Stable models and difference logic

被引:30
|
作者
Niemela, Ilkka [1 ]
机构
[1] Aalto Univ, Dept Informat & Comp Sci, Espoo 02015, Finland
基金
芬兰科学院;
关键词
Logic programs; Stable model; Semantics; Difference logic;
D O I
10.1007/s10472-009-9118-9
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework. Characterizations of stable models in terms of level rankings are developed building on simple linear integer constraints allowed in difference logic. Based on the characterizations translations are devised which map normal programs to difference logic formulas capturing stable models of a program as satisfying valuations of the resulting formula. The translations make it possible to use a solver for difference logic to compute stable models of logic programs.
引用
收藏
页码:313 / 329
页数:17
相关论文
共 50 条
  • [1] Stable models and difference logic
    Ilkka Niemelä
    Annals of Mathematics and Artificial Intelligence, 2008, 53 : 313 - 329
  • [2] Computing Stable Models via Reductions to Difference Logic
    Janhunen, Tomi
    Niemela, Ilkka
    Sevalnev, Mark
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 142 - 154
  • [3] A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments
    Gebser, Martin
    Giunchiglia, Enrico
    Maratea, Marco
    Mochi, Marco
    ARTIFICIAL INTELLIGENCE, 2025, 340
  • [4] THE STABLE MODELS OF A PREDICATE LOGIC PROGRAM
    MAREK, VW
    NERODE, A
    REMMEL, JB
    JOURNAL OF LOGIC PROGRAMMING, 1994, 21 (03): : 129 - 153
  • [5] Revised Stable Models - A semantics for logic programs
    Pereira, LM
    Pinto, AM
    PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3808 : 29 - 42
  • [6] Partial stable models for logic programs with aggregates
    Pelov, N
    Denecker, M
    Bruynooghe, M
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 207 - 219
  • [7] Locally determined logic programs and recursive stable models
    Cenzer, D
    Remmel, JB
    Vanderbilt, A
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2004, 40 (3-4) : 225 - 262
  • [8] Introducing Temporal Stable Models for Linear Dynamic Logic
    Bosser, Anne-Gwenn
    Cabalar, Pedro
    Dieguez, Martin
    Schaub, Torsten
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 12 - 21
  • [9] An Alternative Definition of Stable Models Via Lukasiewicz Logic
    Osorio, Mauricio
    Figallo-Orellano, Aldo
    Huerta, Diego
    COMPUTACION Y SISTEMAS, 2023, 27 (01): : 303 - 313
  • [10] Locally Determined Logic Programs and Recursive Stable Models
    Douglas Cenzer
    Jeffrey B. Remmel
    Amy Vanderbilt
    Annals of Mathematics and Artificial Intelligence, 2004, 40 : 225 - 262