I (Jared Wigmore aka JaredW) have recently implemented a general forward chainer for PLN. (See Forward and Backward chaining on Wikipedia). Joel had previously implemented a prototype forward chainer, but it only supported deduction. PLN has a wide variety of inference rules. They each require different sorts of input atoms, and so a forward (or backward) chainer for PLN needs to be able to find appropriate atoms for each inference rule. There's a new 'pln fc' command, in the CogServer shell, w
More
27 Flattr microdonations from 4 people
-
Odestot...
-
jaredw
- +2 others
