Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


INHALT & PFAD:
Startseite Textformat


Für den Fall, dass Ihr Computer das entsprechende Format nicht angezeigen kann, können Sie sich hier das Dokument als unformatierte Textausgabe ansehen.

(Bitte haben Sie dafür Verständnis, dass gewisse Dokumente nicht als Textalternative zur Verfügung stehen.)


Download:
Download Ontology‐Based Monitoring of Dynamic Systems (application/pdf 100.4 KB)


Textalternate  Ontology‐Based Monitoring of Dynamic Systems
Fulltext:




Einladung zum Vortrag


23. Juni 2015, 16 Uhr c.t.
Universität Bremen | Cartesium Rotunde


Prof. Dr.Ing. Franz Baader
TU Dresden | Lehrstuhl für Automatentheorie


OntologyBased Monitoring of Dynamic Systems
Our understanding of the notion "dynamic system" is a rather broad one: such a system has states, which can change
over time. Ontologies are used to describe the states of the system, possibly in an incomplete way. Monitoring is
then concerned with deciding whether some run of the system or all of its runs satisfy a certain property, which can
be expressed by a formula of an appropriate temporal logic. We consider different instances of this broad
framework, which can roughly be classified into two cases. In one instance, the system is assumed to be a black box,
whose inner working is not known, but whose states can be (partially) observed during a run of the system. In the
second instance, one has (partial) knowledge about the inner working of the system, which provides information on
which runs of the system are possible. In this talk, we will review some of our recent research that investigates
different instances of this general framework of ontologybased monitoring of dynamic systems.

Biografie
Franz Baader is full professor for Theoretical Computer Science at TU Dresden, Germany. He has obtained his
PhD in Computer Science at the University of Erlangen, Germany. He was senior researcher at the
German Research Institute for Artificial Intelligence (DFKI) for four years, and associate professor at RWTH
Aachen for eight years. His main research area is Logic in Computer Science, in particular knowledge
representation (description logics, modal logics, nonmonotonic logics) and automated deduction (term
rewriting, unification theory, combination of decision procedures). Franz Baader is an ECCAI Fellow since 2004
and a member of the Academia Europea since 2011. He was program chair of the conferences KI'01, CADE'03,
LPAR'04, and RTA'07, is in the editorial board of several journals in AI and Logic in Computer Science, and has
over 170 refereed articles in major journals and conferences.



Dieser Gast wurde von Dieter Hutter eingeladen.
Prof. Dr. Dieter Hutter 21859831


Ontology‐Based Monitoring of Dynamic Systems
Ontology‐Based Monitoring of Dynamic Systems


 



zurück  




Seitenanfang  -  Impressum Zuletzt geändert durch: jungmann [b]   16.06.2015 Admin-Login