Il giorno 27 maggio 2013, ore 14:00-15:00, presso l’Aula Multimediale del DIMI, Università di Udine, il prof. Prakash Panangaden (McGill University) terrà un seminario su Duality for Transition Systems.
In this talk we consider the problem of representing and reasoning about
systems, especially probabilistic systems, with hidden state. We consider
transition systems where the state is not completely visible to an outside
observer. Instead, there are observables that partly identify the state.
We show that one can interchange the notions of state and observation and
obtain what we call a dual system. The double dual gives a minimal
representation of the behaviour of the original system. We extend this to
nondeterministic systems and to probabilistic transition systems and
finally to partially observable Markov decision processes (POMDPs).
This research began with joint work with colleagues from McGill especially
Doina Precup and Chris Hunt. The recent categorical understanding is
joint work with Clemens Kupke and Nick Bezhanishvili.