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 条
  • [1] The Joy of Probabilistic Answer Set Programming
    Cozman, Fabio Gagliardi
    [J]. PROCEEDINGS OF THE ELEVENTH INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITIES: THEORIES AND APPLICATIONS (ISIPTA 2019), 2019, 103 : 91 - 101
  • [2] Complexity results for probabilistic answer set programming
    Maua, Denis Deratani
    Cozman, Fabio Gagliardi
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2020, 118 : 133 - 154
  • [3] A System for Probabilistic Inductive Answer Set Programming
    Nickles, Matthias
    Mileo, Alessandra
    [J]. SCALABLE UNCERTAINTY MANAGEMENT (SUM 2015), 2015, 9310 : 99 - 105
  • [4] Specifying Credal Sets With Probabilistic Answer Set Programming
    Maua, Denis Deratani
    Cozman, Fabio Gagliardi
    [J]. INTERNATIONAL SYMPOSIUM ON IMPRECISE PROBABILITY: THEORIES AND APPLICATIONS, VOL 215, 2023, 215 : 321 - 332
  • [5] Scalable Neural-Probabilistic Answer Set Programming
    Skryagin, Arseny
    Ochs, Daniel
    Dhami, Devendra Singh
    Kersting, Kristian
    [J]. Journal of Artificial Intelligence Research, 2023, 78 : 579 - 617
  • [6] Scalable Neural-Probabilistic Answer Set Programming
    Skryagin, Arseny
    Ochs, Daniel
    Dhami, Devendra Singh
    Kersting, Kristian
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2023, 78 : 579 - 617
  • [7] Lifted inference for statistical statements in probabilistic answer set programming
    Azzolini, Damiano
    Riguzzi, Fabrizio
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2023, 163
  • [8] Web Stream Reasoning Using Probabilistic Answer Set Programming
    Nickles, Matthias
    Mileo, Alessandra
    [J]. WEB REASONING AND RULE SYSTEMS, RR 2014, 2014, 8741 : 197 - 205
  • [9] Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities
    Azzolini, Damiano
    Bellodi, Elena
    Riguzzi, Fabrizio
    [J]. AIXIA 2022 - ADVANCES IN ARTIFICIAL INTELLIGENCE, 2023, 13796 : 33 - 46
  • [10] The joy of Probabilistic Answer Set Programming: Semantics, complexity, expressivity, inference
    Cozman, Fabio Gagliardi
    Maua, Denis Deratani
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2020, 125 : 218 - 239
12345