The task of having computers able to understand their environments through direct imaging has proved to formidable. With its beginnings about 30 years ago, the field of computer vision has grown as a major part for the pursuit for artificial intelligence.
Theorem provers based on the model elimination theorem-proving procedure have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption.
Current graphics database tools give the user a view of drawing that is too constrained by the low-level machine operations used to implement the tools.
If it is possible to interpret an image as a projection of rectangular forms, there is a strong tendency for people to do so. In effect, a mathematical basis for a vector space appropriate to the world, rather than to the image, is selected.
The PATR-II grammar formalism has been developed over the last few years at SRI International as a grammar formalism for codifying fragments of natural language.
