---
title: "D-SCRlPT: A Computational Theory of Descriptions"
authors:
  - "Robert C. Moore"
doi: ""
url: "https://ijcai.org/proceedings/1973/29"
pdf: "https://ijcai.org/proceedings/1973/0029.pdf"
venue: "Proceedings of the Third International Joint Conference on Artificial Intelligence"
year: 1973
pages: "223-228"
track: "Formalisms for A.I."
keywords:
---

# D-SCRlPT: A Computational Theory of Descriptions

Robert C. Moore

*Proceedings of the Third International Joint Conference on Artificial Intelligence*, pages 223-228.

## Abstract

Th is paper descri b es D-S CR IPT, a lan g ua ge for representin g k nowled ~ e in artificial intelli g ence programs. D-SC RIPT contains a po we rful for mal ism for de scripti o ns, which per mits the representation of state ments that are pro b lematical for other syste ms. Particular attention is paid to proble ms of opaque contexts, time con~xts, and k nowle dg e a bout kno wle dg e. The desi gn of a de ductive syste m for this langua ge is also consid e re d.