Defeasible decision making in a robotic environment

Decision making models for autonomous agents are recently receiving increased attention, particularly in the feld of intelligent robots. This work presents a Defeasible Logic Programming approach to decision making in an environment with single and multiple robots. We will show, how a successful tool for knowledge representation and defeasible reasoning could be applied to the problem of deciding which task should be performed next. Besides, we will explain with detailed examples how the decision process is performed when there is only one robot in the environment, and then we will consider how the same robot decides when there are more robots working in the environment.Actualmente, los modelos de toma de decisiones para agentes autónomos están recibiendo mucha atención, particularmente en el área de robots inteligentes. Este trabajo presenta un enfoque basado en Programación en Lógica Rebatible para la toma de decisiones en un ambiente con un único robot y con múltiples robots. Mostraremos como una herramienta exitosa para la representación de conocimiento y razonamiento rebatible, puede ser aplicada al problema de decidir que tarea debe ser realizada a continuación. Además, explicaremos con ejemplos detallados como se realiza el proceso de decisión cuando hay solamente un robot en el ambiente, y luego consideraremos como decide el mismo robot cuando hay otros robots presentes en el ambiente.VIII Workshop de Procesamiento Distribuido y ParaleloRed de Universidades con Carreras en Informática (RedUNCI

Improving argumentation-based recommender systems through context-adaptable selection criteria

Recommender Systems based on argumentation represent an important proposal where the recommendation is supported by qualitative information. In these systems, the role of the comparison criterion used to decide between competing arguments is paramount and the possibility of using the most appropriate for a given domain becomes a central issue; therefore, an argumentative recommender system that offers an interchangeable argument comparison criterion provides a significant ability that can be exploited by the user. However, in most of current recommender systems, the argument comparison criterion is either fixed, or codified within the arguments. In this work we propose a formalization of context-adaptable selection criteria that enhances the argumentative reasoning mechanism. Thus, we do not propose of a new type of recommender system; instead we present a mechanism that expand the capabilities of existing argumentation-based recommender systems. More precisely, our proposal is to provide a way of specifying how to select and use the most appropriate argument comparison criterion effecting the selection on the user´s preferences, giving the possibility of programming, by the use of conditional expressions, which argument preference criterion has to be used in each particular situation.Fil: Teze, Juan Carlos Lionel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentina. Universidad Nacional de Entre Ríos; ArgentinaFil: Gottifredi, Sebastián. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaFil: García, Alejandro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación; Argentin

Supporting communication among cognitive robots in simulated environments

Despite the fact that the Khepera II is an experimental platform widely used in the scientific community related to robotics research, its application to cognitive robotics is not as extensive as it should be. Particularly, in this field of research, the Khe-DeLP framework has arisen as an interesting proposal for developing cognitive agents to control real and simulated Khepera II robots. Although Khe-DeLP allows to work with multiple robots within the same environment, at present, only nonintentional communication among them can be achieved in this framework. Therefore, in this work we present extentions to Khe-DeLP to be able to model simulated scenarios where multiple robots interact by using explicit communication among them. This new feature improves Khe-DeLP since any kind of coordination problems can be simulated within the framework. As concept test, an example is presented which aims to validate coordinated behaviours of the robots by using the new communication features included in Khe-DeLP.Presentado en el XII Workshop Agentes y Sistemas Inteligentes (WASI)Red de Universidades con Carreras en Informática (RedUNCI

Defeasible decision making in a robotic environment

Decision making models for autonomous agents are recently receiving increased attention, particularly in the feld of intelligent robots. This work presents a Defeasible Logic Programming approach to decision making in an environment with single and multiple robots. We will show, how a successful tool for knowledge representation and defeasible reasoning could be applied to the problem of deciding which task should be performed next. Besides, we will explain with detailed examples how the decision process is performed when there is only one robot in the environment, and then we will consider how the same robot decides when there are more robots working in the environment.Actualmente, los modelos de toma de decisiones para agentes autónomos están recibiendo mucha atención, particularmente en el área de robots inteligentes. Este trabajo presenta un enfoque basado en Programación en Lógica Rebatible para la toma de decisiones en un ambiente con un único robot y con múltiples robots. Mostraremos como una herramienta exitosa para la representación de conocimiento y razonamiento rebatible, puede ser aplicada al problema de decidir que tarea debe ser realizada a continuación. Además, explicaremos con ejemplos detallados como se realiza el proceso de decisión cuando hay solamente un robot en el ambiente, y luego consideraremos como decide el mismo robot cuando hay otros robots presentes en el ambiente.VIII Workshop de Procesamiento Distribuido y ParaleloRed de Universidades con Carreras en Informática (RedUNCI

Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives

Together with the disruptive development of modern sub-symbolic approaches to artificial intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more and more researchers exploit their potential to make AI more comprehensible, explainable, and therefore trustworthy. Since logic-based approaches lay at the core of symbolic AI, summarizing their state of the art is of paramount importance now more than ever, in order to identify trends, benefits, key features, gaps, and limitations of the techniques proposed so far, as well as to identify promising research perspectives. Along this line, this paper provides an overview of logic-based approaches and technologies by sketching their evolution and pointing out their main application areas. Future perspectives for exploitation of logic-based technologies are discussed as well, in order to identify those research fields that deserve more attention, considering the areas that already exploit logic-based approaches as well as those that are more likely to adopt logic-based approaches in the future

Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review

Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computerscientists 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

Coordinación basada en argumentación en sistemas multi-agente

Este artículo describe, en forma resumida, parte de los trabajos de investigación y desarrollo que se están llevando a cabo en la línea “Agentes y Sistemas Multi-agente” del LIDIC, en conjunto con investigadores del LIDIA. El objetivo de este trabajo es presentar las principales temáticas que están siendo abordadas actualmente en el área de agentes cognitivos, para posibilitar un intercambio de experiencias con otros investigadores participantes del Workshop, que trabajen en líneas de investigación afines. Uno de los objetivos principales de esta línea, es el estudio y desarrollo de modelos de coordinación para agentes que forman parte de un sistema multi-agente; actualmente, uno de los objetivos parciales del grupo de trabajo, es analizar la utilización de técnicas de argumentación en modelos de coordinación de alto nivel. Este estudio se abordará con un enfoque teórico/práctico abarcando modelos teóricos de sistemas multi-agente y su aplicación en problemas complejos del mundo real. En particular, el énfasis estará puesto en problemas que involucren coordinación de múltiples robots.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

Argumentative systems in robots

Nowadays, the development of intelligent agents intends to be more refined, using improved architectures and reasoning mechanisms. Revise the beliefs of an agent is also an important subject, due to the consistency that agents should have about their knowledge. In this work we propose deliberative and argumentative agents using Lego Mindstorms robots, Argumentative NXT BDI-like Agents. These agents are built using the notions of the BDI model and they are capable to reason using the DeLP formalism. They update their knowledge base with their perceptions and revise it when necessary. Two variations are presented: the Single Argumentative NXT BDI-like Agent and the MAS Argumentative NXT BDI-like Agent.Universidade da Madeir