finin@PRC.UNISYS.COM (09/27/88)
AI SEMINAR
UNISYS PAOLI RESEARCH CENTER
The SB-ONE Knowledge Representation Workbench
Alfred Kobsa
International Computer Science Institute, Berkeley
(on leave from the University of Saarbruecken, West Germany)
The SB-ONE system is an integrated knowledge representation workbench for
conceptual knowledge which was specifically designed to meet the requirements
of the field of natural-language processing. The representational formalism
underlying the system is comparable to KL-ONE, altough different in many
respects. A Tarskian semantics is given for the non-default part of it.
The user interface allows for a fully graphical definition of SB-ONE knowledge
bases. A consistency maintenance system checks for the syntactical
well-formedness of knowledge definitions. It rejects inconsistent entries, but
tolerates and records incomplete definitions. A partition mechanism allows for
the parallel processing of several knowledge bases, and for the inheritance of
(incomplete) knowledge structures between parititons.
The SB-ONE system is being employed in XTRA, a natural-language access system
to expert systems. The use of SB-ONE for meaning representation, user
modeling, and access to the expert system's frame knowledge base will be
briefly described.
10:00am Friday, October 14
BIC Conference Room
Unisys Paoli Research Center
Route 252 and Central Ave.
Paoli PA 19311
-- non-Unisys visitors who are interested in attending should --
-- send email to finin@prc.unisys.com or call 215-648-7446 --
* COMING ATTRACTION: On October 19, Marilyn Arnott (PhD from Texas in *
* Chemistry) will speak on the topic of an expert system for predictive *
* toxicology. The seminar will be held at 2:00 PM in the BIC Conference *
* Room. An exact title and an abstract will be distributed when they *
* become available. *