MIAC: Methodology for Intelligent Agents Componentware
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
ODD+ D: an ODD Based Protocol for Mapping Data to Empirical Abms
ODD+2D: An ODD Based Protocol for Mapping Data to Empirical ABMs Ahmed Laatabi1, Nicolas Marilleau2, Tri Nguyen-Huu1,2, Hassan Hbid1,2, Mohamed Ait Babram1,2 1LMDP,Cadi Ayyad University, Boulevard Prince My Abdellah B.P. 2390, Marrakesh 40000, Morocco 2 Institut de Recherche pour le Développement, Pierre et Marie Curie University, 32 rue Henri Varagnat, 93143 Bondy Cedex, France Correspondence should be addressed to [email protected] Journal of Artificial Societies and Social Simulation 21(2) 9, 2018 Doi: 10.18564/jasss.3646 Url: http://jasss.soc.surrey.ac.uk/21/2/9.html Received: 27-07-2016 Accepted: 16-02-2018 Published: 31-03-2018 Abstract: The quantity of data and processes used in modeling projects has been dramatically increasing in re- cent years due to the progress in computation capability and to the popularity of new approaches such as open data. Modelers face an increasing diiculty in analyzing and modeling complex systems that consist of many heterogeneous entities. Adapting existing models is relevant to avoid dealing with the complexity of writing and studying a new model from scratch. ODD (Overview, Design concepts, Details) protocol has emerged as a solution to document Agent-Based Models (ABMs). It appears to be a convenient solution to address significant problems such as comprehension, replication, and dissemination. However, it lacks a standard that formalizes the use of data in empirical models. This paper tackles this issue by proposing a set of rules that outline the use of empirical data inside an ABM. We call this new protocol ODD+2D (ODD+Decision + Data). -
Multi-Agent Systems Engineering: a Survey and Analysis
International Research Journal of Computer Science (IRJCS) ISSN: 2393-9842 Issue 5, Volume 2 (May 2015) www.irjcs.com Multi-agent systems engineering: A survey and analysis Jihad CHAKER, Mohamed KHALDI and Souhaib AAMMOU LIROSA, Faculty of Sciences, Abdelmalek Essaadi University, MOROCCO Abstract— Recently, we have witnessed a significant emergence of multi-agent systems in the field of artificial intelligence (AI). Faced with this situation, new needs appear throughout the development processes as well management and quality. A wide range of agent-oriented methodologies have been proposed and to better understand the application of these theories, a research area called Agent Oriented Software Engineering (AOSE) is fully dedicated to research of best practices to guide the user in the development of multi-agent systems and to provide means and tools to verify, validate and test the functionalities of the system. This article is aiming to study different methodologies for the design of multi-agent systems (MAS). Thus, we will be presenting both sides the positives and the negatives. Moreover, the study will cover the most common methods, based on several criteria: documentation, coverage of life cycle, dedicated tools, citation frequency, standard integration and Areas coverage. Keywords— Multi-agent system, Agent Oriented Software Engineering, Design methodology, Life cycle, UML I. INTRODUCTION In the evolution of programming approaches, modular programming replied to the increase in terms of complexity, application memory requirements, and the need to reusability but the modules are under external control by appeal instructions. Which leads to the decomposition of programs into objects, but these objects are still liabilities. The logical step was to agent-oriented programming that offers to design agents as active objects, autonomous with its own behavior. -
Towards a Heterogeneous Multi-Robot System and Human
Master in Artificial Intelligence (UPC‐URV‐UB) Master of Science Thesis ROSAPL: towards a heterogeneous Multi‐Robot system and Human interaction framework Emili Boronat Roselló Advisor: Dr. Javier Vázquez‐Salceda September 2014 i "To my beloved father May the force be with you" ii Abstract The appearance of numerous robotic frameworks and middleware has provided researchers with reliable hardware and software units avoiding the need of developing ad-hoc platforms and focus their work on how improve the robots' high-level capabilities and behaviours. Despite this none of these are facilitating frameworks considering social capabilities as a factor in robots design. In a world that everyday seems more and more connected, with the slow but steady advance of the Internet of Things to many aspects of our daily lifes, the lack of social capabilities in a robot limits developers and researchers on areas where robots are seen as part of a solution, and not the solution. This thesis states that a social layer should be accessible in any robotic platform in order to ease the development of systems where such platforms are just a piece in the whole socio-technical system. As result of this effort we present the ROSAPL framework to develop social robots on top of ROS middleware. We tested our approach in a real scenario at IBEC's Robotics group in the context of the InHANDS, which project tries to assist a handi- capped persons in the kitchen. For them we designed and implemented a prototype to proof ROSAPL applicability. This latter will be fully implemented to offer real functionalities for the kitchen. -
Developing Multi-Agent Systems with JADE
Developing Multi-Agent Systems with JADE Wiley Series in Agent Technology Series Editor: Michael Wooldridge, Liverpool University, UK The ‘Wiley Series in Agent Technology’ is a series of comprehensive practical guides and cutting- edge research titles on new developments in agent technologies. The series focuses on all aspects of developing agent-based applications, drawing from the Internet, telecommunications, and Artificial Intelligence communities with a strong applications/technologies focus. The books will provide timely, accurate and reliable information about the state of the art to researchers and developers in the Telecommunications and Computing sectors. Titles in the series: Padgham/Winikoff: Developing Intelligent Agent Systems 0470861207 (June 2004) Pitt (ed.): Open Agent Societies 047148668X (August 2004) Developing Multi-Agent Systems with JADE Fabio Bellifemine, Telecom Italia, Italy Giovanni Caire, Telecom Italia, Italy Dominic Greenwood, Whitestein Technologies AG, Switzerland Copyright 2007 John Wiley & Sons Ltd, The Atrium, Southern Gate, Chichester, West Sussex PO19 8SQ, England Telephone (+44) 1243 779777 Email (for orders and customer service enquiries): [email protected] Visit our Home Page on www.wiley.com All Rights Reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means, electronic, mechanical, photocopying, recording, scanning or otherwise, except under the terms of the Copyright, Designs and Patents Act 1988 or under the terms of a licence issued by the Copyright Licensing Agency Ltd, 90 Tottenham Court Road, London W1T 4LP, UK, without the permission in writing of the Publisher. Requests to the Publisher should be addressed to the Permissions Department, John Wiley & Sons Ltd, The Atrium, Southern Gate, Chichester, West Sussex PO19 8SQ, England, or emailed to [email protected], or faxed to (+44) 1243 770620. -
Multi-Agent Programming at EASSS 2010
Multi-Agent Programming Olivier Boissier1, Rafael H. Bordini2, Mehdi Dastani3, Jomi F. H¨ubner4, Alessandro Ricci5 1EMSE, France 2INF-UFRGS, Brazil 3Utrecht University, Netherlands [email protected] [email protected] [email protected] 4DAS-UFSC, Brazil 5University of Bologna, Italy [email protected] [email protected] European Agent Systems Summer School 23{27 August, 2010 | Saint Etienne, France Outline of the MAP Course Introduction AOP About Agent Oriented Programming Jason 2APL EOP About Environment Oriented Programming A&A and CArtAgO OOP About Organisation Oriented Programming Moise 2OPL Conclusions Practical Exercise: a hands-on lab session! Introduction Introduction AOP EOP OOP Conclusion Agent-Oriented Software Development Methodology Multi-agent systems are a development in software engineering resulting in a new paradigm Requirement ) Analysis ) Design ) Implementation ) Test The aim is to provide high-level abstraction to model and develop complex systems Structural analysis methodology Object-oriented methodology Agent-oriented methodology (e.g. Gaia, Prometheus) 4 / 280 Introduction AOP EOP OOP Conclusion Abstraction in Multi-Agent Systems Individual Agent Level: Autonomy, Situatedness Cognitive concepts: beliefs, desires/goals, intention/plans Deliberation and decision: sense/reason/act, reactive/pro-active Multi-Agent Level: Social and Organizational Structures Roles: functionalities, activities, and responsibilities Organizational Rules: constraints on roles and their interactions, norms, deadlines, obligations -
Multi-Agent Programming: Languages, Platforms and Applications
Multi-Agent Programming Languages, Platforms and Applications Multiagent Systems, Artificial Societies, and Simulated Organizations International Book Series Series Editor: Gerhard Weiss, Technische Universitdt Munchen Editorial Board: Kathleen M. Carley, Carnegie Mellon University, PA, USA Yves Demazeau, CNRS Laboratoire LEIBNIZ, France Ed Durfee, University of Michigan, USA Les Gasser, University of Illinois at Urbana-Champaign, IL, USA Nigel Gilbert, University of Surrey, United Kingdom Michael Huhns, University of South Carolina, SC, USA Nick Jennings, University of Southampton, UK Victor Lesser, University of Massachusetts, MA, USA Katia Sycara, Carnegie Mellon University, PA, USA Michael Wooldridge, University of Liverpool, United Kingdom Books in the Series: CONFLICTING AGENTS: Conflict Management in Multi-Agent Systems, edited by Catherine Tessier, Laurent Chaudron and Heinz-Jurgen Miiller, ISBN: 0-7923-7210-7 SOCIAL ORDER IN MULTIAGENT SYSTEMS, edited by Rosaria Conte and Chrysanthos Dellarocas, ISBN: 0-7923-7450-9 SOCIALLY INTELLIGENT AGENTS: Creating Relationships with Computers and Robots, edited by Kerstin Dautenhahn, Alan H. Bond, Lola Caiiamero and Bruce Edmonds, ISBN: 1-4020-7057-8 CONCEPTUAL MODELLING OF MULTI-AGENT SYSTEMS: The CoMoMAS Engineering Environment, by Norbert Glaser, ISBN: 1-4020-7061-6 GAME THEORY AND DECISION THEORY IN AGENT-BASED SYSTEMS, edited by Simon Parsons, Piotr Gmytrasiewicz, Michael Wooldridge, ISBN: 1-4020-7115-9 REFUTATION IN ARTIFICIAL SOCIETIES: Social Beliefs for Social Order, by Rosaria Conte, Mario Paolucci, ISBN: 1-4020-7186-8 AGENT AUTONOMY, edited by Henry Hexmoor, Cristiano Castelfranchi, Rino Falcone, ISBN: 1-4020-7402-6 AGENT SUPPORTED COOPERATIVE WORK, edited by Yiming Ye, Elizabeth Churchill, ISBN: 1-4020-7404-2 DISTRIBUTED SENSOR NETWORKS, edited by Victor Lesser, Charles L. -
Logic-Based Technologies for Multi-Agent Systems: a Systematic Literature Review
Autonomous Agents and Multi-Agent Systems (2021) 35:1 https://doi.org/10.1007/s10458-020-09478-3 Logic-based technologies for multi-agent systems: a systematic literature review Roberta Calegari1 · Giovanni Ciatto2 · Viviana Mascardi3 · Andrea Omicini2 © The Author(s) 2020 Abstract Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computer-scientists and non-technical media, symbolic approaches are getting more and more attention as those that could make AI amenable to human understanding. Given the recurring cycles in the AI history, we expect that a revamp of technologies often tagged as “classical AI”—in particular, logic-based ones— will take place in the next few years. On the other hand, agents and multi-agent systems (MAS) have been at the core of the design of intelligent systems since their very beginning, and their long-term connection with logic-based technologies, which characterised their early days, might open new ways to engineer explainable intelligent systems. This is why understanding the current status of logic-based technologies for MAS is nowadays of paramount importance. Accordingly, this paper aims at providing a comprehensive view of those technologies by making them the subject of a systematic literature review (SLR). The resulting technologies are discussed and evaluated from two different perspectives: the MAS and the logic-based ones. Keywords SLR · Logic-based technologies · MAS B Roberta Calegari [email protected] -
Université De Pau Et Des Pays De L'adour
UNIVERSITÉ DE PAU ET DES PAYS DE L’ADOUR ÉCOLE DOCTORALE DES SCIENCES EXACTES ET LEURS APPLICATIONS A Model Driven Method to Design and Analyze Secure System-of-Systems Architectures. Application to Predict Cascading Attacks in Smart Buildings. Prepared by Jamal EL HACHEM A thesis submitted in fulfillment for the degree of Doctor of Philosophy in Computer Science Examination Committee: M. Salah SADOU, PU, Université de Bretagne Sud, France (President) Mme. Elisa YUMI NAKAGAWA, Prof., University of São Paulo, Brazil (Reviewer) M. Khalil DRIRA, DR CNRS, LAAS, France (Reviewer) Mme. Jenifer PEREZ BENEDI, Prof., Universidad Politecnica de Madrid, Spain (Examiner) M. Philippe ANIORTE, PU, Université de Pau et des Pays de l’Adour, France (Advisor) M. Vanea CHIPRIANOV, MC, Université de Pau et des Pays de l’Adour, France (Co-Advisor) 07 December 2017 To my loving parents Maha and Milad . Acknowledgements "La reconnaissance est la mémoire du cœur." Hans Christian Andersen. Je voudrais dire Merci à plusieurs personnes qui ont contribué d’une manière ou d’une autre, directement ou indirectement, à la réussite de cette thèse. Si j’oublie quelqu’un, c’est la faute de ma mauvaise mémoire, donc veuillez m’excuser ! Je tiens tout d’abord à remercier le Conseil Départemental des Landes pour leur généreuse bourse de thèse. Sans ce financement, ce travail n’aurait pas été possible. Je tiens aussi à exprimer ma sincère gratitude aux membres de mon Jury pour avoir bien voulu participer à l’évaluation de mes travaux de thèse. Je remercie particulièrement mes deux rapporteurs Mme Elisa NAKAGAWA et M. -
INGENIAS Development Kit (IDK) Manual, Version 2.5
Facultad de Informática INGENIAS Development Kit (IDK) Universidad Complutense de Madrid C/ Prof. JGarcía Santesmases s/n 28040 Madrid Manual España http://grasia.fdi.ucm.es IDK MANUAL SUMMARY THIS DOCUMENT PRESENTS THE INGENIAS DEVELOPMENT KIT (IDK), A SET OF TOOLS FOR THE SPECIFICATION, VERIFICATION, AND IMPLEMENTATION OF MULTI-AGENT SYSTEMS. IT IS ORIENTED TO RESEARCHERS LOOKING FOR AN AGENT-ORIENTED SPECIFICATION TOOL AND DEVELOPERS WANTING TO FOLLOW AN AGENT-ORIENTED PROCESS (SUCH AS THE INGENIAS METHODOLOGY). AS IT IS DISTRIBUTED, THE IDK CAN BE DIRECTLY USED TO SPECIFY, USING A GRAPHICAL EDITOR, MULTI-AGENT SYSTEMS. ITS FUNCTIONALITY CAN BE EXTENDED WITH MODULES THAT PERFORM AUTOMATIC CODE GENERATION AND VERIFICATION OF THE SPECIFICATIONS. SOME OF THESE MODULES ARE PROVIDED WITH THE IDK DISTRIBUTION, BUT THE DEVELOPER CAN ALSO CREATE NEW MODULES FOR A PARTICULAR APPLICATION (E.G., FOR OTHER AGENT PLATFORMS THAN THOSE CURRENTLY SUPPORTED BY IDK). THIS FEATURE IS SUPPORTED BY FACILITIES TO ACCESS THE IDK FRAMEWORK (AN API FOR PROGRAMMING MODULES AND MODULE GENERATION TOOLS), WHICH ARE BASED ON A META-MODEL SPECIFICATION OF MAS, AS DEFINED IN THE INGENIAS PROJECT. PROJECT: INGENIAS VERSION: 2.5.2 (Corresponds to version 2.5 of IDK) STATUS: DRAFT DATE: 26/11/2005 AUTHORS: Jorge J. Gómez Sanz and Juan Pavón II INDEX INDEX ______________________________________________________________________________iii 1. INTRODUCTION _________________________________________________________________ 1 1.1. Scope and Use ________________________________________________________________ 1 1.2. Credits ______________________________________________________________________ 1 1.3. Guide to read the document_____________________________________________________ 2 2. Getting started with the IDK _________________________________________________________ 3 2.1. Installing the IDK _____________________________________________________________ 3 2.2. Specification of a multi-agent system _____________________________________________ 4 2.3. -
A Multi Agent System for Flow-Based Intrusion Detection David A
Air Force Institute of Technology AFIT Scholar Theses and Dissertations Student Graduate Works 3-21-2013 A Multi Agent System for Flow-Based Intrusion Detection David A . Ryan Follow this and additional works at: https://scholar.afit.edu/etd Part of the Digital Communications and Networking Commons Recommended Citation Ryan, David A ., "A Multi Agent System for Flow-Based Intrusion Detection" (2013). Theses and Dissertations. 901. https://scholar.afit.edu/etd/901 This Thesis is brought to you for free and open access by the Student Graduate Works at AFIT Scholar. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of AFIT Scholar. For more information, please contact [email protected]. A MULTI AGENT SYSTEM FOR FLOW-BASED INTRUSION DETECTION THESIS David A. Ryan, Second Lieutenant, USAF AFIT-ENG-13-M-43 DEPARTMENT OF THE AIR FORCE AIR UNIVERSITY AIR FORCE INSTITUTE OF TECHNOLOGY Wright-Patterson Air Force Base, Ohio DISTRIBUTION STATEMENT A. APPROVED FOR PUBLIC RELEASE; DISTRIBUTION UNLIMITED The views expressed in this thesis are those of the author and do not reflect the official policy or position of the United States Air Force, the Department of Defense, or the United States Government. This material is declared a work of the U.S. Government and is not subject to copyright protection in the United States. AFIT-ENG-13-M-43 A MULTI AGENT SYSTEM FOR FLOW-BASED INTRUSION DETECTION THESIS Presented to the Faculty Department of Electrical and Computer Engineering Graduate School of Engineering and Management Air Force Institute of Technology Air University Air Education and Training Command in Partial Fulfillment of the Requirements for the Degree of Master of Science in Computer Engineering David A. -
The Development of a Multi-Agent Design Information Management and Support System
GMIT GAIVW~Mft¥0 INSTITUTE D i TECHNOLOEY INSIITIUKt TtICHfQLPÎDClîiiî NR GmiUM HE-HM GH EO The Development of a Multi-Agent Design Information Management and Support System September 2005 Submitted for the degree of Doctor of Philosophy Submitted to : Galway-Mayo Institute of Technology, Ireland Research Supervisor : Dr. Thomas Roche Declaration I hereby declare that the work presented in this thesis is my own and that it has not been used to obtain a degree in this university or elsewhere. Camelia Chira ii Dedication To Erin Carla.... iii Prologue The research presented in this thesis was developed as part of a project called Intelligent Agent Based Collaborative Design Information Management and Support Tools (I-DIMS). The I-DIMS project was funded by the Irish Research Council for Science, Engineering and Technology (IRCSET) as a partnership project between Galway-Mayo Institute of Technology and the Computer Integrated Manufacturing Research Unit (CIMRU), National University of Ireland, Galway. The project aimed to investigate the use of software agents to support the synthesis and presentation of information for distributed teams for the purposes of enhancing design, learning, creativity, communication and productivity. Acknowledgments Many people contributed in different ways to the development of this thesis. I would like to thank Tom Roche, my project supervisor, for all the help and assistance particularly during the process of thesis write up. Thank you for offering me the opportunity to experience the world of research and academia during the last five years. I would like to express my appreciation to all the members of the I-DIMS team for their contribution to the current research. -
Standardizing the Requirements Specification of Multi-Agent Systems
Standardizing the Requirements Specification of Multi-Agent Systems by Khaled Ali M Slhoub Master of Computer Science Faculty of Computer Science University of New Brunswick 2008 Bachelor of Science Department of Computer Science University of Benghazi 1999 A dissertation submitted to Florida Institute of Technology in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Computer Science Melbourne, Florida July, 2018 ⃝c Copyright 2018 Khaled Ali M Slhoub All Rights Reserved The author grants permission to make single copies. We the undersigned committee hereby approve the attached dissertation Standardizing the Requirements Specification of Multi-Agent Systems by Khaled Ali M Slhoub Marco Carvalho, Ph.D. Professor/Dean College of Engineering and Computing Committee Chair Muzaffar Shaikh, Ph.D. Professor College of Engineering Outside Committee Member Philip Bernhard, Ph.D. Associate Professor/Director School of Computing Committee Member Walter Bond, Ph.D. Associate Professor School of Computing Committee Member ABSTRACT Title: Standardizing the Requirements Specification of Multi-Agent Systems Author: Khaled Ali M Slhoub Major Advisor: Marco Carvalho, Ph.D. Development of multi-agent systems is negatively impacted by the lack of process standardization across the major development phases, such as the requirements analysis phase. This issue creates a key barrier for agent technology stakeholders regarding comprehending and analyzing complexity associated with agent-oriented specification. Instead, such fundamental low-level infrastructure is loosely attended to in an ad-hoc fashion, and important aspects of requirements analysis are often neglected altogether. The IEEE Std 830 model is a recommended practice aimed at describing how to write better quality requirements specification of conventional software.