The distribution semantics is an approach for integrating logic programming and probability theory that underlies many languages and has been successfully applied in many domains. When the program has function symbols, the semantics was defined for special cases: either the program has to be definite or the queries must have a finite number of finite explanations. In this paper we show that it is possible to define the semantics for all programs.
The Distribution Semantics is Well-Defined for All Normal Programs
RIGUZZI, Fabrizio
2015
Abstract
The distribution semantics is an approach for integrating logic programming and probability theory that underlies many languages and has been successfully applied in many domains. When the program has function symbols, the semantics was defined for special cases: either the program has to be definite or the queries must have a finite number of finite explanations. In this paper we show that it is possible to define the semantics for all programs.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
fs.pdf
accesso aperto
Descrizione: Articolo
Tipologia:
Post-print
Licenza:
PUBBLICO - Pubblico con Copyright
Dimensione
298.43 kB
Formato
Adobe PDF
|
298.43 kB | Adobe PDF | Visualizza/Apri |
I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
