D-Script: A Computational Theory of Descriptions,

Abstract

The paper describes D-SCRIPT a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opague contexts, time contexts, and knowledge about knowledge. The design of a theorem prover for this language is also considered. (Author)

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1973
Accession Number
AD0773926

Entities

People

  • Robert C Moore

Organizations

  • Massachusetts Institute of Technology

Tags

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Computer Languages
  • Formal Languages
  • Language

Readers

  • Child and Adolescent Substance Abuse Science in Autism Spectrum Disorders.
  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy
  • AI & ML - Machine Translation