Interpreting descriptions in a prolog-based knowledge representation system

Authors:
Randy Goebel
Affiliations:
Logic Programming and Artificial Intelligence Group, Computer Science Department, University of Waterloo, Waterloo, Ontario, Canada
Venue:
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Year:
1985

Citing 4
Cited 0

On database systems development through logic

ACM Transactions on Database Systems (TODS)
A logic data model for the machine representation of knowledge

A logic data model for the machine representation of knowledge
Formal reasoning and language understanding systems

TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
D-Script: A Computational Theory of Descriptions

IEEE Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

Abstract

Description provide a syntactic device for abbreviating expressions of a formal language. We discuss the motivation for descriptions in a system called DLOG. We describe two approaches to specifing 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 desriptions so that an extended unification procedure can determine description equivalence within the prolog framework.