Package "sphere"

Title:	sPHeRE (“Probabilistic Hybrid REasoner”) is an algorithm for reasoning on Probabilistic Hybrid Knowledge Bases
Rating:	Not rated. Create the first rating!
Latest version:	1.0.0
SHA1 sum:	d3812930c1a7b03c846d21ae29b2c661147843f8
Author:	Riccardo Zese <riccardo.zese@unife.it>
Download URL:	https://bitbucket.org/machinelearningunife/sphere/src/master/
Requires:	bddem

Reviews

No reviews. Create the first review!.

Details by download location

Version	SHA1	#Downloads	URL
1.0.0	d3812930c1a7b03c846d21ae29b2c661147843f8	3	https://bitbucket.org/machinelearningunife/sphere/src/master/

sPHeRE

sPHeRE (“Probabilistic Hybrid REasoner”) is an algorithm for reasoning on Probabilistic Hybrid Knowledge Bases

This is implemented for SWI-Prolog (http://www.swi-prolog.org/).

Installation

sPHeRE need bddem to be installed. cplint can be installed with pack_install/1.

$ swipl
?- pack_install(bddem).

The pack uses a foreign library and contains the library binaries for 32 and 64 bits Linux and 32 and 64 bits Windows. If you want to recompile the foreign library you can use

?- pack_rebuild(bddem).

On 32 and 64 bits Linux this should work out of the box. On 64 bits Windows the library must be rebuilt by hand. The procedure for building it using MSYS2 can be found in the bddem's README

Example of use with Boolean certain query

$ cd examples
$ swipl Example_1.pl
?- query(p(b)).
true.

Example of use with Boolean probabilistic query

$ cd examples
$ swipl Example_1.pl
?- prob(p(b),P).
P = 0.342

Contents of pack "sphere"

Pack contains 26 files holding a total of 403K bytes.