Vorlesung:

Di 10:00-12:00 Präsenz in H12 (und online)

• KILOG (2V + 1Ü): vom 22.4.25 bis einschließlich 25.07.25
• KILOG: Vorlesung auch hybrid; BBB-link ist in Moodle
• Evaluation am xx.xx.2025; 10-12; Zugang (link; QR-Code) ist in Moodle und Folien

• KILOG Klausur 1: 30.7.2025,10:00 H III ; Klausur 2: 30.9.2025 10:00 H I
• Anmeldung und Rücktritt über Prüfungsamtsschnittstelle online

• Fr : 12:00-14:00 in H12 Tutor: Tobi Bock
• Termine: Erster Termin: Aufgabenbesprechung: 9.5.2024
• Findet alle zwei Wochen statt (siehe 01-orga-uebersicht unten):

Die Aufgabenblätter werden im Laufe des Semesters bereitgestellt.

• Blatt 1 (blatt1.pdf) ist bis Montag, den 5.5 zu lösen
• Blatt 2 (blatt2.pdf) ist bis Montag, den 19.5. zu lösen
• Blatt 3 (blatt3.pdf) ist bis Montag, den 2.6. zu lösen
• Blatt 4 (blatt4.pdf) ist bis Montag, den 16.6. zu lösen
• Blatt 5 (blatt5.pdf) ist bis Montag, den 7.7. zu lösen

Skript

• skript-KILOG.pdf (von 2021)

Folien

• 01-orga-uebersicht.pdf

• Folien zu Kapitel 1 - Aussagenlogik:
  Bildschirmversion: [07-aussagenlogik.pdf]
  Druckversion (vier Folien pro Seite): [07-aussagenlogik-4sw.pdf]
  
• Folien zu Kapitel 2- Prädikatenlogik:
  Bildschirmversionen: [08-praedikatenlogik.pdf]
  Druckversion (vier Folien pro Seite): [08-praedikatenlogik-4sw.pdf]
  
• Folien zu Kapitel 2b - SMT-Solver:
  Bildschirmversionen: [08b-SMT-Solver.pdf]
  Druckversion (vier Folien pro Seite): [08b-SMT-Solver-4sw.pdf]
  
• Folien zu Kapitel 3 - Allensche Zeitlogik:
  Bildschirmversion: [10-allen.pdf]
  Druckversion (vier Folien pro Seite): [10-allen-4sw.pdf]
  

Programme

• DPLL-Algorithmus:
  • Eigentlicher Davis-Putnam Algorithmus: DavisPutnam.hs
  • Schnellere Variante: DavisPutnamschnell.hs
  • Beispiele: DPexamples.hs
  • Benötige Hilfsmodule: Prop.hs, SimpCnf.hs, Simp.hs
  • Webinterface zur DPLL Prozedur: https://www2.ki.informatik.uni-frankfurt.de/lehre/allgemein/DP/cgi-bin/DPCGI.cgi
  
  
  Ein Konsolenprogramm in Haskell ist hier als Cabal-Paket verfügbar: dpll-0.1.0.0.tar.gz. Nach dem Entpacken kann mit

  cabal configure
cabal build

  Das Konsolenprogramm compiliert werden (Cabal und GHC sind in der Haskell-Platform enthalten. Das compilierte Programm liegt dann im Verzeichnis dist/build/dpconsole/ und kann mit ./dpconsole (Linux) bzw. dpconsole.exe (Windows) aufgerufen werden. Die angezeigte Hilfe sollte selbsterklärend sein.
  • Webinterface zum Allenschen Abschluss: https://www2.ki.informatik.uni-frankfurt.de/lehre/allgemein/Allen/cgi-bin/Allen.cgi
  • Haskell-Paket zum Allenschen Abschluss allen-0.1.0.0.tar.gz: Nach dem Entpacken kann mit

    cabal configure
cabal build

    das Konsolenprogramm compiliert werden (Cabal und GHC sind in der Haskell-Platform enthalten. Das compilierte Programm liegt dann im Verzeichnis dist/build/allen/ und kann mit ./allen (Linux) bzw. allen.exe (Windows) aufgerufen werden. Die angezeigte Hilfe sollte selbsterklärend sein.
  • Haskell-Programme zu Konzeptbeschreibungssprachen: Struktureller Subsumtionstest für FL0: DL.hs, benötigt den Parser DLParse.hs (der mit happy aus der Spezifikation DLParse.y erzeugt wurde)

Bücher

• Stuart Russell, Peter Norvig: Artificial Intelligence: A Modern Approach, 3. Auflage, 2010, Prentice Hall.
• Martin Kreuzer, Stefan Kühling: Logik für Informatiker, Pearson Studium, 2006
• David Poole, Alan Mackworth: Artificial Intelligence: Foundations of Computational Agents, 2010, Cambridge University Press,
  auch online unter http://artint.info/ verfügbar
• Wolfgang Ertel: Grundkurs Künstliche Intelligenz: Eine praxisorientierte Einführung, 2009, Vieweg-Teubner Verlag.
  Aus dem Netz der Universität als E-Book kostenlos verfügbar unter http://www.springerlink.com/content/t13128/
• Franz Baader, Deborah McGuiness, Daniele Nardi, and Peter Patel-Schneider: The description logic handbook, 2002, Cambridge university press.
  

Weblinks

• Java Applets zur Suche: http://www.aispace.org/
• Der SAT-Solver Sat4j ist hier: sat4j.org zu finden.
• SWI-Prolog: http://www.swi-prolog.org
• Learn Prolog Now!: http://www.learnprolognow.org/

Master

• Die Veranstaltung KILOG ist Wahlpflichtveranstaltung der Module M-SIW-W1A, M-SIW-W1B, M-SIW-W2, M-SIW-VA, M-SIW-VB,M-SIW-VC, M-Theo-IDS-A, M-Theo-IDS-B, M-WR-IDSA, M-WR-IDSB

uni ffm © 1997, 2004