Probabilistic Answer Set Programming

被引：4
|
作者：
de Morais, Eduardo Menezes [1 ]
Finger, Marcelo [1 ]
机构：
[1] Univ Sao Paulo, Dept Comp Sci, Sao Paulo, Brazil
来源：
2013 BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS) | 2013年
关键词：
logic programming; probabilistic logic; probabilistic satisfiability (PSAT); answer set programming (ASP); LOGIC; SEMANTICS;
D O I：
10.1109/BRACIS.2013.33
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper introduces a technique called Probabilistic Answer Set Programming (PASP), that allows modeling complex theories and checking its satisfiability with respect to a set of probabilistic data. We propose an algorithm for PASP processing based on a Turing reduction method to ASP.
引用
收藏
页码：150 / 156
页数：7
相关论文
共 50 条
  • [41] Epistemic Answer Set Programming
    Su, Ezgi Iraz
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019, 2019, 11468 : 608 - 626
  • [42] Definitions in Answer Set Programming
    Erdogan, ST
    Lifschitz, V
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 114 - 126
  • [43] Autoepistemic answer set programming
    Cabalar, Pedro
    Fandinno, Jorge
    del Cerro, Luis Farinas
    [J]. ARTIFICIAL INTELLIGENCE, 2020, 289
  • [44] Answer Set Programming in Linguistics
    Schueller, Peter
    [J]. KUNSTLICHE INTELLIGENZ, 2018, 32 (2-3): : 151 - 155
  • [45] Reactive Answer Set Programming
    Broda, Krysia
    Sadri, Fariba
    Butler, Stephen
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (03) : 367 - 418
  • [46] Equivalence in answer set programming
    Osorio, M
    Navarro, JA
    Arrazola, J
    [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2002, 2372 : 57 - 75
  • [47] The Answer Set Programming Paradigm
    Janhunen, Tomi
    Niemela, Ilkka
    [J]. AI MAGAZINE, 2016, 37 (03) : 13 - +
  • [48] onlineSPARC: A Programming Environment for Answer Set Programming
    Marcopoulos, Elias
    Zhang, Yuanlin
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2019, 19 (02) : 262 - 289
  • [49] Computing preferred answer sets in answer set programming
    Wakaki, T
    Inoue, K
    Sakama, C
    Nitta, K
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2003, 2850 : 259 - 273
  • [50] Possibilistic Inferences in Answer Set Programming
    Jin, Yifan
    Wang, Kewen
    Wang, Zhe
    [J]. AI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2015, 9457 : 263 - 275
12345