DocumentCode
1132421
Title
D-Script: A Computational Theory of Descriptions
Author
Moore, Robert C.
Author_Institution
Artificial Intelligence Laboratory, Massachusetts Institute of Technology
Issue
4
fYear
1976
fDate
4/1/1976 12:00:00 AM
Firstpage
366
Lastpage
373
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.;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/TC.1976.1674619
Filename
1674619
Link To Document