[ui] KR Seminar: Igor Sedlar

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