This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
D-Script: A Computational Theory of Descriptions
April 1976 (vol. 25 no. 4)
pp. 366-373
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.
Index Terms:
Knowledge about knowledge, natural language understanding, opaque contexts, representation of knowledge, theorem proving, time contexts.
Citation:
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
Usage of this product signifies your acceptance of the Terms of Use.