Accession Number:

ADA162389

Title:

Knowledge Representation and Natural-Language Semantics.

Descriptive Note:

Final rept. 1 Jun 82-30 May 85,

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA

Personal Author(s):

Report Date:

1985-08-01

Pagination or Media Count:

349.0

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 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.

Subject Categories:

  • Linguistics
  • Bionics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE