Knowledge Representation and Natural-Language Semantics.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 26, 1983
Accession Number
ADA135476

Entities

People

  • R. C. Moore

Organizations

  • SRI International

Tags

Communities of Interest

  • Advanced Electronics
  • Human Systems

DTIC Thesaurus Topics

  • Air Force
  • Air Force Facilities
  • Artificial Intelligence
  • Computer Science
  • Construction
  • Contracts
  • Databases
  • Information Retrieval
  • Information Science
  • Language
  • Natural Languages
  • New York
  • Reasoning
  • Scientific Research
  • Security
  • Semantics
  • Universities

Readers

  • Artificial Intelligence
  • Computational Linguistics
  • Software Engineering.