Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs

被引：2
|
作者：
Azzolini, Damiano [1 ]
Riguzzi, Fabrizio [2 ]
机构：
[1] Univ Ferrara, Dipartimento Ingn, Ferrara, Italy
[2] Univ Ferrara, Dipartimento Matemat & Informat, Ferrara, Italy
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2021年 / 345期
关键词：
SEMANTICS; INFERENCE;
D O I：
10.4204/EPTCS.345.12
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Hybrid probabilistic logic programs can represent several scenarios thanks to the expressivity of Logic Programming extended with facts representing discrete and continuous distributions. The semantics for this type of programs is crucial since it ensures that a probability can be assigned to every query. Here, following one recent semantics proposal, we illustrate a concrete syntax, and we analyse the syntactic requirements needed to preserve the well-definedness.
引用
收藏
页码：14 / 26
页数：13
相关论文
共 50 条
  • [1] WELL-DEFINED FUZZY SENTENTIAL LOGIC
    TURUNEN, E
    MATHEMATICAL LOGIC QUARTERLY, 1995, 41 (02) : 236 - 248
  • [2] Hybrid probabilistic logic programs as residuated logic programs
    Damásio C.V.
    Pereira L.M.
    Studia Logica, 2002, 72 (1) : 113 - 138
  • [3] Hybrid Probabilistic logic programs as residuated logic programs
    Damásio, CV
    Pereira, LM
    LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 57 - 72
  • [4] Probabilistic planning in hybrid probabilistic logic programs
    Saad, Emad
    SCALABLE UNCERTAINTY MANAGEMENT, PROCEEDINGS, 2007, 4772 : 1 - 15
  • [5] Incomplete knowledge in hybrid probabilistic logic programs
    Saad, Emad
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4160 : 399 - 412
  • [6] A new approach to hybrid probabilistic logic programs
    Emad Saad
    Enrico Pontelli
    Annals of Mathematics and Artificial Intelligence, 2007, 50 : 417 - 418
  • [7] A new approach to hybrid probabilistic logic programs
    Saad, Emad
    Pontelli, Enrico
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 50 (3-4) : 417 - 418
  • [8] A new approach to hybrid probabilistic logic programs
    Emad Saad
    Enrico Pontelli
    Annals of Mathematics and Artificial Intelligence, 2006, 48 : 187 - 243
  • [9] A new approach to hybrid probabilistic logic programs
    Saad, Emad
    Pontelli, Enrico
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 48 (3-4) : 187 - 243
  • [10] Energy transfer by demand in well-defined hybrid materials
    Shustova, Natalia
    Williams, Derek
    Dolgopolova, Ekaterina
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2015, 249
12345