Fifth-Workshop
The fifth Hybris Workshop took place on June 8-9 2015 at the University of Potsdam, Germany.
Venue
The workshop sessions took place at
Haus 4 (Institut fuer Informatik),
August-Bebel-Straße 89,
14482 Potsdam
in room 1.02 on the first floor.
Abstracts
On Bounded Situation Calculus
Invited Talk by Guisepe de Giacomo, Sapienza University of Rome
In this talk, we will survey recent results on situation-bounded action theories. These are standard basic action theories with the additional constraints that the size of the extension of fluents in every situation must be bounded, though such an extension changes from situation to situation. Such action theories give rise to infinite transition systems that can be faithfully abstracted into finite ones, making verification decidable. In particular we focus on a first-order variant of mu-calculus (with controlled quantification across situations decidable) and show that verification of both "offline" and "online" execution are decidable. Related to the latter result we also show that Progression is always first-order expressible in such theories. Finally we turn to ConGolog programs (without recursive procedure calls) and we show that verification of such programs over bounded action theories is always decidable.
Cognitive Robotics and its Applications
Invited Talk by Maurice Pagnucco, University of New South Wales
The fields of artificial intelligence and robotics have seen rapid
developments over the past decade. Improvements in the sophistication,
size and price of sensors and actuators have led to the development of
robots that are being deployed in increasingly complex environments.
Along with this progress, significant work has led to the development of
algorithms that provide the capacity for things like localisation,
navigation and manipulation as well as the development of software
systems---termed robot middleware---for controlling robots in certain
applications. While there has been some work on high-level controllers
for robots there is a lot of scope for improvement.
In this talk we will look at the field of cognitive robotics and, in
particular, the experimental programming languages that have grown out
of the research in symbolic artificial intelligence in the areas of
reasoning about action and that of planning and scheduling. These
languages aim to facilitate the writing of high-level control programs
that use symbolic reasoning in their execution to determine an
appropriate course of action in carrying out tasks. We also look at
experimental applications of this work in robotics and in interactive
cinema with the control of virtual characters.
Program
| Time | Topic | Speaker |
|---|---|---|
| Sunday, June 7 | ||
| Travel to Potsdam | ||
| Monday, June 8 | ||
| 0830 | Registration Desk | |
| 0845 | Welcome | |
| 0900 | Invited Talk: On Bounded Situation Calculus (Abstract) | Giuseppe De Giacomo |
| 1000 | Coffee Break | |
| 1030 | Continual Planning in Golog | Till Hofmann |
| 1100 | User-centric robot reasoning and control: Dealing with interactions, interruptions, and user preferences | Christian Dornhege, Andreas Hertle |
| 1130 | Asynchronous Multi-Context Systems | Stefan Ellmauthaler |
| 1200 | Lunch | |
| 1330 | Answer Set Programming Modulo Acyclicity | Jori Bomanson, Tomi Janhunen, Martin Gebser |
| 1400 | Automatic Genre-Dependent Composition using Answer Set Programming | Philipp Obermeier |
| 1430 | Boolean Network Identification from Multiplex Time Series Data | Max Ostrowski |
| 1500 | Coffee Break | |
| 1530 | Learning GCI's - Experimental Results | Daniel Borchmann |
| 1600 | Probabilistic Description Logics Based on the Aggregating Semantics and the Principle of Maximum Entropy | Franz Baader, Gabriele Kern-Isberner |
| 1630 | From Local to Global Scope Reasoning in the RoboCup Logistics League | Frederik Zwilling |
| 1715 | Hybris PI Meeting | |
| 2000 | Dinner at 'Zur alten Muehle' | |
| Tuesday, June 9 | ||
| 0900 | Invited Talk: Cognitive Robotics and its Applications (Abstract) | Maurice Pagnucco |
| 1000 | Coffee Break | |
| 1030 | Tutorial on Planning Slides: part 1 part 2 part 3 part 4 | Bernhard Nebel |
| 1230 | Lunch and Farewell |
Dinner
- Go to Potsdam Hbf. (Potsdam Main Station) via S-train S7
- Take bus line 614 in direction 'Gutenpaaren' or 695 in direction 'Pirschheide Bhf', both are departing right in front of the station hall.
- Get off the bus at stop 'Potsdam Schloss Sanssouci'
- The restaurant lies within 400m walking distance