Dipartimento di Matematica e Informatica – University of Ferrara Via Saragat 1, Ferrara, Italy
Dipartimento di Ingegneria – University of Ferrara Via Saragat 1, Ferrara, Italy
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: [email protected].
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