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) : Moore,R C

PDF Url : ADA135476

Report Date : 26 Jul 1983

Pagination or Media Count : 9

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)

Descriptors :   *Artificial intelligence, *Computer logic, Reasoning, Semantics, Natural language, Logic, Information processing, Problem solving, Decision making, Pattern recognition

Subject Categories : Bionics

Distribution Statement : APPROVED FOR PUBLIC RELEASE