Springe direkt zu Inhalt

Proseminar Logik Programmierung

In der Veranstaltung werden verschiedene Themen des Semantic Webs und der deklarativen Wissensrepräsentation und Logikprogrammierung im betrieblichen Anwendungskontext behandelt.

TypeProseminar
InstructorProf. Dr. Adrian Paschke
RoomTakustr. 9 SR 053
StartOct 17, 2012
endFeb 18, 2013
Time

Dienstag 16 - 18 Uhr

Zeitraum: 15.10.2012-16.02.2013
Haupttermine: Dienstag 16 - 18 Uhr - Takustr. 9 SR 053
Termin Thema Referent
16.10.12 Vorbesprechung zur Themenvergabe (16 Uhr in der Takustr. 9 SR053) Adrian Paschke
23.10.12

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

Pia Hinzmann  

30.10.12 Prolog: ISO Prolog syntax, declarative versus sequential programming constructs (CUT, assert/retract, is ...)

Patrick Hobusch 

6.11.12 Logic Programming: Datalog, Horn Logic, Rules

Kai Kriedemann 

13.11.12

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

Vincent Trageser

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

Paul Kermas

20.11.12 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)

Richard Möhn

4.12.12 Logic Programming with Negation: Stable-model Semantics

Ahmet-Serdar Karakaya

4.12.12 Logic Programming with Negation: Three-valued Well-founded Semantics

Tay Phuong Ho

11.12.12 Object-oriented Frame-based Logic: Frame Logic, Slotted Knowledge Representations

Conrad Läßig

18.12.12 Description Logics (entfällt) Tobias Kässer (entfällt)
8.1.13 Events and Action Logics: Situation Calculus Nils Bussas
8.1.13 Events and Action Logics: Event Calculus Andreas Reuter 
15.1.13 Transaction Logics Kay Braun
22.1.13 Rule-based Complex Event Processing (entfällt) Jan Niklas Lehmann (entfällt)
     

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
  • 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