🚀 go-pugleaf

From: "Hans-Juergen Buerckert" <buerkert@informatik.uni-kl.de>
To: mod-ki@unido.informatik.uni-dortmund.de
Date: Mon, 5 Feb 90 16:48:44 MET
Subject: 39. Arbeitstagung "Allgemeine Algebra" (Tagungskurzbericht)
Keywords: Berichte

mod-ki message 0385
************************************************************************
                39. Arbeitstagung "Allgemeine Algebra"
                   2.2.-4.2. 1990 in Kaiserslautern

    Veranstalter: Prof. Schweigert, FB Mathematik, Uni Kaiserslautern
 
Tagungsbericht

Am erstem Februarwochenende fand in Kaiserslautern eine auch fuer die KI
interessante Tagung ueber "Allgemeine Algebra" statt.

Die Tagung begann am Freitagabend  um  17  Uhr  mit  einem  eingeladenen
Vortrag "Begriffliche Wissenssysteme" von Prof. R. Wille,  TH Darmstadt.
Der Titel kling nicht nur so, sondern Prof. Wille liess tatsaechlich ein
ganzes Feuerwerk von auch in der KI gelaeufigen Termini los. Ich war mir
zumindest zeitweise nicht mehr ganz sicher,  ob  der  Titel  der  Tagung
nicht doch "Allgemeine KI"  oder  so  lautete.  Herr  Wille  sprach  von
Kontexten, Begriffen und Merkmalen, fuehrte Begriffliche  Wissenssysteme
mit Relationen "Gegenstand hat Merkmal", "Begriff1 ist Unterbegriff  von
Begriff2", Merkmal trifft auf Gegenstand zu", "Gegenstand  faellt  unter
Begriff"   ein   und   erlaeuterte   die   Dienste    dieser    Systeme:
Wissensrepraesentation,    Wissensinferenz,    Wissensakquisition    und
Wissenskommunikation.    Es    handelt    sich    dabei     um     einen
verbandstheoretischen Ansatz der Begriffsanalyse,  der - neben  mehreren
industriell gefragten  Anwendungen  zur  Begriffsanalyse  -  auch  schon
erfolgreich auf Semantische Netze angewandt wurde. Interessant dabei ist
auch, dass eine von Prof. Burmeister, ebenfalls TH Darmstadt, auf  einem
Atari erstellte  Implementierung  eine  Domaene  mit  12 Millionen (!!!)
Begriffen und Merkmalen handhaben  kann.  Vielleicht  wird  ja  bei  der
GWAI'90  noch  ein  eingeladener  Vortrag  gesucht.  Prof.  Wille  waere
durchaus  eine  Bereicherung.   Uebrigens   hat   Ipke   Wachsmut   beim
Wissenrepraesentationstutorium  auf  der  letzten  GWAI   kurz   Wille's
Arbeiten angeschnitten.

Fuer den Samstagvormittag waren dann einige Informatiker eingeladen, die
zumindest ueber Rand- (bzw.  je  nach  Sichtweise)  Kerngebiete  der  KI
"tutorielle" bzw. Uebersichtsvortraege zum  Besten  gaben:  J. Avenhaus,
Uni Kaiserslautern, ueber "Rewriting Systems  and  Theorem  Proving", F.
Baader,DFKI Kaiserslautern, ueber "Unifikation in kommutativen Theorien,
Hilbert-Basis-Theorem  und  Groebnerbasen",  und   H.-J.Buerckert,  DFKI
Kaiserslautern, ueber "Equational Theories and Unification". Nach  Herrn
Wille's Vortrag haetten wir aber besser Arbeiten unseres  WINO-Projektes
ueber WR oder eine  Einfuehrung  in  "Concept  Languages"  a  la  KL-ONE
praesentieren sollen, um hier in eine Diskussion einsteigen  zu  koennen.

Damit war der  KI-relevante  Teil  aber  noch  nicht  zu  Ende.  Samstag
nachmittag und Sonntag frueh waren neben Vortraegen aus der Universellen
Algebra bzw. der allgemeinen Ordnungstheorie wieder Vortraege mit Titeln
wie  "Merkmalinferenz  bei   unsicherem/unvollstaendigem   Wissen"   (P.
Burmeister, TH Darmstadt), "Inferenz in  begrifflichen  Wissenssystemen"
(Luksch,  TH  Darmstadt),  "Eigenschaften  endlicher  Verbaende  -  eine
Wissensdarstellung mit Methoden der formalen Begriffsanalyse" (St. Reeg,
M. Skorsky, W. Weis, TH Darmstadt) zu hoeren.

Wer  jetzt  Appetit  bekommen  hat,  der  sollte  doch  'mal   mit   den
Mathematikern an der TH  Darmstadt  Kontakt  aufnehmen  und  um  Papiere
bitten.   Wenn   einem   Verbandstheorie   nicht   allzu    theoretisch,
undurchsichtig, und fernab von der  eigenen  Problemstellung  erscheint,
hat man durchaus eine Chance zu verstehen,  was  die  Begriffsanalytiker
dort tun. Vielleicht kann der oder die eine oder andere ja  daraus  auch
Gewinn fuer die eigene Arbeit ziehen. Wir jedenfalls wollen uns mit  den
Methoden der formalen Begriffsanalyse zumindest naeher  bekannt  machen,
schon um zu verstehen, ob da mehr als nur oberflaechliche Zusammenhaenge
mit KL-ONE-Formalismen sind.

Hans-Juergen Buerckert
************************************************************************