An adaptive agent changes its behavior in response to the changes it observes in its operating environment. Conversely, it exhibits a particular behavior in between adaptations. It is beneficial for other agents to know when an agent is engaged in one kind of behavior rather than another to plan their activities. To these ends, an agent can offer a specification of its behavior, as well as when and how that behavior may change. Altogether, forming a promise, i.e., an indication of what the behavior might be when a follow-up request reaches the agent. However, promises can have different temporal horizons. The shorter the horizon, the more communication events are needed to keep other agents informed about the (perspective) behavior of an agent, and more re-planning needs to take place. In this work, we explore what such promises might look like by drawing inspiration from long-running research in temporal logics. Doing so permits us to leverage existing techniques for program synthesis from temporal specifications for planning.
Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:30 - 17:30 | |||
15:30 10mDoctoral symposium paper | Adaptive Multi-Agent Programming with Promises Doctoral Symposium Oleks Shturmov University of Oslo & University of Copenhagen | ||
15:40 10mDoctoral symposium paper | An Adaptive Autonomous Aerial System for Dynamic Field Animal Ecology Studies Doctoral Symposium Jenna Kline The Ohio State University, USA | ||
15:50 10mDoctoral symposium paper | BDI for Autonomic Computing Doctoral Symposium Martina Baiardi University of Bologna | ||
16:00 10mDoctoral symposium paper | Intelligent Pulverised Collective-adaptive Systems Doctoral Symposium | ||
16:10 10mDoctoral symposium paper | Many-Objective Centralized Adaptation Planning: Towards Hybrid Self-Adaptive and Self-Organizing Systems Doctoral Symposium | ||
16:20 10mDoctoral symposium paper | Multiplatform Self-Organizing Systems Through a Kotlin-MP Implementation of Aggregate Computing Doctoral Symposium Angela Cortecchia Alma Mater Studiorum - Università di Bologna & Consortium GARR File Attached | ||
16:30 10mDoctoral symposium paper | Towards Interference-Resilient Multi-Tenant Microservices via Spatio-Temporal Models of Self-Configuration Doctoral Symposium Iqra Zafar Hasso Plattner Institute, Digital Engineering Faculty, University of Potsdam | ||
16:40 10mDoctoral symposium paper | Towards Self-Adaptive Cooperative Learning in Collective Systems Doctoral Symposium Davide Domini Alma Mater Studiorum - Università di Bologna | ||
16:50 30mTalk | ̶P̶i̶c̶t̶u̶r̶e̶ Reproducible Experiments or Didn't Happen Doctoral Symposium Danilo Pianini University of Bologna |