Task 5.4

Task 5.4: Monitoring and controlling to make actions AI trustworthy in the real world - M1-M36, Task Led by FBK (Paolo Traverso): To study foundations, techniques, algorithms and tools for devising and learning meaningful dynamic models that mix human understandable fluents versus human un-understandable features; updating and correcting imperfect models, detecting problems in a model; learning from failures; learning (soft) constraints on the model when the model fails; mixing prior human dynamic knowledge / models with learning from data; grey-box systems; reasoning/planning modulo no theory; semi-structured models. The ultimate aim is to allow for human control and oversight, to making AI-based deliberation and acting trustworthy.