10:30 – 11:30: KEYNOTE: Prof. Guido Governatori
TITLE: Thou Shalt is not You Will
ABSTRACT: Temporal logic has been successfully used for the verification of software and hardware. Also it has been proposed for modelling the behaviour of agents under normative constraints. Business Process Compliance can be seen as special form of verification where the formal specifications for a process or the plan library of an agent are verified again formal specifications for the norms. Temporal logics have been advanced as a tool for this type of verification as well. In the first part of the presentation we propose an abstract semantics for the normative requirements. In the second part we investigate the suitability of temporal logic to model compliance, and we point out some shortcomings.
SPEAKER BIO: Guido Governatori received the PhD degree in legal informatics from the University of Bologna, Italy. He is a senior principal researcher in the Software Systems Research Group at NICTA, where he leads the research activities on business process compliance. His research interests include defeasible reasoning, modal deontic and non-classical logics and their applications to normative reasoning, agent systems, and business process modelling. He has authored over 250 research publications, and serves as editor of the Deontic Logic corner of the Journal of Logic and Computation, and the Norms and Agents section of Artificial Intelligence and Law journal.
11:30 – 12:00: Contextualized Planning Using Social Practices (Frank Dignum and Virginia Dignum)
12:00 – 1:30 : LUNCH
1:30 – 2:00 : MDP-Based Reward Design for Efficient Cooperative Problem (Huan Jiang and Shigeo Matsubara)
2:00 – 2:30 : Improving energy outcomes in dynamically formed micro-grid coalitions (Muhammad Yasir, Martin Purvis, Maryam Purvis and Bastin Tony Roy Savarimuthu)
2:30 – 3:00 : Designing Organization-Aware Agents using OJAzzIC (Kathleen Keogh and Liz Sonenberg)
3:00 – 3:30 : AFTERNOON TEA
3:30 – 4:00 : Building an Artificial Primitive Human Society: an Agent-Based Approach (SHORT PAPER) (Marzieh Jahanbazi, Christopher Frantz, Maryam Purvis and Martin Purvis)
4:00 – 4:30 : Holonic Institutions, or Institutionalised Holonics (SHORT PAPER) (Ada Diaconescu and Jeremy Pitt)
4:30 – 5:00 : PANEL DISCUSSION: The path to impact for the COIN community (CHAIR: Virginia Dignum)
5:00 : WORKSHOP CLOSE
The pervasiveness of open systems raises a range of challenges and opportunities for technologies in the area of autonomous agents and multi-agent systems. Open systems comprise loosely coupled entities interacting within a society that usually has some overall measures of quality or efficiency. However, achieving and maintaining a "good" society is difficult to achieve as the participating entities, their modes of interaction or the intended purpose of the system may change over time. Moreover, in the case of open multi-agent systems, the autonomy of the agents can work against the effectiveness of the society. There is therefore a need for tools and techniques for articulating and/or regulating interactions in order to make the system more effective in attaining collective goals, more certain for participants or more predictable. Coordination, organizations, institutions and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshops constitute a space for debate and exploration of these four elements that are central in the design and use of open systems.
We seek to attract high quality papers addressing mathematical, logical, computational, philosophical and pragmatic issues related to the four aspects of COIN. We invite the submission short papers up to 6 pages and long papers up to 16 pages (both according to the Springer LNCS formatting specifications). In particular, we invite the following types of papers:
Topics of particular interest for regular research papers for COIN@PRIMA 2014 include, but are not limited to:
Preliminary proceedings will be available at the workshop. As with previous COIN workshops, revised and extended versions of the papers of both the two 2014 workshops (the first workshop in 2014 was held at AAMAS) will be published in a single Springer LNCS volume. Those revised versions must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post proceedings volume.
|Workshop Papers due:||October 3, 2014 (new)|
|Notification of Acceptance:||October 24, 2014|
|Workshop Proceedings due:||November 19, 2014|
|Workshop Dates:||December 4 or 5, 2014|