cplint on SWISH: Probabilistic Logical Inference with a Web Browser

Issue title: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence

Guest editors: Marco Maratea, Giovanni Adorni, Stefano Cagnoni and Marco Gori

Article type: Research Article

Authors: Alberti, Marco^a | Bellodi, Elena^b | Cota, Giuseppe^b | Riguzzi, Fabrizio^{a; *} | Zese, Riccardo^b

Affiliations: [a] Dipartimento di Matematica e Informatica – University of Ferrara Via Saragat 1, Ferrara, Italy | [b] Dipartimento di Ingegneria – University of Ferrara Via Saragat 1, Ferrara, Italy

Correspondence: [*] Corresponding author: Fabrizio Riguzzi, Dipartimento di Matematica e Informatica – University of Ferrara Via Saragat 1, I-44122, Ferrara, Italy. Tel.: +39 0532 97 4792; Fax: +39 0532 97 4836; E-mail: fabrizio.riguzzi@unife.it.

Abstract: cplint on SWISH is a web application that allows users to perform reasoning tasks on probabilistic logic programs. Both inference and learning systems can be performed: conditional probabilities with exact, rejection sampling and Metropolis-Hasting methods. Moreover, the system now allows hybrid programs, i.e., programs where some of the random variables are continuous. To perform inference on such programs likelihood weighting and particle filtering are used. cplint on SWISH is also able to sample goals’ arguments and to graph the results. This paper reports on advances and new features of cplint on SWISH, including the capability of drawing the binary decision diagrams created during the inference processes.

Keywords: probabilistic logic programming, probabilistic logical inference, hybrid program

DOI: 10.3233/IA-170106

Journal: Intelligenza Artificiale, vol. 11, no. 1, pp. 47-64, 2017