Task 5.1

Task 5.1: Extended and multi-facet models of the world dynamics and tasks - M1-M36, Task Led by UOR (Giuseppe De Giacomo): To study foundations, techniques, algorithms and tools for handling models of the world and task specification that are fully realistic, including giving up Markovian assumptions, handling first-order representations, adopting task specification based on formalisms used in formal methods. Of particular interest is to study foundations, techniques, algorithms and tools for reasoning and learning multi-facet models, reasoning and planning on multiple representations of the world; planning and acting with multiple representation; tolerant models and tolerant plans (plans that work in a reference model + variations); learning hierarchical and compositional models; learning hierarchies, models at different levels of abstraction; learning hierarchical problem solving strategies represented as hierarchical automata and formal grammars.