Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!rutgers!ucla-cs!zen!ucbvax!wiley.UUCP!joe
From: joe@wiley.UUCP.UUCP
Newsgroups: comp.ai.digest
Subject: Seminar - Object-Based Knowledge Representation Systems (Lockheed)
Message-ID: <8708041435.AA10702@wiley.LAIC.uucp>
Date: Tue, 4-Aug-87 10:35:30 EDT
Article-I.D.: wiley.8708041435.AA10702
Posted: Tue Aug  4 10:35:30 1987
Date-Received: Sat, 15-Aug-87 16:03:09 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Distribution: world
Organization: The ARPA Internet
Lines: 42
Approved: ailist@stripe.sri.com


                   [Forwarded from the Stanford bboard.]


                      INTERDEPARTMENTAL COMMUNICATION

     TO:      DISTRIBUTION
     FROM:    JOSEPH W. SULLIVAN  O/90-06  B/259  354-5213
     DATE:    1 August 1987
     SUBJECT: AIC COLLOQUIUM


     The Lockheed AI Center is pleased to announce a  presentation  by
     Dr.   Peter  F.   Patel-Schneider  of  the Schlumberger Palo Alto
     Research.  An abstract of the presentation is provided below.


            Weak, Object-Based Knowledge Representation Systems
                       Dr. Peter F. Patel-Schneider


     Recent work in semantics  for  terminological  logics  --  logics
     about  the  relationship between classes -- has demonstrated that
     the  tradeoff  between   expressive   power   and   computational
     tractability  in such logics can be circumvented.  This indicates
     that tractable object-based knowledge representation systems  can
     be  built,  albeit  at  the  cost  of weakening deduction.  These
     systems, because of their tractability, could be  used  in  large
     knowledge-based  systems.  Their representational semantics would
     provide a cleaner foundation for object-oriented  knowledge-based
     systems  than do object-oriented programming systems, the systems
     currently used to build object-oriented knowledge-based  systems.
     This  cleaner  foundation  means  that  fewer complications would
     arise in the building and analysis  of  knowledge-based  systems,
     thus making these difficult tasks easier.

                   DATE:   19 August 1987
                   TIME:   3:30
                   PLACE:  Lockheed Artificial Intelligence Center
                           Main Conference Room
                           2710 Sand Hill Rd. (Lockheed Bld. #259)
                           Menlo Park