Sixth Workshop
The sixth Hybris Workshop took place on November 30 and December 1 2015 at TU Dortmund, Germany.
Venue
The workshop sessions took place at
TU Dortmund
Otto-Hahn-Straße 14
44227 Dortmund
in room E.04 on the ground floor.
Abstracts
Epistemic Planning With Implicit Coordination
Invited talk by Thomas Bolander, TU Denmark
(Joint work with Thorsten Engesser, Robert Mattmüller and Bernhard Nebel)
Planning is about computing action sequences leading to desired goals. Epistemic planning considers the case where the planning agents can reason about their own and other agents' knowledge as part of the planning process. The currently most expressive formalism for epistemic planning is based on dynamic epistemic logic (DEL). In the talk, I will present a version of DEL-based epistemic planning in which a group of agents are individually planning towards a joint goal, and where coordination is only achieved implicitly. Implicit coordination means that the agents are not negotiating or announcing their respective plans, but coordination is achieved exclusively by observing the actions of others (including announcement actions). Such implicit coordination is often observed among humans collaborating to achieve a joint goal. We investigate the conditions under which the goal can be guaranteed to be reached by implicitly coordinating agents. Among the main technical ingredients of our studies are perspective shifts and agent types, which are both new to epistemic planning.
Hybrid Reasoning for Robotics using Answer Set Programming
Invited talk by Esra Erdem, Sabanci University
Hybrid reasoning for robotics necessitates combining discrete high-level reasoning with continuous feasibility checks and perception. We propose to address such hybrid reasoning problems using Answer Set Programming (ASP). The idea is to represent the robotic actions and change in a high-level language of ASP, which allows embedding continuous feasibility checks into logical formulas, and to compute feasible solutions to hybrid reasoning problems using state-of-the-art ASP solvers. We discuss this approach in the context of hybrid planning and hybrid diagnostic reasoning, and illustrate its applications in a cognitive factory scenario with multiple teams of heterogeneous robots.
Program
Slides Dinner
The dinner took place at
Top Hotel Esplanade
Burgwall 3
44135 Dortmund