Vorlesung:

Mo 10:00-12:00 online

• KILOG (2V + 1Ü): vom 12.4. bis einschließlich 12.07.

• KILOG Ersatztermin für 24.Mai: 19. Mai, Mittwoch, 16:00-17:45

• KILOG Klausur 1: 27.7.2021 10:00 im HS VI; Klausur 2: 21.9.2021 9:00 im HS II
• Anmeldung zur 2. Klausur 27.7-14.9; Rücktritt bis 19.9.2021.

• vorr. Mi 16:00-17:00, online mit Daniel Helmke
• Mi 21.4.2021 16:00-17:00, online. Der Zoom-Link ist in Moodle.
• Mi 28.4.2021 16:00-18:00, online
• Findet alle zwei Wochen statt: am 12.5; 26.5; 9.6; 23.6; 7.7. Der Zoom-Link ist in Moodle.

Die Aufgabenblätter werden im Laufe des Semesters bereitgestellt.

• Blatt 1 (blatt1.pdf) ist bis Montag, den 26.4., zu lösen
• Blatt 2 (blatt2.pdf) ist bis Montag, den 10.5., zu lösen
• Blatt 3 (blatt3.pdf) ist bis Montag, den 24.5., zu lösen
• Blatt 4 (blatt4.pdf) ist bis Montag, den 7.6., zu lösen
• Blatt 5 (blatt5.pdf) ist bis Montag, den 21.6., zu lösen
• Blatt 6 (blatt6.pdf) ist bis Montag, den 5.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 (alt) (vier Folien pro Seite): [07-aussagenlogik-4sw.pdf]
  Folien annotiert: [07-aussagenlogik-annotiert.pdf]
  Folien vom 3.5. annotiert: [07-aussagenlogik-annotiert.pdf]
• Folien zu Kapitel 2- Prädikatenlogik:
  Bildschirmversionen: [08-praedikatenlogik-annotiert-22.pdf]
  Folien Fortsetzung 1: [08-praedikatenlogik-B-annotiert.pdf]
  Folien Fortsetzung 2: [08-praedikatenlogik-C-annotiert.pdf]
  Druckversion (alt) (vier Folien pro Seite): [08-praedikatenlogik-4sw.pdf]
  
• Folien zu Kapitel 3 - Allensche Zeitlogik:
  Bildschirmversion: [10-allen-annotiert.pdf]
  Druckversion (vier Folien pro Seite): [11-allen-4sw.pdf]
• Folien zu Kapitel 4 - Modallogik:
  Bildschirmversion: [09b-modal-annotiert.pdf]
  Bildschirmversion; aktualisiert. [09b-modal-aktual.pdf]
  Druckversion (vier Folien pro Seite): [09b-modal-4sw.pdf]
• Folien zu Kapitel 5 - Konzeptbeschreibungssprachen:
  Bildschirmversion: [12-beschreibungslogik-annotiert.pdf]
  Bildschirmversion: [12-beschreibungslogik.pdf]
  Druckversion (vier Folien pro Seite): [12-beschreibungslogik-4sw.pdf]
• Folien zu letzter Vorlesungsstunde:
  Bildschirmversion: [Allen-annotiert.pdf]
  Bildschirmversion: [Aussagenlogik-annotiert.pdf]
  Bildschirmversion: [Modallogik-annotiert.pdf]
  Bildschirmversion: [Prädikatenlogik-annotiert.pdf]
  Nur an einigen Stellen ist etwas eingefügt!
  

Programme

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