Accession Number:

ADA135476

Title:

Knowledge Representation and Natural-Language Semantics.

Descriptive Note:

Annual technical rept. no. 1, 1 Jun 82-30 May 83,

Corporate Author:

SRI INTERNATIONAL MENLO PARK CA ARTIFICIAL INTELLIGENCE CENTER

Personal Author(s):

Report Date:

1983-07-26

Pagination or Media Count:

9.0

Abstract:

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

Subject Categories:

  • Bionics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE