Mili kolegovia,
dnes o 16:00 (pravdepodobne v I-9) sa uskutocni interny seminar
nasej pracovnej skupiny, na kt. bude prezentovat Igor Sedlar z
Filozofickej Fakulty UK. Vsetci ste vrelo pozvani. Detaily:
Igor Sedlar: Non-Monotonic Information Update: A Non-Classical Approach
Abstract
It is quite standard in contemporary AI to represent non-monotonic information up-
date by means of some supra-classical consequence relation that does not satisfy the
monotonicity property. However, this approach has a number of familiar alterna-
tives. For example, contemporary dynamic epistemic logic treats updates somewhat
more complexly as specific agent-based epistemic actions. Second, supra-classicality,
whilst a feature often welcomed by conservative logicians, has been under attack by
philosophers for rather a long time. There is even a large family of non-monotonic
logics, known as substructural logics, which defy supra-classicality almost by defini-
tion. However, while these alternatives are appealing from an intuitive viewpoint,
there are various technical obstacles that seem to prevent any serious attempts at a
fruitful exchange of ideas between the ‘standard’ and ‘non-standard’ camps.
This talk outlines a general framework for modelling non-monotonic update that
aims at being acceptable by both camps. On the non-standard side, we build on
substructural logics with a dynamic ‘update’ conjunction (better known as fusion)
and extend them with epistemic operators. On the standard side, we show that
this framework can be used to define a non-monotonic consequence relation that is
generally not supra-classical, but is easily turned into a supra-classical relation by
adopting a quite simple assumption.
--
Martin Homola
Homepage: http://ii.fmph.uniba.sk/~homola/
PGP public key: http://ii.fmph.uniba.sk/~homola/publickey.asc
