The fields of Reasoning about Actions and Planning in AI are undergoing rapid advancements, incorporating concepts and techniques from Reactive Synthesis and Strategic Reasoning, originally developed in Formal Methods.
In recent years, the focus has evolved beyond standard forms of reasoning, such as action sequence executability and future effects (projection),
to encompass more sophisticated modes of reasoning. This evolution has led to the identification of common points with other prominent areas of CS, facilitating a richer interdisciplinary discourse.
A noteworthy convergence is observed between Reactive Synthesis in Formal Methods. Reactive Synthesis is based on the idea of constructing trustworthy-by-design systems that meet their specifications.
This approach is of particular interest in designing autonomous intelligent systems that can react to changing environments and make decisions accordingly.
Furthermore, the integration of Reasoning about Actions and Planning is expanding its connections to various forms of synthesis, including generalized planning,
Markov Decision Processes/Reinforcement Learning, supervisory control, and more. However, navigating this evolving landscape is challenging due to the dispersion of relevant research across numerous conferences and venues.
Drawing upon a successful format followed in other fields (e.g.,Highlights of Logic, Games and Automata and On the Effectiveness of Temporal Logics on Finite Traces in AI),
the workshop aims to offer a wide picture of the latest research in the field in order to foster a common space to discuss current results and future
directions and to facilitate the emergence of teams working across different areas.
Topics
Topics of interest range from various aspects of Reasoning about Actions, Planning and Reactive Synthesis, including (but not limited to) the following areas:
- Agent behavior control
- AI Planning
- Augmented forms of Generative AI
- Automated Reasoning
- Automated Service Composition
- Conversational Systems
- Declarative and Procedural Business Process Management
- Discrete-Event Control
- First-person vs third person view
- Formal Verification and Synthesis
- Generalized planning
- Hierarchical abstractions of action models
- Human computer interaction
- Knowledge Representation
- Logic-based representation, action theories, temporal logics, logics of programs
- Motion and Task Planning
- Multi-Agent Systems
- Partial observability, incomplete information, uncertainty
- Plan, intention, and activity recognition
- Reasoning about Actions
- Reasoning about beliefs, goals, and intentions
- Formal techniques for responsibility anticipation and ethic issues
- Reinforcement Learning
- Robotics
- Stochastic representation, MDPs and Non Markovian Decision Processes
- Transparency, predictability, and accountability of agents' behaviors
- Workflow Management
Important Dates
- June 14, 2024: Paper submission deadline (AoE).
- July 1, 2024: Author notification (AoE).