Accession Number:

AD0773926

Title:

D-Script: A Computational Theory of Descriptions,

Descriptive Note:

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s):

• Moore,ROBERT C.

Report Date:

1973-02-01

Pagination or Media Count:

30.0

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

Descriptors:

• *Programming languages
• *Artificial intelligence
• *Mathematical logic
• Semantics
• Problem solving

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE