Knowledge Representation and Natural-Language Semantics.
Abstract
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 one's 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1985
- Accession Number
- ADA162389
Entities
People
- Robert C Moore
Organizations
- SRI International