263 research outputs found

    Proceedings of the 11th European Agent Systems Summer School Student Session

    Get PDF
    This volume contains the papers presented at the Student Session of the 11th European Agent Systems Summer School (EASSS) held on 2nd of September 2009 at Educatorio della Providenza, Turin, Italy. The Student Session, organised by students, is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process and present their work to each other and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. Table of Contents: Andrew Koster, Jordi Sabater Mir and Marco Schorlemmer, Towards an inductive algorithm for learning trust alignment . . . 5; Angel Rolando Medellin, Katie Atkinson and Peter McBurney, A Preliminary Proposal for Model Checking Command Dialogues. . . 12; Declan Mungovan, Enda Howley and Jim Duggan, Norm Convergence in Populations of Dynamically Interacting Agents . . . 19; Akın Günay, Argumentation on Bayesian Networks for Distributed Decision Making . . 25; Michael Burkhardt, Marco Luetzenberger and Nils Masuch, Towards Toolipse 2: Tool Support for the JIAC V Agent Framework . . . 30; Joseph El Gemayel, The Tenacity of Social Actors . . . 33; Cristian Gratie, The Impact of Routing on Traffic Congestion . . . 36; Andrei-Horia Mogos and Monica Cristina Voinescu, A Rule-Based Psychologist Agent for Improving the Performances of a Sportsman . . . 39; --Autonomer Agent,Agent,Künstliche Intelligenz

    A Mathematical Model of Dialog

    Get PDF
    AbstractComputer Science is currently undergoing a paradigm shift, from viewing computer systems as isolated programs to viewing them as dynamic multi-agent societies. Evidence of this shift is the significant effort devoted recently to the design and implementation of languages and protocols for communications and interaction between software agents. Despite this effort, no formal mathematical theory of agent interaction languages and protocols yet exists. We argue that such a theory needs to account for the semantics of agent interaction, and propose the first mathematical theory which does this. Our framework incorporates category-theoretic entities for the utterances made in an agent dialog and for the commitments incurred by those utterances, together with maps between these

    Case-Based Argumentation Framework. Dialogue Protocol

    Full text link
    On top of the simpler ability to interact, open MAS must include mechanisms for their agents to reach agreements by taking into account their social context. Argumentation provides MAS with a framework that assures a rational communication, which allows agents to reach agreements when conflicts of opinion arise. In this report we present the communication protocol that agents of a case-based argumentation framework use to interact when they engage in argumentation dialogues. The syntax and semantics of the framework are formalised and discussed.Heras Barberá, SM.; Botti Navarro, VJ.; Julian Inglada, VJ. (2011). Case-Based Argumentation Framework. Dialogue Protocol. http://hdl.handle.net/10251/1109

    Modelling dialogues in agent societies

    Full text link
    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

    Specifying agent interaction protocols

    Get PDF
    Argumentation-based negotiation is an adequate alternative for modelling situations in which agents have limited information and bounded capacities. In this research line, each agent elaborates arguments as part of its own planning process and also to justify its proposals, counter-proposals and rejections during the negotiation process. Our proposal analyzes and compares three tools for the specification of interaction protocols: finite state machines, UML, and dialogues games.Eje: Inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI

    Contributions of formal language theory to the study of dialogues

    Get PDF
    For more than 30 years, the problem of providing a formal framework for modeling dialogues has been a topic of great interest for the scientific areas of Linguistics, Philosophy, Cognitive Science, Formal Languages, Software Engineering and Artificial Intelligence. In the beginning the goal was to develop a "conversational computer", an automated system that could engage in a conversation in the same way as humans do. After studies showed the difficulties of achieving this goal Formal Language Theory and Artificial Intelligence have contributed to Dialogue Theory with the study and simulation of machine to machine and human to machine dialogues inspired by Linguistic studies of human interactions. The aim of our thesis is to propose a formal approach for the study of dialogues. Our work is an interdisciplinary one that connects theories and results in Dialogue Theory mainly from Formal Language Theory, but also from another areas like Artificial Intelligence, Linguistics and Multiprogramming. We contribute to Dialogue Theory by introducing a hierarchy of formal frameworks for the definition of protocols for dialogue interaction. Each framework defines a transition system in which dialogue protocols might be uniformly expressed and compared. The frameworks we propose are based on finite state transition systems and Grammar systems from Formal Language Theory and a multi-agent language for the specification of dialogue protocols from Artificial Intelligence. Grammar System Theory is a subfield of Formal Language Theory that studies how several (a finite number) of language defining devices (language processors or grammars) jointly develop a common symbolic environment (a string or a finite set of strings) by the application of language operations (for instance rewriting rules). For the frameworks we propose we study some of their formal properties, we compare their expressiveness, we investigate their practical application in Dialogue Theory and we analyze their connection with theories of human-like conversation from Linguistics. In addition we contribute to Grammar System Theory by proposing a new approach for the verification and derivation of Grammar systems. We analyze possible advantages of interpreting grammars as multiprograms that are susceptible of verification and derivation using the Owicki-Gries logic, a Hoare-based logic from the Multiprogramming field

    Case-based argumentation infrastructure for agent societies

    Full text link
    In this work, we propose an infrastructure to develop and execute argumentative agents in an open multi-agent system. This infrastructure offers the necessary components to develop agents with argumentation capabilities, including the communication skills and the argumentation protocol, and it offers support for agent societies and their agents' social context. The main advantage of having this infrastructure is that it is possible to create agents with argumentation capabilities to resolve a specified problem. In the argumentation dialogue the agents try to reach an agreement about the best solution to apply for each proposed problem. The proposed infrastructure has been validated with a real example and it has been evaluated obtaining, with argumentation strategies, better performance than other reasoning approaches that do not include argumentation.Jordán Prunera, JM. (2011). Case-based argumentation infrastructure for agent societies. http://hdl.handle.net/10251/15362Archivo delegad

    Interaction among BDI argumentative agents: a dialogue games approach

    Get PDF
    Negotiation is a fundamental activity in a multi-agent system. The members of the system negotiate in order to coordinate their activities and to distribute resources and tasks trying to reach a state acceptable to all. Carrying out a negotiation process requires that agents be able to interact. In this work, protocol interaction is implemented by means of dialogues between agents, and the set of dialogues generated inside the same negotiation process conforms a conversation. We propose an interaction language that allows argumentation-based negotiation among collaborative BDI agents. For the language description we use a formalism, called Dialogue Games, which allows to specify the nature of the utterancesVI Workshop de Agentes y Sistemas Inteligentes (WASI)Red de Universidades con Carreras en Informática (RedUNCI
    corecore