Repository navigation
PLN v0.5
PLN v0.5 release, featuring a working and efficient PLN reasoner.
Wiki:
https://github.com/trueagi-io/PLN/wiki
Examples:
https://github.com/trueagi-io/PLN/tree/main/examples
- FlyingRaven.metta: Deductive reasoning with conflicting evidence in a taxonomy.
- Smokes.metta: Deductive reasoning to determine cancer risk via multiple inference paths on a knowledge base of smokers.
- Robot.metta: Deductive, abductive, and inductive inference for robot decision-making in object selection in a pick&bring mission.
- Toothbrush.metta: Evaluating plan outcome truth values using both declarative and procedural knowledge concerning objects.
Major update over v0.4:
Featuring Priority-Queue based Deriver for resource-constrained reasoning.