Vorlesung:

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

• KILOG (2V + 1Ü): vom 11.4. bis einschließlich 11.07.
• KILOG: Vorlesung auch hybrid; BBB-link ist in Moodle
• Evaluation am 20.6.2023; 10-12; Zugang ist in Moodle und Folien

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

• Do : 14:00-16:00 in H11 Tutor: Lars Huth
• Termine: Erster Termin für allgemeine Fragen: Do 13.4
• Termine: Zweiter Termin: Aufgabenbesprechung: Do 27.4
• Findet alle zwei Wochen statt:

Die Aufgabenblätter werden im Laufe des Semesters bereitgestellt.

• Blatt 1 (blatt1.pdf) ist bis Montag, den 24.4. zu lösen
• Blatt 2 (blatt2.pdf) ist bis Dienstag, den 9.5. zu lösen
• Blatt 3 (blatt3.pdf) ist bis Dienstag, den 23.5. zu lösen
• Blatt 4 (blatt4.pdf) ist bis Dienstag, den 13.6. zu lösen
• Blatt 5 (blatt5.pdf) ist bis Dienstag, den 27.6. zu lösen
• Blatt 6 (blatt6.pdf) ist bis Dienstag, den 11.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]
  
• Folien zu Kapitel 4 - Modallogik:
  Bildschirmversion: [09b-modal.pdf]
  Druckversion (vier Folien pro Seite): [09b-modal-4sw.pdf]
  
• Folien zu Kapitel 5 - Konzeptbeschreibungssprachen:
  Bildschirmversion: [12-beschreibungslogik.pdf]
  Druckversion (vier Folien pro Seite): [12-beschreibungslogik-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: http://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: http://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