Optimizing Probabilities in Probabilistic Logic Programs

被引：3
|
作者：
Azzolini, Damiano [1 ]
Riguzzi, Fabrizio [2 ]
机构：
[1] Univ Ferrara, Dipartimento Ingn, Via Saragat 1, I-44122 Ferrara, Italy
[2] Univ Ferrara, Dipartimento Matemat & Informat, Via Saragat 1, I-44122 Ferrara, Italy
来源：
THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2021年 / 21卷 / 05期
关键词：
probabilistic logic programming; optimization; constraints;
D O I：
10.1017/S1471068421000260
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Probabilistic logic programming is an effective formalism for encoding problems characterized by uncertainty. Some of these problems may require the optimization of probability values subject to constraints among probability distributions of random variables. Here, we introduce a new class of probabilistic logic programs, namely probabilistic optimizable logic programs, and we provide an effective algorithm to find the best assignment to probabilities of random variables, such that a set of constraints is satisfied and an objective function is optimized.
引用
收藏
页码：543 / 556
页数：14
相关论文
共 50 条
  • [31] A new approach to hybrid probabilistic logic programs
    Saad, Emad
    Pontelli, Enrico
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 48 (3-4) : 187 - 243
  • [32] Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty
    Shiri, Nematollaah
    Zheng, Zhi Hong
    ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 50 - 60
  • [33] Probabilistic Quantifier Logic for General Intelligence: An Indefinite Probabilities Approach
    Ikle, Matthew
    Goertzel, Ben
    ARTIFICIAL GENERAL INTELLIGENCE 2008, 2008, 171 : 188 - +
  • [34] A first-order probabilistic logic with approximate conditional probabilities
    Ikodinovic, Nebojsa
    Raskovic, Miodrag
    Markovic, Zoran
    Ognjanovic, Zoran
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (04) : 539 - 564
  • [35] Quantitative Separation Logic A Logic for Reasoning about Probabilistic Pointer Programs
    Batz, Kevin
    Kaminski, Benjamin Lucien
    Katoen, Joost-Pieter
    Matheja, Christoph
    Noll, Thomas
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [36] Parallel Abductive Query Answering in Probabilistic Logic Programs
    Simari, Gerardo I.
    Dickerson, John P.
    Sliva, Amy
    Subrahmanian, V. S.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (02)
  • [37] A semantics for Hybrid Probabilistic Logic programs with function symbols
    Azzolini, Damiano
    Riguzzi, Fabrizio
    Lamma, Evelina
    ARTIFICIAL INTELLIGENCE, 2021, 294
  • [38] Inference and Learning with Model Uncertainty in Probabilistic Logic Programs
    Verreet, Victor
    Derkinderen, Vincent
    Dos Martires, Pedro Zuidberg
    De Raedt, Luc
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, 364
  • [39] Inference and Learning with Model Uncertainty in Probabilistic Logic Programs
    Verreet, Victor
    Derkinderen, Vincent
    Dos Martires, Pedro Zuidberg
    De Raedt, Luc
    THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, : 10060 - 10069
  • [40] Tp-Compilation for inference in probabilistic logic programs
    Vlasselaer, Jonas
    Van den Broeck, Guy
    Kimmig, Angelika
    Meert, Wannes
    De Raedt, Luc
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2016, 78 : 15 - 32
12345