Scott Fahlman, July 17, 2008
Categories: KR Issues
In this article, I will expand a bit on some comments I made in the previous article about the tension between expressiveness, scalability, and the “general theorem proving” approach to inference – an approach that currently dominates the field of knowledge representation (KR). For a practical and useful knowledge base system (KBS), I think we […]
Read more...