Logic Specification and Programming (WS 2017/18)


Veranstaltungsnummer
040046

Studiengang/-gänge
Master

Vorlesungsverzeichnis

Learnweb-Plattform

Typ
Vorlesung/Übung

Vorlesungssprache
englisch


Veranstaltungszeitplan

Tag Zeit Häufigkeit Datum Raum
Montag 10:00- 12:00 Uhr wöchentlich 09.10.2017- 02.02.2018 Leonardo-Campus 18, LEO 18.3
Freitag 08:00- 10:00 Uhr wöchentlich 13.10.2017- 02.02.2018 Leonardo-Campus 18, LEO 18.3

Beschreibung

It will be shown, how to express real-world facts and their relationships in logic and how to transform a corresponding specification into an executable Prolog program. Moreover, the features of the logic programming language Prolog will be explained, including rules, unification, SLD-resolution, and backtracking. Moreover the use of a constraint solver from Prolog will be treated.

Business rules management systems such as Drools enable the expression of volatile business logic and their integration into an information system. Such systems and the way they evaluate rules will be presented.

Moreover, it will be taught, how to express temporal relationships by temporal logics such as CTL and LTL. Then, it will be shown, how to automatically check information systems for compliance with a temporal specification by using a model checker.

Finally, the logic query language Datalog will be discussed and it will be shown how to infer information from a deductive database.


Literatur

to be announced

Dozenten

  • Prof. Dr. Herbert Kuchen (verantwortlich)