|
|
|
Programme
EMAS 2015 Workshop Notes (Download, 5.0 MByte)
Each presentation should be no longer than 20 minutes, 10 minutes are for questions and discussion.
| 8.30-9.00: Welcome |
| 9.00-10.00: Invited Speaker |
-
9:00-9.45:
A Future for Agent Programming
(slides)
Brian Logan
There has been considerable progress in both the theory and practice of agent programming since Georgeff & Rao's seminal work on the Belief-Desire-Intention paradigm. However, despite increasing interest in the development of autonomous systems, applications of agent programming are confined to a small number of niche areas, and adoption of agent programming languages in mainstream software development remains limited. This state of affairs is widely acknowledged within the community, and a number of remedies have been proposed. In this talk, I will offer one more. Starting from the class of problems agent programming sets out to solve, I will argue that a combination of Moore's Law and advances elsewhere in AI, mean that key assumptions underlying the design of many BDI-based agent programming languages no longer hold. As a result, we are now in a position where we can rethink the foundations of BDI programming languages, and address some of the key challenges in agent development that have been largely ignored for the last twenty years. By doing so, I believe we can create theories and languages that are much more powerful and easy to use, and significantly broaden the impact of the work we do.
-
9:45-10.00:
Discussion
|
| 10.00-10:30: Session I |
-
10.00-10.30:
Validating Requirements Using Gaia Analysis Models
(slides)
Nektarios Mitakides, Pavlos Delias, and Nikolaos Spanoudakis
|
| 10.30-11.00: Coffee Break |
| 11.00-13:00: Session II |
-
11.00-11.30:
Semantic Mutation Testing for Multi-Agent Systems
Zhan Huang and Rob Alexander
-
11.30-12.00:
Towards quantitative analysis of multiagent systems through statistical model checking
Benjamin Herd, Simon Miles, Peter McBurney, and Michael Luck
-
12.00-12.30:
Evaluating Different Concurrency Configurations for Executing Multi-Agent Systems
Maicon Rafael Zatelli, Alessandro Ricci, and Jomi Fred Hubner
-
12.30-13.00:
A Testbed for Agent Oriented SmartGrid Implementation
(slides)
Jorge Gomez-Sanz, Nuria Cuartero-Soler, and Sandra Garcia-Rodriguez
|
| 13.00-14.00: Lunch Break |
| 14.00-15.00: Invited Speaker |
-
14:00-14.45:
Engineering large-scale adaptive systems: from multi-agent system paradigm to aggregate computing
(slides)
Mirko Viroli
Emerging and future pervasive computing scenarios will feature a dramatic increase in the number of networked devices they operate upon. Soon, any computational mechanism (sensing, actuation, situation recognition, decision-making) will inevitably involve large ensembles of cooperating devices. We argue that current approaches to develop software systems will shortly be found inadequate to support the new level of complexity implied, since they lack suitable abstractions to smoothly address explosion of scale. The multi-agent system paradigm is no exception.
We propose aggregate computing, a new approach for the development of large-scale, emerging pervasive computing systems. Aggregate computing departs from the single-device (and single-agent) viewpoint over computation. It rather considers as reference computing "machine" the overall pervasive environment, abstracted to a mobile and densely interconnected continuum capable of manipulating physically-distributed computational structures as a whole. Independence from the details of the underlying network (size, density, topology, mobility) and support of resilience properties (adaptation, robustness, stabilisation) will no longer be a programming concern, but rather inherent features of the approach achieved by self-organisation "under-the-hood".
Aggregate computing naturally makes system designers reason in terms of bottom-up construction of continuous-like computational structures, achieved by a multi-layered library of well-engineered and highly reusable functional components, each possibly enjoying formally-certified self-* properties that can be directly transferred to the applications built on top. It is the associated toolchain that provides the mechanisms to fill the macro-micro gap, i.e., to compile such distributed functional components into the single device's computation and interaction protocol.
In this talk, we give an overview of aggregate computing and its toolchain, exemplify applicability in scenarios of large crowd management by opportunistic interactions, and finally outline a bridge with multi-agent systems research.
-
14:45-15.00:
Discussion
|
| 15.00-16.00: Session III |
-
15.00-15.30:
A probabilistic BPMN normal form to model and advise Human Activities
Hector Ceballos, Victor Flores-Solorio, and Juan Pablo García-Vázquez
-
15.30-16.00:
A Formal Description of a Mapping from Business Processes to Agents
Tobias Küster, Marco Lützenberger and Sahin Albayrak
|
| 16.00-16.30: Coffee Break |
| 16.30-18.30: Session IV |
-
16.30-17.00:
Integrating Knowledge Representation Technologies for Multi-Agent Systems
Timea Bagosi, Joachim De Greeff, Koen V. Hindriks, and Mark A. Neerincx
-
17.00-17.30:
ACE: a Flexible Environment for Complex Event Processing in Logical Agents
(slides)
Stefania Costantini
-
17.30-18.00:
Programming Mirror-Worlds: An Agent-Oriented Programming Perspective
Alessandro Ricci, Angelo Croatti, Pietro Brunetti, and Mirko Viroli
-
18.00-18.30:
Tractable inquiry in information-rich environments
Barbara Dunin-Keplicz and Alina Strachocka
|
| 18.30: Closing |
|
