27 research outputs found
Industrial Symbiotic Networks as Coordinated Games
We present an approach for implementing a specific form of collaborative
industrial practices-called Industrial Symbiotic Networks (ISNs)-as MC-Net
cooperative games and address the so called ISN implementation problem. This
is, the characteristics of ISNs may lead to inapplicability of fair and stable
benefit allocation methods even if the collaboration is a collectively desired
one. Inspired by realistic ISN scenarios and the literature on normative
multi-agent systems, we consider regulations and normative socioeconomic
policies as two elements that in combination with ISN games resolve the
situation and result in the concept of coordinated ISNs.Comment: 3 pages, Proc. of the 17th International Conference on Autonomous
Agents and Multiagent Systems (AAMAS 2018
A computationally grounded, weighted doxastic logic
Modelling, reasoning and verifying complex situations involving a system of agents is crucial in all phases of the development of a number of safety-critical systems. In particular, it is of fundamental importance to have tools and techniques to reason about the doxastic and epistemic states of agents, to make sure that the agents behave as intended. In this paper we introduce a computationally grounded logic called COGWED and we present two types of semantics that support a range of practical situations. We provide model checking algorithms, complexity characterisations and a prototype implementation. We validate our proposal against a case study from the avionic domain: we assess and verify the situational awareness of pilots flying an aircraft with several automated components in off-nominal conditions
An Agent Framework for Dynamic Health Data Aggregation for Research Purposes
This paper presents a model of a MAS framework for dynamic aggregation of population health data for research purposes. The contribution of the paper is twofold: First, it describes a MAS architecture that allows one to built on the fly anonymized databases from the distributed sources of data. Second, it shows how to improve the utility of the data with the growth of the database