John F. Sowa This is an updated version of an article in the Encyclopedia of Artificial Intelligence, Wiley, 1987, second edition, 1992. With some minor changes, all the text from 1992 is included. More recent material and references have been added.