Automated Planning and Scheduling is a historical and active branch of Artificial Intelligence that concerns the realization of strategies or action sequences, typically for execution by intelligent agents, autonomous robots and unmanned vehicles.
The 10th Italian Workshop on Planning and Scheduling (IPS-2022) aims at bringing together researchers interested in different aspects of planning and scheduling problems, and to introduce new researchers to the community. The workshop welcomes both theoretical and practical contributions in any aspect of automated planning and scheduling, with the purpose of encouraging the italian research community to share ideas and new trends on the field.
Although the primary target of this series of workshops is the Italian community of P&S, the aim is to attract an international gathering, thus expecting contributions and participations from around the world. Submissions to this event are here solicited. Each contribution will be reviewed by members of a strong international Program Committee. Original and already published papers will be made available via this workshop web-site.
IPS-2022 will be held on November 29th in conjunction with the 21st International Conference of the Italian Association for Artificial Intelligence – AIxIA 2022, November 28th - December 2nd, 2022, University of Udine, Udine, Italy.
Resilience in Planning and Strategic Reasoning
A central topic in AI is building autonomous agents that act intelligently. Strategic Reasoning, Planning in possibly adversarial domains, and Reinforcement Learning are all about automatically synthesizing an agent strategy/plan/policy/behavior to accomplish desired tasks in a partially controllable (nondeterministic) world. Recently the importance of introducing forms of resilience has become apparent, including considering advanced forms of planning that are tightly connected with strategic reasoning, focussing on aspects such as plans/strategies with built-in tolerance capabilities, forms of best-effort synthesis, multiple models of the world that incorporate increasingly exceptional world behaviors, maximally permissive strategies, and enforcing capabilities in addition to duties. In this talk, we discuss these issues using as representation formalisms Linear Temporal Logic on finite traces, a variant of one of the most common temporal logics used in Formal Methods, which is particularly suitable for expressing strategic objectives and goals in autonomous agents.
Giuseppe De Giacomo has long been a professor at the Department of Computer, Control, and Management Engineering of the University of Roma “La Sapienza”. Recently, he has become a professor at the Department of Computer Science of the University of Oxford. His research activity has concerned theoretical, methodological, and practical aspects in different areas of AI and CS, most prominently Knowledge Representation, Reasoning about Actions, Generalized Planning, Autonomous Agents, Service Composition, Business Process Modeling, and Data Management and Integration. He is AAAI Fellow, ACM Fellow, and EurAI Fellow. He has got an ERC Advanced Grant for the project WhiteMech: White-box Self Programming Mechanisms (2019-2024). He has been the Program Chair of ECAI 2020. He is on the Board of EurAI.