🚀 go-pugleaf

From: "Hartmut Freitag" <unido!ztivax!L3!hf>
To: mod-ki@unido.uucp
Date: Mon, 11 Dec 89 15:39+0100
Subject: Sitzung der FAL Inferenzsysteme
Keywords: Protokolle, GI-Fachbereich KI

mod-ki message 0344
************************************************************************
Protokoll der Sitzung der FAL 1.2 "Inferenzsysteme" am 27.11.89

Ort: Uni Karlsruhe
Zeit: 27.11.89  13.30 - 17.00
Teilnehmer: Brewka, Freitag, Furbach, Struss, Walther
Protokoll: Freitag
 
TOP Berichte aus den Fachgruppen
 
      FG Deduktionssysteme:
 
            - Im Herbst hat ein FG-Treffen stattgefunden
              (ca. 70 Teilnehmer). Es wurde erwaehnt, dass der
              Bericht vom Deduktionstreffen 88 nicht in der KI
              abgedruckt wurde.
 
            - Im Maerz 89 fand ein Workshop "Termersetzungssysteme -
              Grundlagen und Anwendungen" gemeinsam mit der FG 2.1.3
              statt.

            - Im April 89 fand ein Workshop zum Thema "Verifikation,
              Konstruktion und Synthese von Programmen" statt.
 
      FG Qualitatives Schliessen:
 
            - Im Rahmen der OEGAI 89 (Maerz 89) wurde vom damaligen
              AK ein Workshop mit Schwerpunkt "Zeitliches
              Schliessen" organisiert.
 
            - Der naechste Workshop war urspruenglich fuer Herbst 89
              geplant, musste aber wegen Unklarheiten bezgl des
              Status der FG auf Fruehjahr 90 verschoben werden.
              Dieser Workshop soll von der Arbeitsgruppe am FhG-IITB,
              Karlsruhe, ausgerichtet werden.

            - Im Sommer 90 finden Wahlen zur FG-Leitung statt.
 
            - Es ist geplant mit dem AK Simulation + KI in der
              FG 4.5.1 Kontakt aufzunehmen.
 
      FG Nichtmonotones Schliessen:
 
            - Fuer Sommer 90 sind Wahlen der FG-Leitung geplant.
 
            - Von 13.12. bis 15.12.89 findet der erste Workshop
              dieser FG statt. Es liegen zur Zeit ca. 35 Anmeldungen
              vor, z.T. auch aus dem Ausland.

            - Laengerfristig ist eine Zusammenarbeit mit den FGs
              "Wissensrepraesentation" und "Maschinelles Lernen"
              geplant.
 
      Allgemein wurde bemaengelt, dass die Neuorganisation des FB KI
      laenger als urspruenglich erwartet dauert und dadurch
      Unklarheiten bezueglich des Status (insbesondere Mitgliedschaft)
      der neuen FGs bestehen.
 
      Bezueglich der Organisation von Workshops durch die FGs wurde
      daran erinnert, dass dafuer eine Genehmigung durch die GI
      notwendig ist. Es erscheint dabei am guenstigsten die GI als
      Mitveranstalter ohne Kostenanteil auftreten zu lassen. Es wurde
      weiterhin empfohlen dabei anfallende Versandaktionen moeglichst
      durch die GI-Geschaeftsstelle abwickeln zu lassen. Bei
      Anmeldungen zu Workshops sollte keine Unterscheidung zwischen
      GI-Mitgliedern und Nicht-GI-Mitgliedern gemacht werden.
 
TOP Bericht aus der FBL
 
      Es haben Sitzungen in Hamburg, Geseke, Muenchen und Stuttgart
      stattgefunden. Die wichtigsten Punkte dabei waren:
      - Es wurde ein neues Verfahren zur Festlegung des
        GWAI-Veranstalters beschlossen
        (siehe Protokoll FBL-Sitzung 20.9.89)
      - Dem Finanzreferenten wurde ein Stellvertreter zur Seite
        gestellt. Christoph Lingenfelder (Uni Kaiserslautern) wurde
        am 17.10. zum stellvertretenden Finanzreferenten gewaehlt.
      - Die Mitgliedsbeitraege fuer den FB wurden festgelegt:
            DM 15.-   Studenten
            DM 45.-   GI-Mitglieder
            DM 50.-   Nicht-GI-Mitglieder
      - Es wurde beschlossen die KI als Mitteilungsorgan staerker zu
        nutzen, um dadurch Versandkosten einzusparen.
 
      Die FAL kritisierte, dass fuer die FBL-Sitzung waehrend der
      GWAI 89 weder eine Einladung noch eine Tagesordnung vorlagen,
      in der Sitzung aber Personalentscheidungen getroffen wurden.
      Dies wurde gleichzeitig aber als "Anlaufschwierigkeit" bewertet.

TOP GWAI
 
      Es wurde ueber ein zukuenftiges Konzept fuer die GWAI
      diskutiert. (Dazu lag auch ein Vorschlag von Thomas Christaller
      an die FBL vor.) Folgende Punkte waren dabei von Interesse:
      - Es erscheint sinnvoll auf einen Tagungsband zu verzichten,
        um Doppeleinreichungen (insbesondere auf internationalen
        Tagungen und Workshops) zu ermoeglichen.
      - Stattdessen koennten selektierte Beitraege in der KI
        veroeffentlicht werden.
      - Es sollten durch die FG Workshops organisiert werden, die
        z.T. parallel stattfinden koennen.
      - Der zeitliche Rahmen sollte auf 3 Tage (netto) beschraenkt
        werden.
 
TOP Workshopangebot fuer GWAI 90
 
      Waehrend der GWAI 90 sollen zusaetzlich zum Tagungsprogramm 2
      eintaegige Workshops stattfinden, die moeglichst von den FGs
      oder FAs ausgerichtet werden. Vorschlaege dafuer koennen bis
      zum 1.2.90 beim Organisator der GWAI 90, H. Marburger,

      eingereicht werden. Als moegliche Angebote des FA Inferenzsysteme
      wurden vorgeschlagen:
            - Logische Programmierung
            - Parallelisierung von Inferenzsystemen
            - Modellierung von Common-Sense Reasoning
      Weitere Vorschlaege koennen per e-mail an U. Furbach eingereicht
      werden.
 
TOP Budgetplanung
 
      Da kein Budget-Rahmen bekannt war, konnte nur der Bedarf
      ermittelt werden. Finanzielle Mittel werden vor allem benoetigt
      bei:
            - Rundschreiben an FG/FA-Mitglieder
            - Veranstaltung von Workshops (Sonderkosten, Einladung
              von Referenten, Studenten-Stipendien)
            - Wahlen (Portokosten)
            - Reisemittel
      Auf FA-Ebene werden im wesentlichen Reisemittel benoetigt.
      Sobald ein Budget-Rahmen bekannt ist, werden Vorschlaege dem
      FAL-Sprecher per e-mail zugeleitet.
 
TOP Sonstiges
 
      - Regionalgruppen: Vortragsangebote fuer die Regionalgruppen
        sollen FG-weise gesammelt werden und ueber den FB-Sprecher
        den Regionalgruppen zugeleitet werden.
 
      - KIFS 91/92: Vorschlaege fuer die Ausrichtung der KIFSs 91
        und 92 sollen an den FAL-Sprecher weitergegeben werden.
        Es wurde darueber diskutiert, ob es in Zukunft nicht
        sinnvoller erscheint, die Ausrichtung der KIFS auszuschreiben
        statt Kandidaten zu suchen.
 
      - Curriculum: Ein von der FG Qualitatives Schliessen
        erarbeiteter Beitrag zum KI-Curriculum soll der KI zur
        Veroeffentlichung zugeleitet werden.
 
      - Weitere Sitzungstermine: Es soll moeglichst viel ueber
        e-mail abgewickelt werden. Sitzungen sollen (falls notwendig)
        relativ kurzfristig (1-2 Monate im voraus) angesetzt werden.
************************************************************************