Applied Logic Group - Research Programme
Introduction
The central research theme of the Applied Logic Group is the
formalization of reasoning.
This theme is at the intersection of several disciplines, viz.
computer science, logic, and philosophy.
In particular it is at the heart of both the fundamental and the applied
aspects of artificial intelligence.
In our group we adopt a normative approach, aiming at the identification of
a set of properties that characterizes reasoning.
Our programme focusses on models of formal logic.
Our research topics can be grouped around the following four axes.
We are interested in all aspects of belief dynamics:
We study the mathematical models of space
(i.e. geometries) and the models of movement.
We concentrate on the definition of logical formalisms
and automated deduction methods allowing to
reason about space and movement.
more
about this
We develop logical models for the formalisation of concurrent objects.
more
about this
We study methods of deduction for non-classical logics,
aiming at the transformation of proof-theoretic results
into algorithmic solutions.
The logical systems resulting from the formalisation of reasoning
are formalisms of the multi-modal type, viz.
several modal logics that are integrated in a single logic
and that may interact in several ways.
The definition of proof procedures for these logics
is central in our research programme.
last update: june 1999
Andreas.Herzig@irit.fr / http://www.irit.fr/~Andreas.Herzig