🚀 go-pugleaf

From: Ulrich Furbach <uli@lan.informatik.tu-muenchen.dbp.de>
To: mod-ki@unido.uucp
Date: 9  Jun 89  9:42 -0100
Subject: FA Inferenzsysteme
Keywords: Fachbereich KI

mod-ki message 0253
************************************************************************ 
                              Protokoll

   Der Konstituierenden Sitzung Des Fachausschusses Inferenzsysteme
                Im Fachbereich Kuenstliche Intelligenz

                                  am
  Mittwoch, den 31. Mai 1989 von 13.30 Uhr - 18.00 Uhr in Muenchen.
 
Teilnehmer:
Gerd Brewka, Hartmut Freitag, Ulrich Furbach, Peter Struss,  Hans  Voss,
Christoph Walther

 
1. Die  Fachausschussleitung  (FAL)  besteht  zunaechst  aus  C. Walther
(Sprecher der FG Deduktionssysteme). Dieser beruft seinen Stellvertreter
U. Furbach gemaess der GO in die FAL.

P. Struss und H. Voss stellen den Antrag auf Anhebung der  Arbeitsgruppe
(AG) Qualitatives Schliessen zu einer Fachgruppe (FG) innerhalb  des  FA
Inferenzsysteme.  Dem  Antrag  wird  stattgegeben.  P. Struss  wird  zum
Gruendungssprecher, H. Voss zum stellvertretenden Sprecher der neuen  FG
ernannt, mit dem Auftrag, die neue FG organisatorisch innerhalb  der  GI
zu etablieren und innerhalb eines Jahres Wahlen des Sprechers und seines
Stellvertreters durchzufuehren. P. Struss  ist  jetzt  (qua  neuem  Amt)
Mitglied der FAL, H. Voss wird  (qua neuem Amt)  als  weiteres  Mitglied
fuer die Dauer seiner Amtszeit in die FAL berufen.

G. Brewka und H. Freitag stellen  den  Antrag  auf  Gruendung  einer  FG
Nichtmonotones Schliessen innerhalb des FA Inferenzsysteme.  Dem  Antrag
wird stattgegeben. G. Brewka wird zum Gruendungssprecher, H. Freitag zum
stellvertretenden Sprecher der neuen FG ernannt, mit  dem  Auftrag,  die
neue FG organisatorisch innerhalb der GI  zu  etablieren  und  innerhalb
eines  Jahres  Wahlen   des   Sprechers   und   seines   Stellvertreters
durchzufuehren. G. Brewka ist jetzt (qua neuem Amt)  Mitglied  der  FAL,
H. Freitag wird (qua neuem Amt)  als  weiteres  Mitglied  fuer  die  FAL
berufen.


2. Die  FAL  Inferenzsysteme  (jetzt  bestehend  aus  Brewka,   Furbach,
Freitag, Voss, Struss, Walther) ist nun etabliert und waehlt (aus  ihrer
Mitte) einen FA-Sprecher und seinen Stellvertreter.

Zum Sprecher des FA Inferenzsysteme wird U. Furbach (5 Ja, 1 Enth.)  und
zum stellvertretenden Sprecher P. Struss (6 Ja) gewaehlt.


3. Die  Kurzbeschreibungen  der  Aufgaben  und   Ziele   fuer   die   FG
Deduktionssysteme, Qualitatives Schliessen und Nichtmonotones Schliessen
werden diskutiert und verabschiedet (siehe Punkt 4 und 5 der  jeweiligen
Ordnung der FG in den Anhaengen 2, 3 und 4).

Die Kurzbeschreibung der Aufgaben und Ziele des FA Inferenzsysteme  wird
diskutiert und verabschiedet (siehe Anhang 1).

Die Geschaeftsordnungen der einzelnen Fachgruppen werden diskutiert  und
verabschiedet (Anhang 2, 3 und 4).


4. Die FAL beruft die Mitglieder der FG  Deduktion W. Bibel, J. Siekmann
und M.M. Richter fuer die Dauer von 3 Jahren in die FAL.


U. Furbach                                                  7. Juni 1989

------------------------------------------------------------------------
 ANHANG 1
 
                   Fachausschuss Inferenzsysteme
                   -------------------------------

                         Kurzbeschreibung
                         -----------------

Der Fachausschuss Inferenzsysteme  ist  Traeger  der  wissenschaftlichen
Arbeit der GI auf allen Gebieten, die  sich  mit  der  Modellierung  von
Schluss weisen sowie der Entwicklung von Kalkuelen in  der  Kuenstlichen
Intelligenz befassen. Von  Interesse  sind  dabei  insbesondere  Schluss
weisen, die

   - innerhalb der Mathematik und Informatik
     (Fachgruppe 1 Deduktionssysteme)

   - fuer die Modellierung technischer und physikalischer Systeme
     (Fachgruppe 2  Qualitatives Schliessen) und

   - beim Umgang mit Alltagswissen
     (Fachgruppe 3 Nichtmonotones Schliessen)

typisch sind.
 
Der Fachausschuss bildet den organisatorischen Rahmen fuer  Aktivitaeten
und den  Erfahrungsaustausch  von  Wissenschaftlern  und  Anwendern.  Er
arbeitet mit anderen Fachausschuessen  und  Fachgruppen  der  GI,  sowie
Forschungs- und Entwicklungseinrichtungen zusammen.

Der Fachausschuss bietet  den  zustaendigen  Organen  der  GI  fachliche
Unterstuetzung  bei  Ausbildungs-,  Unterrichts-  und  Berufsfragen   im
Bereich der Inferenzsysteme.

------------------------------------------------------------------------
ANHANG 2

         Ordnung der Fachgruppe Deduktionssysteme im FB KI
         --------------------------------------------------

1. Fuer die Fachgruppe (FG) gilt die aktuelle Geschaeftsordnung der
   GI-Gliederungen. Die Fachgruppenleitung (FGL) setzt sich demgemaess
   zusammen aus

      (a) Mitgliedern der FG, die auf Zeit von der zustaendigen FBL, FAL
          oder FGL berufen werden
      (b) externen Fachexperten, die auf Vorschlag der FGL von der FAL
          auf Zeit berufen werden
      (c) dem Sprecher der FG und seinem Stellvertreter

2. Die FG hat den Namen Deduktionssysteme.
3. Die FG ist dem FA Inferenzsysteme zugeordnet.
4. Aufgaben und Ziele der FG

      Die Fachgruppe foerdert den Austausch von Erkenntnissen ueber
      formale Beweisverfahren zur Loesung von Aufgabenstellungen, die in
      der Mathematik und Informatik Verwendung finden. Die Fachgruppe
      unterstuetzt dabei die Vermittlung von Ergebnissen, die sowohl bei
      theoretischer Untersuchung als auch bei praktischer Realisierung
      von Problemloesungen in Gebieten, wie etwa Automatisches Beweisen,
      Programmverifikation und -synthese, Termersetzungssysteme,
      Unifikationstheorie, Programmieren und Planen mit Logik erarbeitet
      wurden. Zu diesem Zweck veranstaltet die Fachgruppe regelmaessig
      Klausurtagungen sowie Arbeitstreffen zu speziellen Themen aus dem
      Bereich der Deduktionssysteme. Die Fachgruppe unterstuetzt die
      Zusammenarbeit und den Erfahrungsaustausch mit anderen
      interessierten Gruppen und Organisationen - insbesondere aus
      Anwendungsgebieten - durch Ausrichtung gemeinsamer Arbeitstreffen.
      Die Fachgruppe bietet fachliche Unterstuetzung bei Ausbildungs-,
      Unterrichts- und Berufsfragen im Bereich der Deduktionssysteme.


5. Geplante Aktivitaeten der FG
     siehe 4.

 
6. Mitgliedschaft

   6.1 Beitritt
       Die FGL kann auf Antrag neue Mitglieder in die FG aufnehmen.
       Der Antrag wird an die GI-Geschaeftsstelle gestellt.

   6.2 Austritt
       Jedes Mitglied kann durch schriftliche Erklaerung zum Ende
       eines Geschaeftsjahres austreten. Die Erklaerung muss bis zum
       1. Oktober desselben Jahres oder spaetestens 4 Wochen nach
       Bekanntgabe einer  Aenderung der Ordnung oder einer
       Beitragserhoehung  der  GI-Geschaeftsstelle eingegangen sein.

   6.3 Ausschluss
       Die FGL kann einstimmig den Ausschluss eines Mitglieds der
       FG beschliessen.

   6.4 Rechte und Pflichten
       Die FG erhebt einen Beitrag von DM 30 fuer GI-Mitglieder
       bzw. von DM 40 fuer Nicht-GI-Mitglieder und DM 1o fuer Studenten.
       Ist ein Mitglied bereits in einer anderen FG des FB Kuenstliche
       Intelligenz Mitglied und zahlt dort den vollen Beitrag,
       ermaessigt sich der Betrag auf 50 %.
       ***** Dieser Punkt muss einheitlich in allen FG des FB KI lauten.
       Dies ist unser Vorschlag.*****


7. Fachgruppenleitung

   7.1 Die FG waehlt den Sprecher der FG fuer eine Amtszeit von 3 Jahren.
       Die FG waehlt den stellvertretenden Sprecher der FG fuer
       eine Amtszeit von 3 Jahren.

   7.2 Die FGL kann auf Vorschlag des Sprechers verantwortliche
       Referenten fuer wichtige vordefinierte Aufgabenbereiche waehlen
       und zu Mitgliedern der FGL berufen. Die FGL kann auf Vorschlag
       des Sprechers verantwortliche Kontaktpersonen aus anderen FG der
       GI zu nicht stimmberechtigten Mitgliedern der FGL berufen.

   7.3 Scheiden der FG-Sprecher, der Stellvertreter oder ein Referent
       vorzeitig aus, so wird dieser neu gewaehlt.

   7.4 Die FGL kann den FG-Sprecher vorzeitig von seinen Aufgaben
       entbinden und Neuwahlen ausschreiben. Im Einvernehmen mit dem
       Sprecher koennen sein Stellvertreter oder Referenten vorzeitig
       von ihren Aufgaben entbunden werden.

 
8. Verfahren fuer die Wahl der FG-Sprechers und seines Stellvertreters

   8.1 Die FGL ernennt einen Wahlleiter und dessen Stellvertreter zur
       Durchfuehrung der Wahlen.

   8.2 Der Wahlleiter sammelt Kandidatenvorschlaege fuer die Positionen
       des Sprechers und dessen Stellvertreters. Gewaehlt werden kann
       jedes Mitglied der FG mit Ausnahme des Wahlleiters und seines
       Stellvertreters. Die Vorschlagsliste wird den Mitgliedern der FG
       zusammen mit den Wahlunterlagen zugestellt.

   8.3 Die Wahl erfolgt in einer brieflichen Abstimmung. Die
       Stimmzettel muessen spaetestens vier Wochen nach Zustellung der
       Kandidatenliste beim Wahlleiter eingegangen sein.

   8.4 Gewaehlt ist, wer mehr Ja- als Nein-Stimmen erhaelt. Wurden
       mehrere Kandidaten vorgeschlagen, so ist derjenige Kandidat mit
       dem hoechsten Zustimmungsergebnis (Ja/Nein-Stimmen Differenz)
       gewaehlt.

 
9. Verfahren bei Aufloesung der FG

   *** Dieser Punkt sollte einheitlich in allen FG des FB KI lauten. ***
 

10. Die Ordnung der FG kann auf Vorschlag der FGL in Uebereinstimmung
    der FG-Mitglieder geaendert werden. Aenderungsvorschlaege muessen
    den Mitgliedern der FG schriftlich vorliegen.

------------------------------------------------------------------------
ANHANG 3
 
       Ordnung der Fachgruppe Qualitatives Schliessen im FB KI
       -------------------------------------------------------

wie Anhang 2 mit Ausnahme der folgenden Punkte 4 und 5

4. Aufgaben und Ziele der FG

Der thematische Rahmen der Fachgruppe ist bestimmt durch Grundlagen
und Methoden der qualitativen Modellierung von und des qualitativen
Schliessens ueber naturwissenschaftliche Phaenomene und technische
Prozesse und Systeme. Dies beinhaltet

- die Repraesentation der wesentlichen Charakteristika von Struktur,
  Verhalten und Funktion physikalischer Systeme,
- die Behandlung kausaler, zeitlicher und raeumlicher Beziehungen,
- die Verwendung von qualitativen Kalkuelen, qualitativer Simulation
  und Schluss weisen der KI,
- die Erforschung mentaler Modelle physikalischer Phaenomene
  (``Naive Physik'') und
- die Integration und Kombination von entwickelten Verfahren

Das Ziel der Fachgruppe ist

- der Austausch zwischen den arbeitenden Gruppen,
- die Unterstuetzung beim Aufbau neuer Gruppen und Projekte,
- der fachliche Austausch mit angrenzenden Gebieten und
- die Pflege der internationalen Forschungskontakte

Die Fachgruppe bietet fachliche Unterstuetzung bei Ausbildungs-,
Unterrichts- und Berufsfragen im Bereich des Qualitativen Schliessens.

 
5. Geplante Aktivitaeten der FG
     Zur Erreichung der in 4. genannten Ziele sind vor allem die
     folgenden Massnahmen geplant:

       - Gruppentreffen, Workshops und spezielle Sektionen (z.B. auf der
         GWAI). Die Treffen sollen reihum bei einer der beteiligten
         Gruppen stattfinden, insbesondere deren Praesentation dienen
         und ein Schwerpunktthema haben. Auch gemeinsame Workshops mit
         GI-Fachgruppen und Gruppen angrenzender Nachbargebiete sollten
         durchgefuehrt und diese ueber die Aktivitaeten des
         Arbeitskreises informiert werden.

       - Austausch von Informationen, Papieren, Projektberichten. Dazu
         sollen eine den Mitgliedern zur Verfuegung stehende
         Adressenkartei und e-mail genutzt werden.

       - Organisierung von Beitraegen zur KI, Rezensionen,
         Workshop-Berichten.
 
------------------------------------------------------------------------
ANHANG 4
 
       Ordnung der Fachgruppe Nichtmonotones Schliessen im FB KI
       ---------------------------------------------------------
 
wie Anhang 2 mit Ausnahme der folgenden Punkte 4 und 5
 
4. Aufgaben und Ziele der FG

     Die Fachgruppe befasst sich mit nichtmonotonen Schlussweisen, die
     typischerweise beim Umgang mit Alltagswissen (commonsense
     reasoning) vorkommen und somit fuer eine Modellierung intelligenten
     Verhaltens von erheblicher Bedeutung sind. Schwerpunkte des
     Interesses sind die formale Beschreibung nichtmonotonen Schliessens
     sowie die Entwicklung und Analyse von effizienten Verfahren und
     implementierten Systemen. Dazu gehoeren insbesondere folgende
     Themenbereiche:

       - generelle Eigenschaften nichtmonotoner Inferenzrelationen,
       - nichtmonotone Logiken und Beweistechniken,
       - nichtmonotone Vererbungssysteme,
       - Truth Maintenance Systeme und
       - Belief Revision.

     Ziele der Fachgruppe sind:

       - Foerderung der Diskussion und des Informations- und
         Erfahrungsaustauschs,
       - Unterstuetzung beim Aufbau neuer Gruppen und Projekte,
       - Aufbau und Pflege internationaler Forschungskontakte,
       - fachlicher Austausch mit angrenzenden Forschungsgebieten sowie
         potentiellen Anwendern, sowie
       - Unterstuetzung bei Ausbildungs-, Unterrichts- und Berufsfragen
         im Bereich nichtmonotones Schliessen


5. Geplante Aktivitaeten der FG:

     - Es werden regelmaessige Treffen und Workshops veranstaltet, die
       sowohl der Praesentation und Diskussion der eigenen Arbeiten
       dienen als auch eine rasche Information ueber aktuelle
       internationale Entwicklungen ermoeglichen

     - Der Austausch von Informationen, Projektberichten und Papieren
       soll organisatorisch unterstuetzt werden

     - Es sollen Schulungsveranstaltungen (etwa waehrend der KIFS)
       angeboten werden, die das Interesse an dem Forschungsthema
       erhoehen und den Ausbildungsstand verbessern sollen. Die
       Erstellung von einfuehrender Literatur und Kursmaterialen soll
       unterstuetzt werden.

     - Die in Deutschland stattfindenden Forschungsaktivitaeten sollen
       im In- und Ausland bekannt gemacht werden. Dadurch sollen
       potentielle Anwender auf fuer sie interessante Entwicklungen
       hingewiesen werden sowie die internationalen Forschungskontakte
       intensiviert werden.
************************************************************************