D-SCRlPT: A Computational Theory of Descriptions
Proceedings of the Third International Joint Conference on Artificial Intelligence. Formalisms for A.I.. Pages 223-228.
Abstract
Th is paper descri b es D-S CR IPT, a lan g ua ge for representin g k nowled ~ e in artificial intelli g ence programs. D-SC RIPT contains a po we rful for mal ism for de scripti o ns, which per mits the representation of state ments that are pro b lematical for other syste ms. Particular attention is paid to proble ms of opaque contexts, time con~xts, and k nowle dg e a bout kno wle dg e. The desi gn of a de ductive syste m for this langua ge is also consid e re d.
Robert C. Moore. 1973. D-SCRlPT: A Computational Theory of Descriptions. In Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73. IJCAI, 223–228. https://ijcai.org/proceedings/1973/29
Moore, R. C. (1973). D-SCRlPT: A Computational Theory of Descriptions. In Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73 (pp. 223–228). IJCAI. https://ijcai.org/proceedings/1973/29
@inproceedings{ijcai1973p29,
title = {D-SCRlPT: A Computational Theory of Descriptions},
author = {Moore, Robert C.},
booktitle = {Proceedings of the Third International Joint Conference on
Artificial Intelligence, {IJCAI-73}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Nils J. Nilsson},
pages = {223--228},
year = {1973},
month = {8},
note = {Formalisms for A.I.},
url = {https://ijcai.org/proceedings/1973/29},
}
TY - CPAPER TI - D-SCRlPT: A Computational Theory of Descriptions AU - Moore, Robert C. T2 - Proceedings of the Third International Joint Conference on Artificial Intelligence, IJCAI-73 PB - International Joint Conferences on Artificial Intelligence PY - 1973 SP - 223 EP - 228 UR - https://ijcai.org/proceedings/1973/29 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
