search

LPCIC / elpi

Embeddable Lambda Prolog Interpreter
GNU Lesser General Public License v2.1
282 stars 34 forks source link

Add probabilistic reasoning #32

Open XVilka opened 5 years ago

XVilka commented 5 years ago

Like in ProbLog

See their GitHub repository

0.3::stress(X) :- person(X).
0.2::influences(X,Y) :- person(X), person(Y).

smokes(X) :- stress(X).
smokes(X) :- friend(X,Y), influences(Y,X), smokes(Y).

0.4::asthma(X) :- smokes(X).

person(angelika).
person(joris).
person(jonas).
person(dimitar).

friend(joris,jonas).
friend(joris,angelika).
friend(joris,dimitar).
friend(angelika,jonas).
gares commented 5 years ago

Looks like a lot of fun, but also some substantial work!

ThatDaleMiller commented 5 years ago

A lot of original thinking would also be needed to extend such probability mechanism to the full logic underlying lambda Prolog.

On Fri 26 Jul 2019 at 13:28, Enrico Tassi notifications@github.com wrote:

Looks like a lot of fun, but also some substantial work!

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/LPCIC/elpi/issues/32?email_source=notifications&email_token=ABLPVZYHVULHI75ZFDA2FMTQBLNVFA5CNFSM4IG2WR7KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD24KFMY#issuecomment-515416755, or mute the thread https://github.com/notifications/unsubscribe-auth/ABLPVZ4TMO2AJTY2RS374DDQBLNVFANCNFSM4IG2WR7A .