fieg/propositional-calculus

Implementation of a Propositional Calculus in PHP

1.0 2014-06-02 22:20 UTC

This package is auto-updated.

Last update: 2024-03-29 03:07:15 UTC


README

Implementation of a Propositional Calculus in PHP.

Based on the book Artificial Intelligence - foundations of computational agents chapter 5 Propositions and Inference.