Empowering a Cyber-Physical System for a Modular Conveyor System with Self-organization

The Industry 4.0 advent, advocating the digitalization and transformation of current production systems towards the factories of future, is introducing significant social and technological challenges. Cyber-physical systems (CPS) can be used to realize these Industry 4.0 compliant systems, integrating several emergent technologies, such as Internet of Things, big data, cloud computing and multi-agent systems. The paper analyses the advantages of using biological inspiration to empower CPS, and particularly those developed using distributed and intelligent paradigms such as multi-agent systems technology. For this purpose, the self-organization capability, as one of the main drivers in this industrial revolution is analysed, and the way to translate it to solve complex industrial engineering problems is discussed. Its applicability is illustrated by building a self-organized cyber-physical conveyor system composed by different individual modular and intelligent transfer modules.info:eu-repo/semantics/publishedVersio

Constraint rule-based programming of norms for electronic institutions

Peer reviewedPostprin

Modelling dialogues in agent societies

Besides the simpler ability to interact, open multi-agent systems must include mechanisms for their agents to reach agreements by taking into account their social context. Argumentation provides multi-agent systems with a framework that assures a rational communication, which allows agents to reach agreements when conflicts of opinion arise. In this paper, we present the dialogue protocol that agents of a case-based argumentation framework can use to interact when they engage in argumentation dialogues. The syntax and semantics of the argumentation protocol are formalised and discussed. To illustrate our proposal, we have applied the protocol in the context of a water market. By using our dialogue protocol, agents represent water users that are able to explore different water allocations and justify their views about what is the best water distribution in a certain environment.This work is supported by the Spanish government Grants CONSOLIDER INGENIO 2010 CSD2007-00022, MINECO/FEDER TIN2012-36586-C03-01, and MICINN TIN2011-27652-C03-01.Heras Barberá, SM.; Botti Navarro, VJ.; Julian Inglada, VJ. (2014). Modelling dialogues in agent societies. Engineering Applications of Artificial Intelligence. 34:208-226. https://doi.org/10.1016/j.engappai.2014.06.003S2082263

Social Mental Shaping: Modelling the Impact of Sociality on Autonomous Agents' Mental States

This paper presents a framework that captures how the social nature of agents that are situated in a multi-agent environment impacts upon their individual mental states. Roles and relationships provide an abstraction upon which we develop the notion of social mental shaping. This allows us to extend the standard Belief-Desire-Intention model to account for how common social phenomena (e.g. cooperation, collaborative problem-solving and negotiation) can be integrated into a unified theoretical perspective that reflects a fully explicated model of the autonomous agent's mental state

Logic-Based Specification Languages for Intelligent Software Agents

The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very lively research sub-field studies how formal methods can be used for AOSE. This paper presents a detailed survey of six logic-based executable agent specification languages that have been chosen for their potential to be integrated in our ARPEGGIO project, an open framework for specifying and prototyping a MAS. The six languages are ConGoLog, Agent-0, the IMPACT agent programming language, DyLog, Concurrent METATEM and Ehhf. For each executable language, the logic foundations are described and an example of use is shown. A comparison of the six languages and a survey of similar approaches complete the paper, together with considerations of the advantages of using logic-based languages in MAS modeling and prototyping.Comment: 67 pages, 1 table, 1 figure. Accepted for publication by the Journal "Theory and Practice of Logic Programming", volume 4, Maurice Bruynooghe Editor-in-Chie

On the emergent Semantic Web and overlooked issues

The emergent Semantic Web, despite being in its infancy, has already received a lotof attention from academia and industry. This resulted in an abundance of prototype systems and discussion most of which are centred around the underlying infrastructure. However, when we critically review the work done to date we realise that there is little discussion with respect to the vision of the Semantic Web. In particular, there is an observed dearth of discussion on how to deliver knowledge sharing in an environment such as the Semantic Web in effective and efficient manners. There are a lot of overlooked issues, associated with agents and trust to hidden assumptions made with respect to knowledge representation and robust reasoning in a distributed environment. These issues could potentially hinder further development if not considered at the early stages of designing Semantic Web systems. In this perspectives paper, we aim to help engineers and practitioners of the Semantic Web by raising awareness of these issues