MVILAIN@G.BBN.COM (Marc Vilain) (11/22/88)
BBN Science Development Program
AI Seminar Series Lecture
COMPLEXITY AND DECIDABILITY OF TERMINOLOGICAL LOGICS
Peter F. Patel-Schneider
AI Principles Research Department
AT&T Bell Laboratories
(pfps@allegra.att.com)
BBN Labs
10 Moulton Street
2nd floor large conference room
10:30 am, Tuesday November 29
Terminological Logics are important formalisms for representing
knowledge about concepts and objects, and are attractive for use in
Knowledge Representation systems. However, Terminological Logics with
reasonable expressive power have poor computational properties, a fact
which has restricted their use and utility in Knowledge Representation
systems. This talk gives a brief description of Terminological Logics,
presents some results concerning their tractability and decidability,
and discusses the role of Terminological Logics in Knowledge
Representation systems.
-------