Abstract

This article is the basis of an invited talk at KR-96 in 1996 November. It has been modified from the version that appeared in the preprints of that meeting. There is an html version, a.dvi version,.pdf version and a.ps version. Up to: Main McCarthy page Up to: Send comments to mccarthy @stanford.edu. I sometimes make changes suggested in them. - John McCarthy.