D-Script: A Computational Theory of Descriptions

R.C. Moore

doi:10.1109/TC.1976.1674619

Publication
1976
Issue No. 4 - April
Abstract - D-Script: A Computational Theory of Descriptions

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/EndNote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by R.C. Moore

D-Script: A Computational Theory of Descriptions

April 1976 (vol. 25 no. 4)

pp. 366-373

	ASCII Text	x
	R.C. Moore, "D-Script: A Computational Theory of Descriptions," IEEE Transactions on Computers, vol. 25, no. 4, pp. 366-373, April, 1976.

	BibTex	x
	@article{ 10.1109/TC.1976.1674619, author = {R.C. Moore}, title = {D-Script: A Computational Theory of Descriptions}, journal ={IEEE Transactions on Computers}, volume = {25}, number = {4}, issn = {0018-9340}, year = {1976}, pages = {366-373}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1976.1674619}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - JOUR JO - IEEE Transactions on Computers TI - D-Script: A Computational Theory of Descriptions IS - 4 SN - 0018-9340 SP366 EP373 EPD - 366-373 A1 - R.C. Moore, PY - 1976 KW - Knowledge about knowledge KW - natural language understanding KW - opaque contexts KW - representation of knowledge KW - theorem proving KW - time contexts. VL - 25 JA - IEEE Transactions on Computers ER -

R.C. Moore, Artificial Intelligence Laboratory, Massachusetts Institute of Technology

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.1976.1674619

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.