AI needs to deal with objects and predicates that don't admit if-and-only-if definitions. It also needs approximate theories and needs to study the relation between entities at different levels of approximation. This article appeared in the Proceedings of KR-2000. Principles of Knowledge Representation and Reasoning. Morgan-Kaufman.
It has html, dvi, ps , and pdf versions.
Send comments to jmc@cs.stanford.edu
The number of hits on this page since 1999 April 30.