Title :
D-Script: A Computational Theory of Descriptions
Author :
Moore, Robert C.
Author_Institution :
Artificial Intelligence Laboratory, Massachusetts Institute of Technology
fDate :
4/1/1976 12:00:00 AM
Abstract :
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.
Keywords :
Knowledge about knowledge, natural language understanding, opaque contexts, representation of knowledge, theorem proving, time contexts.; Artificial intelligence; Calculus; Computer languages; Data structures; Monitoring; Natural languages; Knowledge about knowledge, natural language understanding, opaque contexts, representation of knowledge, theorem proving, time contexts.;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1976.1674619
