Interpreting Descriptions in a Prolog-based Knowledge Representation System
Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Logic Programming. Pages 711-715.
Abstract
Descriptions provide a syntactic device for abbreviating expressions of a formallanguage. We discuss the motivation for descriptions in a system called DLOG. We describe two approaches to specifying their semantics, and a method for implementing their use . We explain why some descriptions should be given a higher order interpretation, and explain how such descriptions can be interpreted in the simpler logic of Prolog. The essential idea is to constrain the domain of descriptions so that an extended unifica.tion procedure can determine description equivalence within the Prolog framework .
@inproceedings{ijcai1985p139,
title = {Interpreting Descriptions in a Prolog-based Knowledge Representation System},
author = {Goebel, Randy},
booktitle = {Proceedings of the Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-85}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Aravind Joshi},
pages = {711--715},
year = {1985},
note = {Logic Programming},
url = {https://ijcai.org/proceedings/1985/139},
}
TY - CPAPER TI - Interpreting Descriptions in a Prolog-based Knowledge Representation System AU - Goebel, Randy T2 - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 PB - International Joint Conferences on Artificial Intelligence PY - 1985 SP - 711 EP - 715 UR - https://ijcai.org/proceedings/1985/139 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
