Vorlesung: Grundlagen der Logik und Logik-Programmierung
(G. Görz)

Zeit und Ort: Mi. 8:15-9:45, H4

Sprechstunde Prof. Görz: Mo., 11:30-12:30 oder n.V.; Haberstr. 2, 3.017

Für die Übungen zur Vorlesung gibt es eine eigene Seite.

Fragen zu Inhalt und Organisation der Vorlesung und Übung bitte an:

Richard Schaller, 852-9910

richard.schaller at informatik.uni-erlangen.de

Sprechstunde: n.V., Raum 3.007, Haberstr. 2

Gliederung der Vorlesung und Folien

1. Einleitung: Logisches Argumentieren
   (Folien Einleitung [pdf] --- Zur Webseite [pdf] --- Kap.1 [pdf]
   2auf1 Einleitung [pdf] --- Zur Webseite [pdf] --- Kap.1 [pdf] )
2. Quantoren
   (Folien Kap.2 [pdf]
   2auf1 Kap.2 [pdf] )
   Ein Beispieldialog verbalisiert: Perle42 glänzt
3. Relationen
   (Folien Kap.3 [pdf]
   2auf1 Kap.3 [pdf] )
4. Anfangsgründe von Prolog
   (Folien Kap.4 [pdf]
   2auf1 Kap.4 [pdf] )
5. Wahrheit
   (Folien Kap.5 [pdf] ) Ergänzung: Einige Dialoge / Colosseum [pdf]
   2auf1 Kap.5 [pdf] ) Ergänzung: Einige Dialoge / Colosseum [pdf] )
6. Klassische Logik
   (Folien Kap.6 [pdf]
   2auf1 Kap.6 [pdf] )
7. Logikkalküle
   (Folien Kap.7 [pdf]
   2auf1 Kap.7 [pdf] )
8. Prolog: Theoretische Grundlagen
   (Folien Kap.8 [pdf]
   2auf1 Kap.8 [pdf] )
9. Fortgeschrittene Logikprogrammierung
   Folien Kap.9 [pdf]
   2auf1 Kap.9 [pdf] )
10. Modellierung mit logischen Mitteln
    (Folien Kap.10 [pdf]
    2auf1 Kap.10 [pdf] )
11. Anwendungen der Logik in den Formalwissenschaften
    (Folien Kap.11 [pdf]
    2auf1 Kap.11 [pdf] )

Verbindliche Sprachdefinition von Prolog

• ISO/IEC CD 13211-1: 1996 (E) [pdf]
• Summary of Draft ISO Prolog [pdf]

Lehrbücher zur Vorlesung

Vorrangig

• Inhetveen, R.: Logik --- eine dialog-orientierte Einführung.
  Leipzig: Edition am Gutenbergplatz, 2003
• Schöning, U.: Logik für Informatiker.
  Heidelberg: Spektrum Akademischer Verlag, 2000
• Nilsson, U.; Maluszynski, J.: Logic, Programming and Prolog.
  Hoboken, NJ: Wiley & Sons, 2nd edition, 1996 (online als pdf-Datei verfügbar!)
  Dort ist auch eine Druckfehlerliste zu finden.
• Blackburn, P.; Bos, J.; Striegnitz, K.: Learn Prolog Now! (Online-Kurs)
  Buchausgabe in der Reihe: Texts in Computing, Vol. 7. London: College Publications, 2006

Weitere Empfehlungen: Logik

• Barwise, J.; Etchemendy, J.: Language, Proof, and Logic.
  CSLI Publications, New York: Seven-Bridges-Press, 2000
  Deutsche Übersetzung:
  Sprache, Beweis und Logik. Bd. 1: Aussagen- und Prädikatenlogik. Bd. 2: Anwendungen und Metatheorie.
  Paderborn: Mentis-Verlag, 2005
• Bornat, R.: Proof and Disproof in Formal Logic. An Introduction for Programmers.
  Oxford Texts in Logic, Vol. 2. Oxford: Oxford University Press, 2005.
  Cf. Jape : Logik-Software!
• Copi, I. M.: Einführung in die Logik. UTB für Wissenschaft: Mittlere Reihe, 2031. München: Fink, 1998
• van Dalen, D.: Logic and Structure Series: Universitext. 4th ed., Berlin: Springer, 2004
• Davis, R. E.: Truth, Deduction, and Computation : Logic and Semantics for Computer Science.
  Principles of computer science series, New York: Computer Science Press, 1989
• Fitting, M.: First-Order Logic and Automated Theorem-Proving.
  New York: Springer, 1996
• Føllesdal, D.; Walløe, L.; Elster, J.: Rationale Argumentation : Ein Grundkurs in Argumentations- und Wissenschaftstheorie.
  De-Gruyter-Studienbuch, Berlin u.a.: de Gruyter, 1988
• Heinemann, B., Weihrauch, K.: Logik für Informatiker.
  Stuttgart: B.G. Teubner, 1991
• Hilbert, D.; Ackermann, W.: Grundzüge der theoretischen Logik.
  Die Grundlehren der mathematischen Wissenschaften, 27. Berlin: Springer, 5. Aufl., 1967
• Kreuzer, M.; Kühling, S.: Logik für Informatiker.
  München: Pearson Studium, 2006
• Hölldobler, S.: Logik und Logikprogrammierung. Band 1: Grundlagen.
  Heidelberg: Synchron, 2009
• Lover, R.: Elementary Logic For Software Development.
  London: Springer, 2008
• Smullyan, R. M.: First-order Logic.
  Ergebnisse der Mathematik und ihrer Grenzgebiete, 43. Berlin: Springer, 1971

Weitere Empfehlungen: Prolog

• Apt, K. R.: From Logic Programming to Prolog.
  Prentice Hall international series in computer science, London: Prentice-Hall, 1997
• Bratko, I.: PROLOG Programming for Artificial Intelligence.
  International computer science series, Wokingham: Addison-Wesley, 1990
• Covington, M. A.; Nute, D.; Vellino, A.: Prolog Programming in Depth.
  Upper Saddle River, NJ: Prentice Hall, 1997
• Deville, Y.: Logic Programming. Systematic Program Development.
  Wokingham: Addison-Wesley Publishing Company, 1990
• Hogger, C. J.: Essentials of Logic Programming.
  Graduate texts in computer science, 1. Oxford: Clarendon Press, 1990
• O'Keefe, R. A.: The Craft of Prolog.
  Cambridge, Mass.: MIT Press, 1990
• Nerode, A.; Shore, R. A.: Logic for Applications.
  Graduate Texts in Computer Science, New York [u.a.]: Springer, 2. ed., 1997
• Pereira, F.; Shieber, S.: Prolog and Natural Language Analysis.
  Stanford, CA: CSLI, Lecture Notes No. 10, 1987
  (Millenium reedition von Microtone Publishing, Brookline, MA, 2002, online als pdf-Datei verfügbar!)
• Shoham, Y.: Artificial Intelligence Techniques in Prolog.
  San Francisco, Calif.: Morgan Kaufmann, 1994
  Programmdateien zum Buch
• Sterling, L.; Shapiro, E.: The Art of PROLOG : Advanced Programming Techniques.
  Cambridge, Mass: MIT Press, 2. ed., 1994

Handapparat zur Vorlesung mit weiterführender Literatur: Nr. 2 in der Gruppenbibliothek Informatik

Nützliche Hinweise und Materialien

• Lernprogramme und Skripten
• Dialogical Logic (Laurent Keiff, Stanford Encyclopedia of Philosophy
• Logik für Informatiker (Bernhard Beckert, Univ. Koblenz)
• Logik mit Übungen (Timm Lampert, Univ. Bern)
  --- "Sehr klassische" Einführung in die klassische Logik mit einigen Software-Werkzeugen
  
• Prolog Tutorial (Norbert Fuchs, Univ. Zürich) [pdf]
  --- sehr elementarer Überblick
• Prolog. A Tutorial Introduction (James Lu, Jerud J. Mead, Bucknell Univ.) [pdf]
• Prolog Tutorial (J.R. Fisher, Cal Poly Pomona) [html]
  --- enthält zahlreiche Programmbeispiele
• Prolog for Software Engineering (Peter Reintjes) [html]
  --- enthält zwei Fallstudien
• Description Logic Course (Enrico Franconi, FU Bozen) [html/pdf]
  (Computational Logics, Description Logics, Conceptual Modelling, Databases, and Formal Ontologies)
• Ontology Development 101: A Guide to Creating Your First Ontology (Natalya F. Noy, Deborah L. McGuinness, Stanford Univ.) [html/pdf]
• A Practical Guide To Building OWL Ontologies With The Protege-OWL Plugin (Matthew Horridge et al., Univ. of Manchester) [pdf]
• Logik-Software
• Colosseum: Claus Zinns Tableau-Beweiser für die effektive Quantorenlogik (aktuelle lokale Version mit erweiterter Ausgabe von Martin Gropp)
• DiaLogic: Das Erlanger System zur dialogischen Logik
• Jape: A Framework for Building Interactive Proof Editors
• Truth Table Tutor (J. MacFarlane, UC Berkeley)
• LWB: The Logics Workbench (G. Jaeger et al., Univ. Bern)
• Der Logik-Rechner (C. Gottschall, Univ. Wien)
• Logic Software and Logic Education
• The Logic Machine: Logic Software at Texas A&M University
• Logik-Software vom CSLI, Stanford (u.a. zum Lehrbuch von Barwise/Etchemendy, dem sie auf CD-ROM beiliegt [Macintosh-Version])
  Hierzu siehe auch:
  Barwise, J.; Etchemendy, J.: Computers, visualization and the nature of reasoning [pdf]
• Logik-Programmierung, Prolog und "Computational Logic"
• SWI Prolog's Home Page
• Michael Covington: Some Coding Guidelines for Prolog [pdf]
• C. Beckstein, H.-J. Eikmeyer, G. Görz: Fortgeschrittene KI-Programmierung (mit Scheme und Prolog) [pdf]
  Kap. 9 aus: G. Görz (Hg.): Einführung in die Künstliche Intelligenz. 2. Auflage (vergriffen). Bonn: Addison-Wesley, 1995
• An Elementary Prolog Library [html]
• Logic Programming Virtual Library
• Algorithms in (LPA-) Prolog (Colin Barker) [html]
• Torsten Schaub's Collection on Answer Set Programming and more
• Description Logics
• Hybrid Logics
• Übersichtsartikel zum Automatischen Beweisen mit vielen Links:
  in Stanford Encyclopedia of Philosophy
  in Wikipedia
  
• Links
• What modern logic is all about:
  Johan van Benthem: Logic in Philosophy. In: Dale Jacquette, ed.: Handbook of the Philosophy of Logic, Elsevier, Amsterdam, 2007
• Eine amüsante und informative Geschichte der modernen Logik und der Grundlagenkrise der Mathematik:
  Apostolos Doxiadis et al.: Logicomix: Eine epische Suche nach Wahrheit. Hamburg: Atrium-Verlag, 2009
• Auch ganz unterhaltsam:
  Dan Cyran et al.: Logik, Ein Sachcomic Überlingen: TibiaPress, 2010
• P. Schroeder-Heister, P. Contu: Folgerung aus: W. Spohn et al. (Hg.): Logik in der Philosophie. Heidelberg, 2005
• John MacFarlane: What Does it Mean to Say that Logic is Formal? Ph.D. Dissertation, Pittsburgh, 2000
• Formal Methods (World Wide Web Virtual Library)
• Mathematical Logic Around the World
• Logic Links
• Links for Symbolic Logic (Peter Suber)
• Factasia Logic
• Verschiedenes
• Stanford Encyclopedia of Philosophy
• Glossary of Mathematical and Logical Terms (REP) [txt]
  Deutsch-Englische Wortliste hierzu [txt]
• Mathe-Online.at: Das Prinzip der vollständigen Induktion
• Logic Notation on the Web
• Berliner Erklärung über offenen Zugang zu wissenschaftlichem Wissen [pdf]
• Volker Grassmuck: Freie Software (vollständiges Buch [pdf])