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 条
  • [31] Definitions in answer set programming
    Erdogan, ST
    Lifschitz, V
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 483 - 484
  • [32] Cooperating answer set programming
    Van Nieuwenborgh, Davy
    Heymans, Stijn
    Vermeir, Dirk
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 226 - 241
  • [33] Automata and Answer Set Programming
    Marek, Victor
    Remmel, Jeffrey B.
    [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 323 - +
  • [34] Applications of Answer Set Programming
    Erdem, Esra
    Gelfond, Michael
    Leone, Nicola
    [J]. AI MAGAZINE, 2016, 37 (03) : 53 - 68
  • [35] Reactive Answer Set Programming
    Gebser, Martin
    Grote, Torsten
    Kaminski, Roland
    Schaub, Torsten
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2011, 6645 : 54 - 66
  • [36] Matchmaking with Answer Set Programming
    Gebser, Martin
    Glase, Thomas
    Sabuncu, Orkunt
    Schaub, Torsten
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 342 - 347
  • [37] Achievements in answer set programming
    Lifschitz, Vladimir
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 961 - 973
  • [38] Sketched Answer Set Programming
    Paramonov, Sergey
    Bessiere, Christian
    Dries, Anton
    De Raedt, Luc
    [J]. 2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2018, : 694 - 701
  • [39] Aggregates in Answer Set Programming
    Alviano M.
    Faber W.
    [J]. KI - Künstliche Intelligenz, 2018, 32 (2-3) : 119 - 124
  • [40] Preferences in answer set programming
    Brewka, Gerhard
    [J]. CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, 2006, 4177 : 1 - 10
12345