Journal Articles by Stefano Mariani
Research on agents, intelligent agents, and multiagent systems (MAS) has been one of the most liv... more Research on agents, intelligent agents, and multiagent systems (MAS) has been one of the most lively areas in the Artificial Intelligence (AI) field in the last years. Moving from basic theoretical and technological issues, MAS research has gone beyond the limits of classical (distributed) AI, spreading to apparently distant fields like software engineering, pervasive computing, self-organisation, simulation—essentially dealing with complexity of artificial systems, according to most of the legitimate acceptations of the term. In this paper, we devise out the main development lines of MAS research, and put them in historical perspective by focussing on the last decades of research in Italy.
Bookmarks Related papers MentionsView impact
Books Sections by Stefano Mariani
Algorithms and Architectures for Parallel Processing, 2013
The next generation of computational systems is going to mix up pervasive scenarios with cloud co... more The next generation of computational systems is going to mix up pervasive scenarios with cloud computing, with both intelligent and non-intelligent agents working as the reference component abstractions. A uniform set of MAS abstractions expressive enough to deal with both embodied and disembodied computation is required, in particular when dealing with the complexity of interaction. Along this line, in this paper we define an event-driven coordination architecture, along with a coherent event model, and test it upon the TuCSoN model and technology for MAS coordination. © Springer International Publishing Switzerland 2013.
Bookmarks Related papers MentionsView impact
Coordination Models and Languages, Proceedings of the 15th International Conference, COORDINATION 2013, 2013
Embedding and modular embedding are two well-known techniques for measuring and comparing the exp... more Embedding and modular embedding are two well-known techniques for measuring and comparing the expressiveness of languages—sequential and concurrent programming languages, respectively. The emergence of new classes of computational systems featuring stochastic behaviours — such as pervasive, adaptive, self-organising systems — requires new tools for probabilistic languages. In this paper, we recall and refine the notion of probabilistic modular embedding (PME) as an extension to modular embedding meant to capture the expressiveness of stochastic systems, and show its application to different coordination languages providing probabilistic mechanisms for stochastic systems.
Bookmarks Related papers MentionsView impact
Multiagent System Technologies, 2013
We advocate the role of tuple-based coordination languages as effective tools for event-driven pr... more We advocate the role of tuple-based coordination languages as effective tools for event-driven programming of situated multi-agent systems (MAS). By focussing on logic-based coordination artefacts, we discuss the benefits of exploiting ReSpecT tuple centres as event-driven abstractions for MAS coordination.
Bookmarks Related papers MentionsView impact
Conference Proceedings by Stefano Mariani
Objective and subjective approaches to coordination consti- tute two complementary approaches, bo... more Objective and subjective approaches to coordination consti- tute two complementary approaches, both essential in MAS engineering, thus requiring to be suitably integrated. In this paper, we (i) observe that a successful integration depends on the models of autonomy and coordination promoted by agent technologies, (ii) suggest that ignoring the two models may hinder agents’ autonomy, (iii) provide an example of “autonomy-preserving” integration by discussing TuCSoN4Jade.
Bookmarks Related papers MentionsView impact
Self-Adaptive and Self-Organizing Systems Workshops (SASOW) (2012), 2012
Nowadays, news management systems present new critical challenges in the knowledge management pro... more Nowadays, news management systems present new critical challenges in the knowledge management process: the ever-increasing amount of information to handle, its heterogeneity in structure, and the pace at which it is made available are just a few to mention. Features such as autonomy and self-organisation are apparently essential to face challenges of such a sort: we foresee systems where news are generated in shared spaces -- compartments -- as molecules of knowledge, which self-aggregate and autonomously move toward news prosumers--- e.g., journalists. Along this line, we discuss the Molecules of Knowledge (MoK) model for self-organising news management, featuring biochemical tuple spaces for creation, aggregation, diffusion and consumption of news. We discuss the MoK general computational model and describe its main abstractions, then we focus on news management, showing how to integrate the state-of-art international standards for news representation and dissemination in MoK, thus leading to the MoK-News domain-specific model; finally we discuss our first experiments in self-organising knowledge-oriented coordination for news management.
Bookmarks Related papers MentionsView impact
Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence (2012), 2013
To face the challenges of knowledge-intensive environments, we investigate a novel self-organisin... more To face the challenges of knowledge-intensive environments, we investigate a novel self-organising knowledge-oriented (SOKO) model, called Molecules of Knowledge (MoK for short). In MoK, knowledge atoms are generated by knowledge sources in shared spaces – compartments – self-aggregate to shape knowledge molecules, and autonomously move toward knowledge consumers.
Bookmarks Related papers MentionsView impact
From Objects to Agents (2013), 2013
Complex computational systems - such as pervasive, adaptive, and self-organising ones - typically... more Complex computational systems - such as pervasive, adaptive, and self-organising ones - typically rely on simple yet expressive coordination mechanisms: this is why coordination models and languages can be exploited as the sources of the essential abstractions and mechanisms to build such systems. While the features of tuple-based models make them well suited for complex system coordination, they lack the probabilistic mechanisms for modelling the stochastic behaviours typically required by adaptivity and self-organisation. To this end, in this paper we explicitly introduce uniform primitives as a probabilistic specialisation of standard tuple-based coordination primitives, replacing don't know non-determinism with uniform distribution. We define their semantics and discuss their expressiveness and their impact on system predictability.
Bookmarks Related papers MentionsView impact
From Objects to Agents (2013), 2013
Spatial issues are essential in new classes of complex software systems, such as pervasive, multi... more Spatial issues are essential in new classes of complex software systems, such as pervasive, multi-agent, and self-organising ones. Understanding the basic mechanisms of spatial coordination is a fundamental issue for coordination models and languages in order to deal with such systems, governing situated interaction in the spatio-temporal fabric. Along this line, in this paper we make space-aware coordination media out of ReSpecT tuple centres, by introducing the few basic mechanisms and constructs that enable the ReSpecT language to face most of the main challenges of spatial coordination in complex software systems.
Bookmarks Related papers MentionsView impact
6th International Spatial Computing Workshop (SCW 2013), 2013
Situatedness is a fundamental requirement for today’s complex software systems—as well as for the... more Situatedness is a fundamental requirement for today’s complex software systems—as well as for the computation models and programming languages used to build them. Spatial situatedness, in particular, is an essential feature for coordination models and languages, as they represent the most effective approach to face the critical issues of interaction. Following some seminal works on the subject, in this paper we try to bring some novel results from the Coordination field into the Spatial Computing perspective, by identifying a minimal set of primitives that could be used to build a virtual machine for a space-aware coordination language, using ReSpecT as our reference example.
Bookmarks Related papers MentionsView impact
28th ACM Symposium on Applied Computing (SAC 2013), 2013
We introduce probabilistic (modular) embedding as an extension to the well-known notion of modula... more We introduce probabilistic (modular) embedding as an extension to the well-known notion of modular embedding conceived to capture the expressiveness of stochastic systems, focussing here on tuple-based probabilistic languages.
Bookmarks Related papers MentionsView impact
Intelligent Distributed Computing VI (2013), 2013
We propose a novel self-organising knowledge-oriented model based on biochemical tuple spaces, ca... more We propose a novel self-organising knowledge-oriented model based on biochemical tuple spaces, called Molecules of Knowledge (MoK). We introduce MoK basic entities, define its computational model, and discuss its mapping on the TuCSoN coordination model for its implementation.
Bookmarks Related papers MentionsView impact
Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH) (2013), 2013
Socio-technical systems are becoming increasingly complex mostly due to the unpredictability of h... more Socio-technical systems are becoming increasingly complex mostly due to the unpredictability of human interactions. Furthermore, they typically work within Knowledge Intensive Environments (KIE), hence they need to deal with huge amounts of data. Coordination models are meant to cope with the increasing complexity of software systems, mostly due to the unwanted non-determinism generated by the interaction within complex systems. In this paper we describe how social actions – performed by agents interacting in a shared environment – can be exploited by a novel model for the coordination of KIE, by adopting both a nature-inspired and a cognitive/behavioural standpoint.
Bookmarks Related papers MentionsView impact
International Workshop on Petri Nets and Software Engineering (PNSE'13), 2013
Complex software systems modelled as multi-agent systems (MAS) are characterised by activities th... more Complex software systems modelled as multi-agent systems (MAS) are characterised by activities that are generated either by agents, or by the environment in its most general acceptation—that is, environmental resources and the spatio-temporal fabric. Modelling and engineering complex multi-agent systems (MAS) – such as pervasive, adaptive, and situated MAS – requires then to properly handle diverse classes of events: agent operations, resource events, spatio-temporal situation. In the following, first we devise out the requirements for a software architecture for an agent-based middleware based on boundary artefacts, then we sketch a concrete architecture based on the TuCSoN middleware for MAS coordination.
Bookmarks Related papers MentionsView impact
Papers by Stefano Mariani
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
2014 Ieee Eighth International Conference on Self Adaptive and Self Organizing Systems Workshops, Sep 1, 2014
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Uploads
Journal Articles by Stefano Mariani
Books Sections by Stefano Mariani
Conference Proceedings by Stefano Mariani
Papers by Stefano Mariani