Issue No.04 - April (1976 vol.25)
R.C. Moore , Artificial Intelligence Laboratory, Massachusetts Institute of Technology
This paper describes D-Script, a language for representing knowledge in artificial intelligence (AI) 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 opaque contexts, time contexts, and knowledge about knowledge. The design of a deductive system for this language is also considered.
Knowledge about knowledge, natural language understanding, opaque contexts, representation of knowledge, theorem proving, time contexts.
R.C. Moore, "D-Script: A Computational Theory of Descriptions", IEEE Transactions on Computers, vol.25, no. 4, pp. 366-373, April 1976, doi:10.1109/TC.1976.1674619