Knowledge Representation and Natural-Language Semantics.
Final rept. 1 Jun 82-30 May 85,
SRI INTERNATIONAL MENLO PARK CA
Pagination or Media Count:
This report summarizes three years 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. Specific topics on which progress was made include a logic that characterizes systems that represent and reason with information about their own beliefs, a formalism for the representation of information about the interdependence of knowledge and action, a semantical analysis of adverbial modifiers and event sentences, a formal model of belief based on deduction, additional results on the formal semantics of our logic for reasoning about ones own beliefs, a belief logic that makes weaker than usual assumptions about introspection, and a mathematically rigorous theory of plan synthesis. Originator-supplied keywords Artificial intelligence Logic of belief Automatic planning Knowledge representation Logic of knowledge and action Natural-language semantics and Nonmontonic logic.