🚀 go-pugleaf

From: "Christel Hecht (Secretary Projectgroup KIT)" <ciskit@db0tui11.bitnet>
To: mod-ki@unido.uucp
Date: Tue, 14 Nov 89 12:44:53 +0100
Subject: New KIT-Reports from TU Berlin  - abstracts -
Keywords: Publikationen

mod-ki message 0332
************************************************************************
The following reports may be obtained free of charge from:
PROJECT GROUP KIT
Technische Universitaet Berlin
Fachbereich Informatik
Sekr. FR 5 - 12
Franklinstr. 28/29
D-1000 Berlin 10, West-Germany
<ciskit%db0tui11.bitnet@cunyvm.cuny.edu>

Christof Peltason, Albrecht Schmiedel, Carsten Kindermann, Joachim
Quantz
"The BACK System Revisited"
KIT-Report no. 75, September 1989, 100 pages

The "Berlin advanced computational knowledge representation system" BACK
has been developed as a KL-ONE-based hybrid reasoning system since 1985.
In this report the redesign and  the  implemention  of  the  system  (in
Prolog) are described. The overall knowledge base language is  sketched,
syntax and  semantics  are  given,  and  the  usage  is  illustrated  by
examples. It is a step towards a uniform object description language for
accessing knowledge bases, combining intensional and extensional aspects
- and also taking into account  features  known  from  typical  database
query languages. The implementational issues of the  recent  development
are sketched; algorithms and data structures are  presented,  efficiency
aspects  are  discussed,  and   the   choices   made   between   various
implementational techniques are explained. The  report  is  intended  to
serve not only as a platform for discussion on the technical issues  and
extensions yet to come, but also as a reference guide to the use of  the
current system.
 

Stephan Busemann, Christa Hauenschild, Carla Umbach (eds.)
"Views of the Syntax/Semantics Interface"
KIT-Report no. 74, July 1989, 197 pages

Proceedings of  the  Workshop  "GPSG and Semantics",  organized  by  the
project KIT-FAST, TU Berlin, Feb. 22-24, 1989. Most of the contributions
are concerned with the syntax-semantics interface, which  is  among  the
hot topics' of present-day research in (computational) linguistics.  The
topic is discussed from many different  points  of  view,  ranging  from
linguistic  phenomena  and  their  syntactic  and  semantic  aspects  to
representation formalisms and their special properties.
Contents: Unbounded Dependencies in Machine  Translation  (Balari,  Bel,
and Gilboy); From FAS Representations to GPSG Structures  (Busemann  and
Hauenschild);  Features  for  Determination  and   Plurality   for   NPs
(Grabski); A Logical Approach to Grammar (Keller); Semantic Emphasis and
Case Frames (Kunze); Functor-Argument-Structures for the Meaning  of  NL
Sentences and Their Formal Interpretation (Mahr and Umbach); Generalized
Categorial  Logic:  Lambek-Gentzen  Sequent  Calculi   (Moortgat);   The
Syntax-Semantics  Interface  in  a  Unification-Based  Phrase  Structure
Grammar  (Pollard);  Spurious  Ambiguities  -  On  the  Syntax-Semantics
Relation in C(U)G (Wesche).
 
 
Ruediger Oehlmann
"First European Summer School on Machine Learning"
KIT-Report no. 73, May 1989, 60 pages

The report contains the lectures given  at  the  First  European  Summer
School on Machine Learning (ES2ML). The meeting was  held  in  Les Arcs,
France, from 18th to 28th July, 1988.


Kai von Luck:
"Repraesentation Assertionalen Wissens im BACK-System
- Eine Fallstudie - "
KIT-Report no. 72, May 1989, 150 pages

This work is concerned with some problems  of  knowledge  representation
within the framework of  Artificial  Intelligence.  Particular  emphasis
is placed on semantically well-founded  formalisms  and  the  algorithms
employed to interpret them. In the last years, hybrid systems as part of
the research in this field have found increasing attention.  Taking  the
form of a case study,  the  construction  of  a  semantically  motivated
hybrid formalism and the consequences  for  an  implementation  of  this
formalism are discussed, and practical solutions are  provided.  Special
attention is directed to the problem of keeping the represented parts of
a domain consistent; inference procedures are specified for mechanically
computing implications of assertions entered into the system. Properties
and possible weakness of the BACK-system - as a representative of  logic
based hybrid  systems  for  knowledge  representation  in  general - are
discussed and potential applications of such systems are demonstrated.


Werner Emde, Ingo Keller, Joerg-Uwe Kietz, Katharina Morik,
Sabine Thieme, Stefan Wrobel :
"Wissenserwerb und Maschinelles Lernen"
- Final Report of the KIT-LERNER Project  -
KIT-Report no. 71, April 1989, 287 pages

************************************************************************