Institution theory (Reading course)

Allgemeine Informationen

Veranstaltungsart: Reading Course
Semester: SoSe 2013
ECTS-Punkte: 1-4
Veranstaltungsnummer: 8.3108
Details: Link zur Veranstaltung in StudIP

Dozent*innen

Beschreibung

The framework of institutions allows for doing model theory without an underlying logical system by formalizing the intuitive notion of a logical system into a mathematical object. Such an abstract approach has several advantages: by its generality, it can easily be applied to a multitude of logical systems, allowing for a uniform treatment of the plethora of formalisms around in present day AI. Furthermore, by illuminating the model theoretic phenomena and their subtle network of causality relationships it leads to a deeper understanding and produces new insights.

In this class we will read and discuss selected chapters from [Diaconescu:2008]. The first sessions will be dedicated to acquiring basic notions of the framework. We will then turn to topics of special interest for AI. We may also refer to additional papers if this is desired by the participants. Towards the end, we may discuss how the framework can be applied to selected topics, like translation between logical systems, or the modelling of analogies.

There are no hard requirements for this course. Nevertheless, familiarity with category theory may ease the access to the formalism. Furthermore some background in formal logic can be beneficial.

@Book{Diaconescu:2008,
author = {R{\u{a}}zvan Diaconescu},
title = {Institution-independent Model Theory},
publisher = {Birkh{\"a}user},
address = {Basel},
year = {2008},
series = {Studies in Universal Logic},
isbn = {978-3-7643-8707-5},
doi = {10.1007/978-3-7643-8708-2}
}