robertzk comments on Extensions and Intensions

robertzk 23 Dec 2010 1:09 UTC
2 points
An important algorithm for attempting to translate extensional definition into intensional definition is Mitchell’s version spaces:

http://en.wikipedia.org/wiki/Version_space