cplinton SWISH: Probabilistic Logical Inference with a Web Browser

cplinton 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. cplinton SWISH is also able to sample goals’ arguments and to graph the results. This paper reports on advances and new features of cplinton SWISH, including the capability of drawing the binary decision diagrams created during the inference processes.