Probabilistic reasoning

[XVilka]

Last years the concept of probabilistic programming is developing with a huge pace and a big future potential. Would be nice to have some ground and supporting libraries in SWI Prolog as well.

See the ProbLog as an example https://dtai.cs.kuleuven.be/problog/ and their tutorial for practical applications https://dtai.cs.kuleuven.be/problog/tutorial.html

[JanWielemaker]

True. I mostly consider this libraries though, where SWI-Prolog should provide additional primitives to improve speed/integration/etc. A good collection is already available here

[maelh]

I second this feature request. Especially ProbLog has a nice readable syntax. Having it integrated in SWI-Prolog would be great, especially for debuggability.

[friguzzi]

You can use ProbLog syntax in cplint http://cplint.eu It's a pack http://www.swi-prolog.org/pack/list?p=cplint See http://friguzzi.github.io/cplint/doc/help-cplint.html#problog-syntax

[maelh]

Thanks for the suggestion. Would it be possible to support a syntax similar to ProbLog (which I find more intuitive)?

Are there differences in power of expressiveness or how solutions are found?

[friguzzi]

You can use ProbLog syntax, see http://cplint.eu/p/path_problog.pl There is no difference in expressiveness. There are differences in how solutions are found, see the about section of the site for links to papers explaining the differences

Il giorno dom 14 apr 2019 alle ore 14:16 maelh [email protected] ha scritto:

Thanks for the suggestion. Would it be possible to support a syntax similar to ProbLog (which I find more intuitive)?

Are there differences in power of expressiveness or how solutions are found?

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/SWI-Prolog/roadmap/issues/53#issuecomment-482961771, or mute the thread https://github.com/notifications/unsubscribe-auth/AJMRBNJzLCFESJJeMhaBRoi1bAUUDi1xks5vgxwXgaJpZM4R1FAj .