Type 1 statements were introduced by Halpern in 1990 with the goal to represent statistical information about a domain of interest. These are of the form ''x of the elements share the same property''. The recently proposed language PASTA (Probabilistic Answer set programming for STAtistical probabilities) extends Probabilistic Logic Programs under the Distribution Semantics and allows the definition of this type of statements. To perform exact inference, PASTA programs are converted into probabilistic answer set programs under the Credal Semantics. However, this algorithm is infeasible for scenarios when more than a few random variables are involved. Here, we propose several algorithms to perform both conditional and unconditional approximate inference in PASTA programs and test them on different benchmarks. The results show that approximate algorithms scale to hundreds of variables and thus can manage real world domains.

Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities

Damiano Azzolini
Primo
;
Elena Bellodi;Fabrizio Riguzzi
Ultimo
2023

Abstract

Type 1 statements were introduced by Halpern in 1990 with the goal to represent statistical information about a domain of interest. These are of the form ''x of the elements share the same property''. The recently proposed language PASTA (Probabilistic Answer set programming for STAtistical probabilities) extends Probabilistic Logic Programs under the Distribution Semantics and allows the definition of this type of statements. To perform exact inference, PASTA programs are converted into probabilistic answer set programs under the Credal Semantics. However, this algorithm is infeasible for scenarios when more than a few random variables are involved. Here, we propose several algorithms to perform both conditional and unconditional approximate inference in PASTA programs and test them on different benchmarks. The results show that approximate algorithms scale to hundreds of variables and thus can manage real world domains.
2023
9783031271816
Probabilistic Answer Set Programming; Credal Semantics; Statistical Statements; Approximate Inference
File in questo prodotto:
File Dimensione Formato  
2022approx_pasta.pdf

accesso aperto

Tipologia: Pre-print
Licenza: PUBBLICO - Pubblico con Copyright
Dimensione 383.33 kB
Formato Adobe PDF
383.33 kB Adobe PDF Visualizza/Apri
978-3-031-27181-6_3_def.pdf

accesso aperto

Tipologia: Full text (versione editoriale)
Licenza: Creative commons
Dimensione 704.46 kB
Formato Adobe PDF
704.46 kB Adobe PDF Visualizza/Apri

I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11392/2501278
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 2
social impact