Programación de agentes y argumentación

Esta línea de investigación involucra programación de agentes y argumentación. En particular, en este trabajo se presentan las motivaciones y las investigaciones en curso. El principal objetivo de esta linea, es el desarrollo de herramientas que permitan una programación declarativa de agentes inteligentes. En especial, agentes que utilizan razonamiento no monótono y de sentido común. Particularmente, se buscan herramientas que cuenten con mecanismos de argumentación para el razonamiento de los agentes. Actualmente se están estudiando diferentes arquitecturas de agente, que utilizan argumentación como mecanismo de razonamiento, y lenguajes de programación de agente, que permite implementaciones declarativas. Aprovechando este análisis y como primer paso para permitir que la programación de agente que razonan utilizando argumentación, se han presentado constructores que permitan formar argumentos para garantizar las creencias del agente.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

Platform for building large-scale agent-based systems

This paper presents an agent platform called PANGEA (Platform for Automatic construction of orGanizations of intElligent Agents). This platform allows to developed multiagent systems modeled as Virtual Organizations. The concepts of roles, organizations and norms are fully supported by the platform assuring flexibility and scalability. Moreover, a communication protocol based on IRC gives high performance and reliability to this kind of distributed systems

An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification

Simulation-based verification is beneficial for assessing otherwise dangerous or costly on-road testing of autonomous vehicles (AV). This paper addresses the challenge of efficiently generating effective tests for simulation-based AV verification using software testing agents. The multi-agent system (MAS) programming paradigm offers rational agency, causality and strategic planning between multiple agents. We exploit these aspects for test generation, focusing in particular on the generation of tests that trigger the precondition of an assertion. On the example of a key assertion we show that, by encoding a variety of different behaviours respondent to the agent's perceptions of the test environment, the agency-directed approach generates twice as many effective tests than pseudo-random test generation, while being both efficient and robust. Moreover, agents can be encoded to behave naturally without compromising the effectiveness of test generation. Our results suggest that generating tests using agency-directed testing significantly improves upon random and simultaneously provides more realistic driving scenarios.Comment: 18 pages, 8 figure

PANGEA – Platform for Automatic coNstruction of orGanizations of intElligent Agents

This article presents PANGEA, an agent platform to develop open multiagent systems, specifically those including organizational aspects such as virtual agent organizations. The platform allows the integral management of organizations and offers tools to the end user. Additionally, it includes a communication protocol based on the IRC standard, which facilitates implementation and remains robust even with a large number of connections. The introduction of a CommunicationAgent and a Sniffer make it possible to offer web services for the distributed control of interaction

Improving the Tracing System in PANGEA Using the TRAMMAS Model

This paper presents the integration of the tracing model TRAMMAS in an agent platform called PANGEA. This platform allows to developed multiagent systems modeled as Virtual Organizations. The concepts of roles, organizations and norms are fully supported by the platform assuring flexibility and scalability. Before TRAMMAS, this platform uses a Sniffer Agent to trace the information reducing its scalability as a centralized mechanism. TRAMMAS proposes the use of event tracing in multiagent systems, as an indirect interaction and coordination mechanism to improve the amount and quality of the information that agents can perceive in order to fulfill their goals more efficiently. Moreover, the event tracing system can help reducing the amount of unnecessary information

An agent-oriented programming language for computing in context

Context aware intelligent agents are key components in the development of pervasive systems. In this paper, we present an extension of a BDI programming language to support ontological reasoning and ontology-based speech act communication. These extensions were guided by the new requirements brought about by such emerging computing styles. These new features are essential for the development multi-agent systems with context awareness, given that ontologies have been widely pointed out as an appropriate way to model contexts.Applications in Artificial Intelligence - AgentsRed de Universidades con Carreras en Informática (RedUNCI

An Abstract Formal Basis for Digital Crowds

Crowdsourcing, together with its related approaches, has become very popular in recent years. All crowdsourcing processes involve the participation of a digital crowd, a large number of people that access a single Internet platform or shared service. In this paper we explore the possibility of applying formal methods, typically used for the verification of software and hardware systems, in analysing the behaviour of a digital crowd. More precisely, we provide a formal description language for specifying digital crowds. We represent digital crowds in which the agents do not directly communicate with each other. We further show how this specification can provide the basis for sophisticated formal methods, in particular formal verification.Comment: 32 pages, 4 figure