Content: Sixth Workshop

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

TimeTopicSpeaker
Sunday, November 29
Travel to Dortmund
Monday, November 30
0830Registration Desk
0845Welcome
0900Invited Talk: Epistemic Planning With Implicit Coordination
Icon Slides (763.6 KB)
Thomas Bolander
1000Coffee Break
1030SeaLion: An Integrated Development Environment for Answer-Set ProgrammingJörg Pührer
1100OrderLib - Just Another CASP ApproachMax Ostrowski
1130aspic: Interactive Answer Set ProgrammingPhilipp Obermeier
1200Lunch
1330Invited Talk: Hybrid Reasoning for Robotics using Answer Set Programming
Icon Slides (2.4 MB)
Esra Erdem
1430Utility Based Sampling for Geometrical Alternatives in Robot PlanningAndreas Hertle
1500Coffee Break
1530Answer Set Programming and Warehouse Logistics - Potential AnalysisSteffen Schieweck
1600 Actions and BeliefsChristoph Schwering
1715Hybris PI Meeting
2000Dinner at 'Top Hotel Esplanade'
Tuesday, December 1
0900Invited Talk: Logistics and IT in Times of the 4th Industrial RevolutionMichael ten Hompel
1000Coffee Break
1030Tutorial: Computational Models of ArgumentationGerd Brewka, Hannes Strass
1230 Lunch and Farewell

Dinner

The dinner took place at

Top Hotel Esplanade
Burgwall 3
44135 Dortmund