Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site utcsri.UUCP
Path: utzoo!utcsri!clarke
From: clarke@utcsri.UUCP (Jim Clarke)
Newsgroups: ont.events
Subject: U of T AI seminar, Tues., Aug. 6
Message-ID: <1285@utcsri.UUCP>
Date: Thu, 25-Jul-85 10:24:55 EDT
Article-I.D.: utcsri.1285
Posted: Thu Jul 25 10:24:55 1985
Date-Received: Thu, 25-Jul-85 10:41:48 EDT
Distribution: ont
Organization: CSRI, University of Toronto
Lines: 22

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