🚀 go-pugleaf

From: "Norbert E. Fuchs" <unido!cernvax!unizh!fuchs>
To: mod-ki@unido.uucp
Date: 22 Aug 89 11:17 +0200
Subject: Fortbildungsseminar Logische Programmierung
Keywords: Seminare

mod-ki message 0282
************************************************************************
Institut fuer Informatik der Universitaet Zuerich
 
Fortbildungsseminar in Wirtschaftsinformatik
'Anwendungen der Logischen Programmierung'
 
5./6. September 1989
Universitaet Zuerich-Irchel, Hoersaal 60
 

Zielsetzung und Inhalt
----------------------
Traditionellerweise  gilt   Logik   als   Sprache   fuer   mathematische
Fragestellungen. Sie war daher lange Zeit nur fuer Spezialisten  dieses Gebietes
von Interesse.

Um 1970  wurde  jedoch  erkannt,  dass  man  logische  Axiome  auch  zur
Darstellung beliebiger Tatbestaende verwenden kann. Fragen  ueber  diese
Tatbestaende werden als logische  Theoreme  formuliert,  die  von  einem
entsprechenden  Interpreter  automatisch  aus  den   gegebenen   Axiomen
bewiesen werden. Variablen innerhalb  von  Fragen  werden  waehrend  des
Beweises an Werte gebunden, die als  Resultate  ausgegeben  werden.  Man
spricht von Berechnung durch  Beweis.  Logische  Programmierung  besteht
also aus der Verwendung von Logik fuer die explizite Repraesentation von
Problemen und  ihren  Wissensbasen,  zusammen  mit  der  Verwendung  von
kontrollierter logischer Inferenz zur Loesung dieser Probleme. Kowalski,
einer der Gruender der  logischen  Programmierung,  praegte  die  Formel
'Algorithm = Logic + Control'.

Aus diesem Konzept entstand die  Programmiersprache  Prolog,  die  neben
Lisp zu den wichtigsten Sprachen der  kuenstlichen  Intelligenz  zaehlt.
Darueber hinaus ist Prolog aber grundsaetzlich fuer  die  Loesung  aller
Probleme  geeignet,  bei  denen  es  um  die  Verarbeitung  symbolischer
Strukturen   geht.   Prolog   enthaelt    verschiedene    nicht-logische
Erweiterungen,  die   es   zu   einer   praktikablen   und   effizienten
Programmiersprache machen.

Das  Fortbildungsseminar  'Anwendungen  der  Logischen   Programmierung'
besteht aus zwei aufeinander aufbauenden eintaegigen  Kursen,  die  auch
einzeln belegt  werden  koennen.  Der  erste  Kurs  ist  eine  intensive
Einfuehrung in die Sprache Prolog  und  in  Prolog-Programmiertechniken.
Im zweiten Kurs, der  Prolog-Kenntnisse  voraussetzt,  werden  deduktive
Datenbanken, Metainterpreter, deklaratives  Programmieren  und  logische
Grammatiken behandelt.

In beiden Kursen wechseln sich Vortraege, Demonstrationen  und  Uebungen
ab. Die  Uebungen  finden  in  den  Uebungsraeumen  des  Instituts  fuer
Informatik statt. Verwendet wird  das  LPA  MacProlog  auf  Macintosh II
Rechnern.


Seminarprogramm
---------------
5. September: Prolog-Intensivkurs

          9.00  -  10.00   Reines Prolog
         10.00  -  10.30   Kaffeepause
         10.30  -  12.00   Strukturuntersuchungen, metalogische und
                           extralogische Praedikate
         12.00  -  13.00   Uebungen
         13.00  -  14.00   Mittagessen in der Mensa
         14.00  -  15.00   Cut und Negation, Mengenpraedikate
         15.00  -  15.30   Kaffeepause
         15.30  -  16.30   Prolog-Programmiertechniken
         16.30  -  17.30   Uebungen

6. September: Anwendungen der logischen Programmierung
 
          9.00  -  10.00   Prolog und deduktive Datenbanken
         10.00  -  10.30   Kaffeepause
         10.30  -  12.00   Metainterpreter fuer Expertensysteme
                           und anderes
         12.00  -  13.00   Uebungen
         13.00  -  14.00   Mittagessen in der Mensa
         14.00  -  15.00   Deklaratives Programmieren
         15.00  -  15.30   Kaffeepause
         15.30  -  16.30   Logische Grammatiken
         16.30  -  17.30   Uebungen


Organisation
------------
Seminarleitung            Dr. N. E. Fuchs
 
Referenten                Dipl. Inform. C. Draxler
                          Dipl. Informatik-Ing. M. Fromherz
                          Dr. N. E. Fuchs
                          Dr. M. Hess
 
Auskuenfte &              Institut fuer Informatik
Anmeldung                 Universitaet Zuerich-Irchel
                          Winterthurerstrasse 190
                          CH-8057 Zuerich
                          01 / 257 43 21

Seminargebuehr            1 Tag pro Teilnehmer/in        Fr. 300.--
                          2 Tage pro Teilnehmer/in       Fr. 600.--
 
                          Angestellte der Zuercher
                          Hochschulen                    Fr.  80.-- /Tag

                          Die Kosten fuer Kaffee und  Mittagessen  sowie
                          die Seminarunterlagen  sind  in  diesem  Preis
                          inbegriffen. Bitte bezahlen Sie erst  aufgrund
                          der schriftlichen  Rechnungsstellung  bei  der
                          Anmeldungsbestaetigung.
 
                          Hotelreservation ist Sache des Teilnehmers
 
                          Die Teilnehmerzahl ist beschraenkt.
 
Abmeldungen               bis  5  Arbeitstage  vor  Seminarbeginn   sind
                          gebuehrenfrei.  Bei    nicht    fristgerechter
                          Abmeldung  muessen  20%  der  Teilnahmegebuehr
                          bezahlt    werden.    Bei     unentschuldigtem
                          Fernbleiben ist die ganze Teilnahmegebuehr  zu
                          entrichten.
************************************************************************