Knowledge Representation and Natural-Language Semantics.
Annual technical rept. no. 1, 1 Jun 82-30 May 83,
SRI INTERNATIONAL MENLO PARK CA ARTIFICIAL INTELLIGENCE CENTER
Pagination or Media Count:
This report summarizes the first year of research on a project to produce formalisms, suitable for manipulation by computer, for the representation of specific concepts that are important for natural-language semantics, and to give an independent account of the meaning of such representations using the tools of formal logic. The major technical achievement of this effort has been the development of a logic which characterizes systems which represent and reason with information about their own beliefs. Other problems worked on include the development of semantic representations for comparative constructions in English and the analysis of deductive methods for commonsense reasoning. Author