clarke@utcsri.UUCP (Jim Clarke) (07/25/85)
ARTIFICIAL INTELLIGENCE SEMINAR, Tuesday, August 6, 3 pm., SF1105
(SF = Sandford Fleming Building, 10 King's College Road)
"Interpreting Descriptions in a Prolog-based Knowledge Representation System"
Randy Goebel
University of Waterloo
Abstract: Descriptions provide a syntactic device for abbreviating
expressions of a formal language. We discuss the motivation for descrip-
tions 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 unification procedure can determine description
equivalence within the Prolog framework.
--
Jim Clarke -- Dept. of Computer Science, Univ. of Toronto, Canada M5S 1A4
(416) 978-4058
{allegra,cornell,decvax,ihnp4,linus,utzoo}!utcsri!clarke