• Forschung
• Lehre
  • Rückschau
  • Qualifikationsarbeiten
• Personen
• WSV Publikationen
• WSV Kontakt

FGI 3 - Logik und Semantik von Programmen

• Veranstalter
• Zeit/Ort
• Inhalt
• Literatur
• Links

63.302a Seminar: FGI 3 - Logik und Semantik von Programmen
Wintersemester 2009/10

Veranstalter
	Özgür Özçep
Zeit/Ort
	Mi 10-12 F-334
Inhalt
	Die formale Beschreibung des Verhaltens von Informatiksystemen durch verschiedene Methoden der Semantik und Logik ist von großer Bedeutung, z.B. um Portabilität (d.h. Ausführung auf verschiedenen Plattformen) oder Mobilität (d.h. Ausführung in verschiedenen Umgebungen) zu erzielen. Solche Methoden sind auch für die formale Verifikation wichtig.
Literatur
	Vorträge und Referenzen 21.10.09: ÖÖ: Einleitung und Organisatorisches (.pdf) 28.10.09: Gemeinsames Lesen/Diskussion: Einführung in Beschreibungslogiken (I) Baader, Franz & Werner Nutt (2003). Basic description logics. In: F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi & P. Patel-Schneider (Hrsg.), The Description Logic Handbook. Theory, Implementation and Application, S. 47-100. CUP: Cambridge, NY. (Teil 1, S- 47-78) (.pdf) 4.11.09: Gemeinsames Lesen/Diskussion: Einführung in Beschreibungslogiken (II) Baader, Franz & Werner Nutt (2003). Basic description logics. In: F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi & P. Patel-Schneider (Hrsg.), The Description Logic Handbook. Theory, Implementation and Application, S. 47-100. CUP: Cambridge, NY. (Teil 2, S. 78-100) (.pdf) 11.11.09: Jan-Christoph Wolf: Beschreibungslogiken für Ontologien Vortragsfolien Baader, F., Horrocks, I. und Sattler, U. (2005). Description logics as ontology languages for the semantic web. In: Hutter, D. und Stephan, W. (Hrsg.), Mechanizing Mathematical Reasoning, Band 2605 von Lecture Notes in Computer Science, S. 228-248. Springer (.pdf) oder (.pdf) 18.11.09: Nihat Ertürk: Verteilte Beschreibungslogiken Vortragsfolien Borgida, A. und Serafini, L. (2003). Distributed description logics: assimilating information from peer sources. Journal on Data Semantics, 1:153-184. (.pdf) 25.11.09: Sören Glimm: Lineare Logik Vortragsfolien Lincoln, P. Linear Logic, SIGACT 1992. (.html) Ergänzend: Girard, J.-Y.: Linear logic: Its syntax and semantics. In: J.-Y. Girard, Y. Lafont & L. Regnier (Hrsg.), Advances in Linear Logic London, Mathematical Society Lecture Note Series 222, Cambridge University Press, S. 1-42. 1995 (.gz) 02.12.09: Torben Bundt: Einführung Modallogik Blackburn, P., de Rijke, M und Venema, Y. Modal Logic. CUP. Kapitel 1 (.pdf) 09.12.09: Nico Wilzek: Fortsetzung Modallogik Vortragsfolien Blackburn, P., de Rijke, M und Venema, Y. Modal Logic. CUP. Kapitel 2 (.pdf) 16.12.09: Alex Schajew: Hybridlogiken Vortragsfolien Blackburn, P. (2000). Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of the IGPL, 8(3), S. 339-365. (.html) 06.01.10: Vitali Amann: Propositional Dynamic Logic - Einführung Vortragsfolien Harel, D., Kozen, D., und Tiuryn, J. (1984). Dynamic Logic. In: Handbook of Philosophical Logic, S. 497-604. MIT Press. Hieraus Abschnitt 1 und 2. (.pdf) 13.01.10: Michael Haustermann: Eine 4-wertige Logik Vortragsfolien Belnap, N.D. (1992). A useful four-valued logic: How a computer should think. In: Anderson, A.R., Belnap, N.D. und Dunn, J.M. (Hrsg.), Entailmeint: The Logic of Relevance and Necessity, Band 2. Princeton University Press. Hieraus Abschnitt 8.2. (große(!) .pdf) 20.01.10: Joachim Nitschke: Epistemische Logiken Vortragsfolien Halpern, J.Y. (1995). Reasoning about knowledge: A survey. In: Gabbay, D., Hogger, C.J. und Robinson, J.A. (Hrsg.), Handbook of Logic in Artificial Intelligence and Logic Programing, Band 4, S. 1-34. Oxford University Press (.pdf) 03.02.10: Dimitri Popov: Nichtmonotone Logik Makinson, D. (2003). Bridges between classical and nonmonotonic logic. Logic Journal of the IGPL, 11(1): 69-96. (.html) 03.02.10: Stephan Lauterbach: Belief-Revision Ergänzende Literatur Hybridlogiken Areces, C., Blackburn, P. und Marx, M. (2001). Hybrid Logics: Characterization, interpolation and complexity. Journal of Symbolic Logic, 66(3): 977-1010. (.html) 16-wertige Logiken Shramko, J. und Wansing, H. (2005). Some useful 16-valued logics: how a computer network should think. Journal of Philosophical Logic, 34(2): 121-153. (.pdf) Präferenzsemantik Kraus, S., Lehmann, D.J. und Magidor, M. (2000). Nonmonotonic reasoning, preferential models und cumulative logics. CoRR, cs.AI/0202021 (.html) Belief-Revision Alchourron, C.E., Gärdenfors, P. und Makinson, D. (1985). On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic logic, 50: 510-530. (.html) Bezug zu nichtmonotonem Schließen Makinson, D. und Gärdenfors, P. (1989). Relations between the logic of theory change and nonmonotonic logic. Band 465 von LNCS, S. 185-205. Springer (.pdf) Belief-Revision aus der Perspektive der epistemischen Logik Segerberg, K. (1995). Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4): 535-553. (.html)
Links
	LNCS-Latex-Formatvorlage für die Seminararbeit (.zip)