How to Complete Regulations in Multi-agent Systems

In this paper, we deal with regulations that may exist in multiagent systems in order to regulate agent behaviour. More precisely, we discuss two properties of regulations, consistency and ompleteness. After defining what consistency and completeness mean, we propose a way to consistently complete incomplete regulations. This contribution considers that regulations are expressed in a first order deontic logic. We will focus on particular regulations: information exchange policies

Extend Commitment Protocols with Temporal Regulations: Why and How

The proposal of Elisa Marengo's thesis is to extend commitment protocols to explicitly account for temporal regulations. This extension will satisfy two needs: (1) it will allow representing, in a flexible and modular way, temporal regulations with a normative force, posed on the interaction, so as to represent conventions, laws and suchlike; (2) it will allow committing to complex conditions, which describe not only what will be achieved but to some extent also how. These two aspects will be deeply investigated in the proposal of a unified framework, which is part of the ongoing work and will be included in the thesis.Comment: Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI), pages 1-8 (arXiv:1107.1686

MACS: Multi-agent COTR system for Defense Contracting

The field of intelligent multi-agent systems has expanded rapidly in the recent past. Multi-agent architectures and systems are being investigated and continue to develop. To date, little has been accomplished in applying multi-agent systems to the defense acquisition domain. This paper describes the design, development, and related considerations of a multi-agent system in the area of procurement and contracting for the defense acquisition community

A modal logic for reasoning on consistency and completeness of regulations

In this paper, we deal with regulations that may exist in multi-agent systems in order to regulate agent behaviour and we discuss two properties of regulations, that is consistency and completeness. After defining what consistency and completeness mean, we propose a way to consistently complete incomplete regulations. In this contribution, we extend previous works and we consider that regulations are expressed in a first order modal deontic logic

Designing normative open virtual enterprises

This is an Accepted Manuscript of an article published by Taylor & Francis Group in Enterprise Information Systems on 23/03/2016, available online: http://www.tandfonline.com/10.1080/17517575.2015.1036927.[EN] There is an increasing interest on developing virtual enterprises in order to deal with the globalisation of the economy, the rapid growth of information technologies and the increase of competitiveness. In this paper we deal with the development of normative open virtual enterprises (NOVEs). They are systems with a global objective that are composed of a set of heterogeneous entities and enterprises that exchange services following a specific normative context. In order to analyse and design systems of this kind the multi-agent paradigm seems suitable because it offers a specific solution for supporting the social and contractual relationships between enterprises and for formalising their business processes. This paper presents how the Regulated Open Multiagent systems (ROMAS) methodology, an agent-oriented software methodology, can be used to analyse and design NOVEs. ROMAS offers a complete development process that allows identifying and formalising of the structure of NOVEs, their normative context and the interactions among their members. The use of ROMAS is exemplified by means of a case study that represents an automotive supply chain.This work was partially supported by the projects [PROMETEOII/2013/019], [TIN2012-36586-C03-01], [FP7-29493], [TIN2011-27652-C03-00] and [CSD2007-00022], and the CASES project within the 7th European Community Framework Programme [grant agreement number 294931].Garcia Marques, ME.; Giret Boggino, AS.; Botti Navarro, VJ. (2016). Designing normative open virtual enterprises. Enterprise Information Systems. 10(3):303-324. https://doi.org/10.1080/17517575.2015.1036927S303324103Cardoso, H. L., Urbano, J., Brandão, P., Rocha, A. P., & Oliveira, E. (2012). ANTE: Agreement Negotiation in Normative and Trust-Enabled Environments. Advances on Practical Applications of Agents and Multi-Agent Systems, 261-264. doi:10.1007/978-3-642-28786-2_33Chu, X. N., Tso, S. K., Zhang, W. J., & Li, Q. (2002). Partnership Synthesis for Virtual Enterprises. The International Journal of Advanced Manufacturing Technology, 19(5), 384-391. doi:10.1007/s001700200028Davidsson, P., & Jacobsson, A. (s. f.). Towards Norm-Governed Behavior in Virtual Enterprises. Studies in Computational Intelligence, 35-55. doi:10.1007/978-3-540-88071-4_3DeLoach, S. A., & Ojeda, J. C. G. (2010). O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems. International Journal of Agent-Oriented Software Engineering, 4(3), 244. doi:10.1504/ijaose.2010.036984DI MARZO SERUGENDO, G., GLEIZES, M.-P., & KARAGEORGOS, A. (2005). Self-organization in multi-agent systems. The Knowledge Engineering Review, 20(2), 165-189. doi:10.1017/s0269888905000494Dignum, V. 2003. “A Model for Organizational Interaction: Based on Agents, Founded in Logic.” PhD diss., Utrecht University.Dignum, V., and F. Dignum. 2006.A Landscape of Agent Systems for the Real World. Technical Report 44-CS-2006-061. Utrecht: Institute of Information and Computing Sciences, Utrecht University.Dignum, V., Meyer, J.-J. C., Dignum, F., & Weigand, H. (2003). Formal Specification of Interaction in Agent Societies. Lecture Notes in Computer Science, 37-52. doi:10.1007/978-3-540-45133-4_4Garcia, E. 2013. “Engineering Regulated Open Multiagent Systems.” PhD diss., Universitat Politecnica de Valencia.Garcia, E., Giret, A., & Botti, V. (s. f.). Software Engineering for Service-Oriented MAS. Lecture Notes in Computer Science, 86-100. doi:10.1007/978-3-540-85834-8_9Garcia, E., Giret, A., & Botti, V. (2013). A Model-Driven CASE tool for developing and verifying regulated open MAS. Science of Computer Programming, 78(6), 695-704. doi:10.1016/j.scico.2011.10.009Garcia, E., Giret, A., & Botti, V. (2011). Evaluating software engineering techniques for developing complex systems with multiagent approaches. Information and Software Technology, 53(5), 494-506. doi:10.1016/j.infsof.2010.12.012Garcia, E., Giret, A., & Botti, V. (2011). Regulated Open Multi-Agent Systems Based on Contracts. Information Systems Development, 243-255. doi:10.1007/978-1-4419-9790-6_20Garcia, E., Giret, A., & Botti, V. (2014). ROMAS Methodology. Handbook on Agent-Oriented Design Processes, 331-369. doi:10.1007/978-3-642-39975-6_11Hollander, C. D., & Wu, A. S. (2011). The Current State of Normative Agent-Based Systems. Journal of Artificial Societies and Social Simulation, 14(2). doi:10.18564/jasss.1750HORLING, B., & LESSER, V. (2004). A survey of multi-agent organizational paradigms. The Knowledge Engineering Review, 19(4), 281-316. doi:10.1017/s0269888905000317Julian, V., Rebollo, M., Argente, E., Botti, V., Carrascosa, C., & Giret, A. (2009). Using THOMAS for Service Oriented Open MAS. Lecture Notes in Computer Science, 56-70. doi:10.1007/978-3-642-10739-9_5Luck, M., Barakat, L., Keppens, J., Mahmoud, S., Miles, S., Oren, N., … Taweel, A. (2011). Flexible Behaviour Regulation in Agent Based Systems. Lecture Notes in Computer Science, 99-113. doi:10.1007/978-3-642-22427-0_8Meneguzzi, F., Modgil, S., Oren, N., Miles, S., Luck, M., & Faci, N. (2012). Applying electronic contracting to the aerospace aftercare domain. Engineering Applications of Artificial Intelligence, 25(7), 1471-1487. doi:10.1016/j.engappai.2012.06.004Presley, A., Sarkis, J., Barnett, W., & Liles, D. (2001). International Journal of Flexible Manufacturing Systems, 13(2), 145-162. doi:10.1023/a:1011131417956Saeki, M., & Kaiya, H. (2008). Supporting the Elicitation of Requirements Compliant with Regulations. Active Flow and Combustion Control 2018, 228-242. doi:10.1007/978-3-540-69534-9_18Such, J. M., García-Fornes, A., Espinosa, A., & Bellver, J. (2013). Magentix2: A privacy-enhancing Agent Platform. Engineering Applications of Artificial Intelligence, 26(1), 96-109. doi:10.1016/j.engappai.2012.06.009Telang, P. R., & Singh, M. P. (2009). Enhancing Tropos with Commitments. Lecture Notes in Computer Science, 417-435. doi:10.1007/978-3-642-02463-4_22Wooldridgey, M., & Ciancarini, P. (2001). Agent-Oriented Software Engineering: The State of the Art. Lecture Notes in Computer Science, 1-28. doi:10.1007/3-540-44564-1_

Detection and resolution of normative conflicts in multi-agent systems : a literature survey

Peer reviewedPostprin

A modular hybrid simulation framework for complex manufacturing system design

For complex manufacturing systems, the current hybrid Agent-Based Modelling and Discrete Event Simulation (ABM–DES) frameworks are limited to component and system levels of representation and present a degree of static complexity to study optimal resource planning. To address these limitations, a modular hybrid simulation framework for complex manufacturing system design is presented. A manufacturing system with highly regulated and manual handling processes, composed of multiple repeating modules, is considered. In this framework, the concept of modular hybrid ABM–DES technique is introduced to demonstrate a novel simulation method using a dynamic system of parallel multi-agent discrete events. In this context, to create a modular model, the stochastic finite dynamical system is extended to allow the description of discrete event states inside the agent for manufacturing repeating modules (meso level). Moreover, dynamic complexity regarding uncertain processing time and resources is considered. This framework guides the user step-by-step through the system design and modular hybrid model. A real case study in the cell and gene therapy industry is conducted to test the validity of the framework. The simulation results are compared against the data from the studied case; excellent agreement with 1.038% error margin is found in terms of the company performance. The optimal resource planning and the uncertainty of the processing time for manufacturing phases (exo level), in the presence of dynamic complexity is calculated