Proseminar Logik Programmierung

In diesem Proseminar werden Themen aus den Grundlagen der logischen Programmierung und logischer Programmiertechniken, der Implementierung von Logiksprachen wie Prolog, sowie der Einsatz logischer Programmiersprachen in verschiedenen Anwendungsbereichen bearbeitet.

(19510)

TypProseminar
Dozent/inProf. Dr. Adrian Paschke
RaumTakustr. 9 SR 053
Beginn14.10.2013
Ende18.02.2014
Zeit

Dienstag 16 - 18 Uhr

Zeitraum: 15.10.2013-16.02.2014
Haupttermine: Dienstag 16 - 18 Uhr - Takustr. 9 SR 053
Termin Thema Referent
11.7.13 Vorbesprechung zur Themenvergabe (10 Uhr in der Königin-Luise-Str. 24 SR017) Adrian Paschke
15.10.13

Einführung in das Seminar und Präsentationstechnik

+ Weitere Themenvergabe

Adrian Paschke
 29.10.13

Predicate Logic: Propositional Logic, First Order Logic, Higher Order Logic, Semantics (Proof Theory, Model Theory, Denotational ...)

Mehmed Halilovic

 5.11.13 Prolog: ISO Prolog syntax, declarative versus sequential programming constructs (CUT, assert/retract, is ...) Felix Steinbach
 12.11.13 Logic Programming: Datalog, Horn Logic, Rules

Tobias Bouschen

 19.11.13

Semantics of Logic Programs - Proof-theoretic Semantics: Unification, SLD Resolution

Patrick Adams

 26.11.13 Semantics of Logic Programs - Model-theoretic Semantics: (Minimal) Herbrand Semantics, Soundness and Completeness

Daud Bosharat

 3.12.13 Theory of Logic Programing with Negation: Negation as Failure vs. classical Negation, SLDNF Resolution, two-valued Clark's completion semantics, restriction Properties for complete SLDNF (stratification)

 David Sultanowksi

 10.12. Object-oriented Frame-based Logic: Frame Logic, Slotted Knowledge Representations

 Agun Gumilar

 10.12. Description Logics  Phil Schmidt

Templates für Präsentation und Seminararbeit

Template Seminararbeit

Template Präsentation

 

Latex Tutorial

http://latex.mschroeder.net/

http://www.eng.cam.ac.uk/help/tpl/textprocessing/

http://en.wikibooks.org/wiki/LaTeX

 

Ablauf und Leistungserbringung

siehe http://www.ag-nbi.de/lehre/seminare.html

Bitte beachten Sie auch die Hinweise zu Plagiaten.

 

Themen

  • werden in der Vorbesprechung vorgestellt und vergeben
  • Vorgeschlagene Themen:
    1. Predicate Logic: Propositional Logic, First Order Logic, Higher Order Logic, Semantics (Proof Theory, Model Theory, Denotational ...)
    2. Prolog: ISO Prolog syntax, declarative versus sequential programming constructs (CUT, assert/retract, is ...)
    3. Logic Programming: Datalog, Horn Logic, Rules
    4. Semantics of Logic Programs - Proof-theoretic Semantics: Unification, SLD Resolution
    5. Semantics of Logic Programs - Model-theoretic Semantics: (Minimal) Herbrand Semantics, Soundness and Completeness
    6. Theory of Logic Programing with Negation: Negation as Failure vs. classical Negation, SLDNF Resolution, two-valued Clark's completion semantics, restriction properties for complete SLDNF (stratification)
    7. Logic Programming with Negation: Three-valued Well-founded Semantics
    8. Logic Programming with Negation: Stable-model Semantics
    9. Logic Programming with Negation: Answer Set Semantics
    10. Object-oriented Frame-based Logic: Frame Logic, Slotted Knowledge Representation
    11. Description Logics
    12. Description Logic Programs
    13. Events and Action Logics: Situation Calculus
    14. Events and Action Logics: Event Calculus
    15. Linear Temporal Logics and Action Languages
    16. Transaction Logics
    17. Reaction Rules on the example of Prova: ECA paradigm, reactive messaging, pragmatic primitives (e.g. FIPA ACL, KQML)
    18. Platform Independent Rule Languages and Semantic Web Rules: RuleML and W3C RIF
    19. Rule-based Complex Event Processing
     
  • Weitere Themen können vorgeschlagen werden