News for hackers. Stuff that matters.

A comment on Limbo – A Reasoning System for First-Order Limited Belief.

Re:Limbo – A Reasoning System for First-Order Limited Belief by zokier on Sunday May 07, 2017 @02:43AM (#14284213)
Has anyone seen logic systems that are able to reason about probabilities? As far as I understand Limbo (and other logic systems) are limited to saying something is true or false, but unable to say that something has X% chance of being true.
[ Parent | on HN ]
Re:Limbo – A Reasoning System for First-Order Limited Belief by _neural_ on Sunday May 07, 2017 @03:07AM (#14284262)
Take a look at Distributed Situation-state Spaces [1].

[1] http://www.let.rug.nl/festschriftnerbonne/08.%20Brouwer%20et...

[ Parent | on HN ]
Re:Limbo – A Reasoning System for First-Order Limited Belief by profquail on Sunday May 07, 2017 @09:38AM (#14285392)
What about fuzzy logic? It's not giving you probabilities of something being true; rather, it gives you a measure "how true" something is (rather than being 100% true or 100% false).
[ Parent | on HN ]
Re:Limbo – A Reasoning System for First-Order Limited Belief by xalyama on Sunday May 07, 2017 @04:25AM (#14284444)
Something like ProbLog https://dtai.cs.kuleuven.be/problog/ ?

On the bottom links under 'Tools' there are some related systems as well.

[ Parent | on HN ]
Re:Limbo – A Reasoning System for First-Order Limited Belief by zokier on Sunday May 07, 2017 @05:14AM (#14284571)
That seems neat. I'll have to try and see if I can model my problem with that.
[ Parent | on HN ]
Re:Limbo – A Reasoning System for First-Order Limited Belief by zmonx on Sunday May 07, 2017 @05:27AM (#14284610)
See also cplint and the included example programs, using both regular Prolog and probabilistic extensions:

http://cplint.lamping.unife.it/example/examples.swinb http://cplint.lamping.unife.it/example/inference/inference_e...

The github repository of cplint is:

https://github.com/friguzzi/cplint

[ Parent | on HN ]