fieg / propositional-calculus
PHP中命题演算的实现
1.0
2014-06-02 22:20 UTC
Requires (Dev)
- phpunit/phpunit: ~4.1
This package is auto-updated.
Last update: 2024-08-29 04:09:00 UTC
README
PHP中命题演算的实现。
基于书籍《人工智能 - 计算代理的基础》第五章“命题与推理”,可在以下链接找到:Artificial Intelligence - foundations of computational agents,具体章节:5 Propositions and Inference。