【AIMAメモ】論理(logic)の誤解の誤解

http://aka-cs-blog.blogspot.com/2009/07/aimalogic.html
で書いた、
---
これでは計算機科学的には間違っていて、

知識(論理による表現) <-(推論規則)- アプリケーション(探索実装)

なのだ。
---
というのはちょっとどうかと思えてきました。融合法(resolution)のみを考えているわけではないので。

---
知識(論理による表現) <-(推論アルゴリズム)- アプリケーション(実装)
---

の方がいいかも。

これも気づき。