Graphic summary
  • Show / hide key
  • Information


Scientific and technological production
  •  

1 to 50 of 117 results
  • Introducing Norms into Practical Reasoning Agents  Open access

     Panagiotidi, Sofia
    Universitat Politècnica de Catalunya
    Theses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    La gestión de sistemas electrónicos distribuidos se está convirtiendo en un auténtico reto a medida que dichos sistemas crecen incluyendo múltiples componentes, desde nodos grid a peer-to-peer, servicios de la Web semántica, aplicaciones web ocomputación en la nube. Los enfoques modernos que aseguran un comportamiento adecuado de las entidades individuales en sistemas distribuidos, y que provienen de la investigación en sistemas multi-agentes (MAS), utilizan normas (o regulaciones opolíticas) para expresar un nivel diferente de estados deseados o no deseados. Desde la perspectiva del individuo, un agente necesita poder funcionar en un entorno donde las normas actúen como restricciones o directrices de comportamiento respecto a lo que es apropiado,no únicamente para el individuo sino para la comunidad en su conjunto.En la literatura el concepto de norma se ha definido desde varias perspectivas: como una regla o estándar de comportamiento compartida por los miembros de un grupo social, como estándar de lo correcto o incorrecto, belleza o fealdad, o incluso, comoun modelo que debería existir o ser seguido. En la actualidad se pueden encontrar en la literatura: 1) trabajos que conectan formalmente los aspectos deónticos de las normas con su operacionalización; 2) trabajos que distinguen adecuadamente entrenormas abstractas y sus (múltiples) instanciaciones en tiempo de ejecución; 3) algún ejemplo que formaliza las semánticas operacionales de manera que se asegura la flexibilidad en su traducción a implementaciones garantizando a su vez interpretaciones no ambiguas de las normas; 4) algún trabajo que se adecúa tanto a la monitorización de normas a nivel institucional como al razonamiento basado en normas a nivel de los agentes individuales y que asegura que ambos estánalineados; 5) algún trabajo que explora como las normas pueden afectar al proceso de toma de decisiones de un agente cuandoel proceso incluye mecanismos de planificación en tiempo real para un razonamiento medios-fines. Sin embargo, actualmente no existe ningún enfoque que incluya formalismos e implementaciones abordando los 5 puntos al mismo tiempo.La presente tesis propone contribuciones en las cinco áreas mencionadas. Se presenta una propuesta para establecer un enlace entre la formalización de una norma y los mecanismos utilizados en la planificación basada en normas con el objetivo de crear un mecanismo de razonamiento práctico normativo. Una forma de conseguirlo es mediante la reducción de las definiciones de normas basadas en deóntica a fórmulas de lógica temporal que, a su vez, pueden ser traducidas a semánticas operacionales de planificación. Basándose en estas semánticas, se ha creado un mecanismo para dar soporte al razonamiento normativo práctico que puede ser utilizado por los agentes para producir y evaluar sus planes. Se ha construido un agente orientado a normas que tiene en consideración las normas operacionalizadas durante la fase de generación de planes, utilizándolas comodirectrices para decidir el futuro curso de acción del agente. Nuestras semánticas operacionales de normas se expresan como una extensión del dominio de la planificación, actuando como una forma de restricciones temporales sobre las trayectorias (planes) computadas por el planificador. Se han considerado dos enfoques para realizarlo. Uno, implementando las semánticas utilizando planificación con restricciones a través de caminos y otro, traduciendo directamente las normas en conocimiento del dominio que se incluirá en el dominio de planificación. Se explora un escenario basado en normas de circulación de tráfico para demostrar la usabilidad de nuestra propuesta. Se mostrará también como nuestro marco normativo se integra satisfactoriamente en una implementación existente de agentes BDI, 2APL. Para cada enfoque considerado, se presentan resultados experimentales cuantitativos y se ilustran las oportunidades para futuros trabajos de investigación.

    As distributed electronic systems grow to include thousands of components, from grid to peer-to-peer nodes, from (Semantic) Web services to web-apps to computation in the cloud, governance of such systems is becoming a real challenge. Modern approaches ensuring appropriate individual entities' behaviour in distributed systems, which comes from multi-agent systems (MAS) research, use norms (or regulations or policies) and/or communication protocols to express a different layer of desired or undesired states. From the individuals perspective, an agent needs to be able to function in an environment where norms act as behavioural restrictions or guidelines as to what is appropriate, not only for the individual but also for the community. In the literature the concept of norms has been defined from several perspectives: as a rule or standard of behaviour shared by members of a social group, as an authoritative rule or standard by which something is judged, approved or disapproved, as standards of right and wrong, beauty and ugliness, and truth and falsehood, or even as a model of what should exist or be followed, or an average of what currently does exist in some context. Currently there exist in the literature: 1) some treatments that formally connect the deontic aspects of norms with their operationalisation; 2) some treatments that properly distinguish between abstract norms and their (multiple) instantiations at runtime; 3) little work that formalises the operational semantics in a way that ensures flexibility in their translation to actual implementations while ensuring unambiguous interpretations of the norms; 4) little work that is suitable for both institutional-level norm monitoring and individual agent norm-aware reasoning to ensure that both are aligned; 5) few works that explore how the norms may affect the decision making process of an agent when the process includes planning mechanisms at runtime for means-ends reasoning. However, currently there is no work that includes both a formalism and an implementation covering 1-5 altogether. This thesis presents work towards the above five areas. We give a proposal to bridge the gap between a single norm formalisation and the actual mechanisms used for norm-aware planning, in order to create a normative practical reasoning mechanism. One way to do this is by reducing deontic-based norm definitions to temporal logic formulas which, in turn, can be translated into planning operational semantics. Based on these semantics, we create a mechanism to support practical normative reasoning that can be used by agents to produce and evaluate their plans. We construct a norm-oriented agent that takes into consideration operationalised norms during the plan generation phase, using them as guidelines to decide the agents future action path. To make norms influence plan generation, our norm operational semantics is expressed as an extension of the planning domain, acting as a form of temporal restrictions over the trajectories (plans) computed by the planner. We consider two approaches to do so. One implementing the semantics by using planning with constraints through paths and the other by directly translating the norms into domain knowledge to be included into the planning domain. We explore a scenario based on traffic laws in order to demonstrate the usability of our proposal. We also show how our normative frameworks are successfullyintegrated into an existing BDI agent implementation, 2APL. For each approach taken, we present quantitative experimental results and illustrate the opportunities for further research.

    La gestión de sistemas electrónicos distribuidos se está convirtiendo en un auténtico reto a medida que dichos sistemas crecen incluyendo múltiples componentes, desde nodos grid a peer-to-peer, servicios de la Web semántica, aplicaciones web o computación en la nube. Los enfoques modernos que aseguran un comportamiento adecuado de las entidades individuales en sistemas distribuidos, y que provienen de la investigación en sistemas multi-agentes (MAS), utilizan normas (o regulaciones o políticas) para expresar un nivel diferente de estados deseados o no deseados. Desde la perspectiva del individuo, un agente necesita poder funcionar en un entorno donde las normas actúen como restricciones o directrices de comportamiento respecto a lo que es apropiado,no únicamente para el individuo sino para la comunidad en su conjunto. En la literatura el concepto de norma se ha definido desde varias perspectivas: como una regla o estándar de comportamiento compartida por los miembros de un grupo social, como estándar de lo correcto o incorrecto, belleza o fealdad, o incluso, como un modelo que debería existir o ser seguido. En la actualidad se pueden encontrar en la literatura: 1) trabajos que conectan formalmente los aspectos deónticos de las normas con su operacionalización; 2) trabajos que distinguen adecuadamente entre normas abstractas y sus (múltiples) instanciaciones en tiempo de ejecución; 3) algún ejemplo que formaliza las semánticas operacionales de manera que se asegura la flexibilidad en su traducción a implementaciones garantizando a su vez interpretaciones no ambiguas de las normas; 4) algún trabajo que se adecúa tanto a la monitorización de normas a nivel institucional como al razonamiento basado en normas a nivel de los agentes individuales y que asegura que ambos están alineados; 5) algún trabajo que explora como las normas pueden afectar al proceso de toma de decisiones de un agente cuando el proceso incluye mecanismos de planificación en tiempo real para un razonamiento medios-fines. Sin embargo, actualmente no existe ningún enfoque que incluya formalismos e implementaciones abordando los 5 puntos al mismo tiempo. La presente tesis propone contribuciones en las cinco áreas mencionadas. Se presenta una propuesta para establecer un enlace entre la formalización de una norma y los mecanismos utilizados en la planificación basada en normas con el objetivo de crear un mecanismo de razonamiento práctico normativo. Una forma de conseguirlo es mediante la reducción de las definiciones de normas basadas en deóntica a fórmulas de lógica temporal que, a su vez, pueden ser traducidas a semánticas operacionales de planificación. Basándose en estas semánticas, se ha creado un mecanismo para dar soporte al razonamiento normativo práctico que puede ser utilizado por los agentes para producir y evaluar sus planes. Se ha construido un agente orientado a normas que tiene en consideración las normas operacionalizadas durante la fase de generación de planes, utilizándolas como directrices para decidir el futuro curso de acción del agente. Nuestras semánticas operacionales de normas se expresan como una extensión del dominio de la planificación, actuando como una forma de restricciones temporales sobre las trayectorias (planes) computadas por el planificador. Se han considerado dos enfoques para realizarlo. Uno, implementando las semánticas utilizando planificación con restricciones a través de caminos y otro, traduciendo directamente las normas en conocimiento del dominio que se incluirá en el dominio de planificación. Se explora un escenario basado en normas de circulación de tráfico para demostrar la usabilidad de nuestra propuesta. Se mostrará también como nuestro marco normativo se integra satisfactoriamente en una implementación existente de agentes BDI, 2APL. Para cada enfoque considerado, se presentan resultados experimentales cuantitativos y se ilustran las oportunidades para futuros trabajos de investigación.

    A mesura que els sistemes electrònics distribuïts creixen per incloure milers de components,des de nodes grid a peer-to-peer fins a serveis de la Web semàntica, aplicacions web o computació al núvol, la gestió d’aquests sistemes s’està convertint en un autèntic repte. Els enfocs moderns que asseguren el comportament apropiat de lesentitats individuals en sistemes distribuïts, que prové de la recerca en sistemes multiagents, utilitzen normes (o regulacions o polítiques) i/o protocols de comunicació perexpressar una capa diferent d’estats desitjats o no desitjats. Des de la perspectiva de l’individu, un agent necessita poder funcionar en un entorn on les normes actuïn coma restriccions de comportament o guies respecte al que és apropiat, no només per al individu sinó per a la comunitat.En la literatura el concepte de normes s’ha tractat des de diferents perspectives: com una regla o estàndard de comportament compartida pels membres d’un grup social, com una regla o estàndard autoritari pel qual alguna cosa és jutjada, aprovada o desaprovada,com estàndard del correcte i del incorrecte, bellesa i lletjor, veritat i falsedat, o inclús com un model del que hauria d’existir o ser seguit, o com una mitjana del que actualment existeix en un context donat. Actualment trobem en la literatura:1) alguns tractaments que connecten formalment els aspectes deòntics de les normes amb la seva operacionalització; 2) alguns tractaments que distingeixen adequadament entre normes abstractes i les seves (múltiples) instanciacions en temps real; 3) alguns exemples que formalitzen les semàntiques operacionals de manera que asseguren flexibilitaten la seva traducció a implementacions garantint interpretacions no ambigües de les normes; 4) alguns treballs adequats per a la monitorització de normes a nivell institucional i per al raonament basat en normes en agents individuals assegurant que ambdós estan alineats; 5) alguns treballs que exploren com les normes poden afectar el procés de presa de decisions d’un agent quan el procés inclou mecanismes de planificació en temps real per a raonament mitjans-finalitats. D’altra banda, actualment noexisteix cap enfoc que inclogui formalismes i implementacions cobrint els punts 1-5 a la vegada.Aquesta tesi presenta contribucions en les cinc àrees esmentades. Presentem una proposta per establir un enllaç entre la formalització d’una norma i els mecanismes emprats en la planificació basada en normes per tal de crear un mecanisme de raonament pràctic normatiu. Una manera d’aconseguir-ho és reduint les definicions de normes deòntiques a fórmules de lògica temporal les quals poden ser traduïdes asemàntiques de planificació operacional. Basant-nos en aquestes semàntiques, hem creat un mecanisme per donar suport al raonament normatiu pràctic que pot ser emprat per agents per produir i avaluar els seus plans. Hem construït un agent orientat a normes que pren en consideració durant la fase de generació de plans les normes operacionalitzades, utilitzant-les com a guia per decidir el futur curs d’acció de l’agent.Per tal de fer que les normes influenciïn la generació de plans, les nostres semàntiques operacionals de normes s’expressen com una extensió del domini de la planificació,actuant com una mena de restriccions temporals sobre les trajectòries (plans) computadespel planificador. Considerem dos enfocs per dur-ho a terme. Un implementant les semàntiques emprant planificació amb restriccions per mitjà de camins i l’altre traduint directament les normes en coneixement del domini a ser inclòs en el domini de planificació. Explorem un escenari basat en les normes de circulació de tràfic per demostrar la usabilitat de la nostra proposta. Mostrarem també com el nostre marc normatiu s’integra satisfactòriament en una implementació existent d’agentBDI, 2APL. Per cada enfoc considerat, presentem resultats experimentals quantitatius i il.lustrem les oportunitats per treballs de recerca futurs.

  • First Hackingbullipedia Global Challenge

     Gibert Oliveras, Karina; Vazquez Salceda, Javier
    Award or recognition

     Share

  • 1st Hacking Bullipedia Global Challenge

     Gibert Oliveras, Karina; Vazquez Salceda, Javier; Alvarez Napagao, Sergio; Oliva Felipe, Luis Javier; Sevilla Villanueva, Beatriz; Tejeda Gomez, Jose Arturo; Gomez Sebastia, Ignasi
    Award or recognition

    View View Open in new window  Share

  • Dealing with explicit preferences and uncertainty in answer set programming

     Confalonieri, Roberto; Nieves, Juan Carlos; Osorio Galindo, Mauricio; Vazquez Salceda, Javier
    Annals of mathematics and artificial intelligence
    Vol. 65, num. 2-3, p. 159-198
    DOI: 10.1007/s10472-012-9311-0
    Date of publication: 2012
    Journal article

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    In this paper, we show how the formalism of Logic Programs with Ordered Disjunction (LPODs) and Possibilistic Answer Set Programming (PASP) can be merged into the single framework of Logic Programs with Possibilistic Ordered Disjunction (LPPODs). The LPPODs framework embeds in a unified way several aspects of common-sense reasoning, nonmonotonocity, preferences, and uncertainty, where each part is underpinned by a well established formalism. On one hand, from LPODs it inherits the distinctive feature of expressing context-dependent qualitative preferences among different alternatives (modeled as the atoms of a logic program). On the other hand, PASP allows for qualitative certainty statements about the rules themselves (modeled as necessity values according to possibilistic logic) to be captured. In this way, the LPPODs framework supports a reasoning which is nonmonotonic, preference- and uncertainty-aware. The LPPODs syntax allows for the specification of (1) preferences among the exceptions to default rules, and (2) necessity values about the certainty of program rules. As a result, preferences and uncertainty can be used to select the preferred uncertain default rules of an LPPOD and, consequently, to order its possibilistic answer sets. Furthermore, we describe the implementation of an ASP-based solver able to compute the LPPODs semantics.

  • Socially-aware emergent narrative

     Alvarez Napagao, Sergio; Gomez Sebastia, Ignasi; Panagiotidi, Sofia; Tejeda Gomez, Jose Arturo; Oliva Felipe, Luis Javier; Vazquez Salceda, Javier
    International Workshop on Agents for Educational Games and Simulations
    p. 139-150
    DOI: 10.1007/978-3-642-32326-3_9
    Presentation's date: 2012
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    In agent research, emergent narrative aims for practical solutions to the narrative paradox problem in both drama and interactive scenarios. At the same time, organisational frameworks can be used in games to provide flexibility, adaptiveness, or social-awareness. In this paper, we propose an extension of our cOncienS framework to support emergent narrative in games with two objectives: 1) provide social-awareness in emergent narrative by means of an organisational model, and 2) create convincing dynamic and flexible storytelling in games.

  • Ontology-based tourism for all recommender and information retrieval system for interactive community displays

     Alonso, K.; Zorrilla, M.; Iñan, H.; Palau, Manel; Confalonieri, Roberto; Vazquez Salceda, Javier; Calle, J.; Castro, E.
    International Conference on Information Science and Digital Content Technology
    p. 650-655
    Presentation of work at congresses

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Access to the full text
    Towards a framework for the analysis of regulative norm performance in complex networks  Open access

     Oliva Felipe, Luis Javier; Alvarez Napagao, Sergio; Vazquez Salceda, Javier
    Agreement Technologies
    p. 103-104
    Presentation's date: 2012-10-16
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    Systemic analysis of dynamics in complex networks has allured interest from different fields. Norms are a mechanism that can be useful to govern or guide the behavior of agents in such scenarios. Such effects of norms can be analyzed in different terms, such as emergence, spread, equilibrium oscillations and stability. In this paper, we present an analysis of the life-cycle of deontic norms in scale-free networks, with special focus on the long-term effects of different agents¿ personalities and their structural properties. Our approach combines provenance-aware monitoring traces and the analysis of the dynamics emerged in the relations between agents by means of complex network representations.

    Systemic analysis of dynamics in complex networks has allured interest from different fields. Norms are a mechanism that can be useful to govern or guide the behavior of agents in such scenarios. Such effects of norms can be analyzed in different terms, such as emergence, spread, equilibrium oscillations and stability. In this paper, we present an analysis of the life-cycle of deontic norms in scale-free networks, with special focus on the long-term effects of different agents’ personalities and their structural properties. Our approach combines provenance-aware monitoring traces and the analysis of the dynamics emerged in the relations between agents by means of complex network representations.

    Postprint (author’s final draft)

  • Towards an implementation of a social electronic reminder for pills

     Gomez Sebastia, Ignasi; Garcia Gasulla, Dario; Alvarez Napagao, Sergio; Vazquez Salceda, Javier; Cortes Garcia, Claudio Ulises
    International Conference on Autonomous Agents and Multiagent Systems
    p. 61-70
    Presentation's date: 2012
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    Non-compliance with prescribed medication is a major problem for elder people living alone in developed countries. Forgetfulness and confusion can lead to it, specially when multiple pathologies require a cocktail of diff erent medications each delivered at different time intervals during di fferent periods of time. Assistive technologies, a recent application area for a wide range of Arti cial Intelligence techniques and tools, have been e ectively used for supporting people in their daily activities. This paper introduces the design and implementation of a system for assisting elder people on following the treatment prescribed by a professional, with the novelty of being based in social and organisational aware assistive technology.

  • The Role of Preferences in logic Programming: Nonmonotonic Reasoning, User Preferences, Decision under Uncertainty  Open access

     Confalonieri, Roberto
    Department of Computer Science, Universitat Politècnica de Catalunya
    Theses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    Intelligent systems that assist users in fulfilling complex tasks need a concise and processable representation of incomplete and uncertain information. In order to be able to choose among different options, these systems also need a compact and processable representation of the concept of preference. Preferences can provide an effective way to choose the best solutions to a given problem. These solutions can represent the most plausible states of the world when we model incomplete information, the most satisfactory states of the world when we express user preferences, or optimal decisions when we make decisions under uncertainty. Several domains, such as, reasoning under incomplete and uncertain information, user preference modeling, and qualitative decision making under uncertainty, have benefited from advances on preference representation. In the literature, several symbolic approaches of nonclassical reasoning have been proposed. Among them, logic programming under answer set semantics offers a good compromise between symbolic representation and computation of knowledge and several extensions for handling preferences. Nevertheless, there are still some open issues to be considered in logic programming. In nonmonotonic reasoning, first, most approaches assume that exceptions to logic program rules are already specified. However, sometimes, it is possible to consider implicit preferences based on the specificity of the rules to handle incomplete information. Secondly, the joint handling of exceptions and uncertainty has received little attention: when information is uncertain, the selection of default rules can be a matter of explicit preferences and uncertainty. In user preference modeling, although existing logic programming specifications allow to express user preferences which depend both on incomplete and contextual information, in some applications, some preferences in some context may be more important than others. Furthermore, more complex preference expressions need to be supported. In qualitative decision making under uncertainty, existing logic programming-based methodologies for making decisions seem to lack a satisfactory handling of preferences and uncertainty. The aim of this dissertation is twofold: 1) to tackle the role played by preferences in logic programming from different perspectives, and 2) to contribute to this novel field by proposing several frameworks and methods able to address the above issues. To this end, we will first show how preferences can be used to select default rules in logic programs in an implicit and explicit way. In particular, we propose (i) a method for selecting logic program rules based on specificity, and (ii) a framework for selecting uncertain default rules based on explicit preferences and the certainty of the rules. Then, we will see how user preferences can be modeled and processed in terms of a logic program (iii) in order to manage user profiles in a context-aware system and (iv) in order to propose a framework for the specification of nested (non-flat) preference expressions. Finally, in the attempt to bridge the gap between logic programming and qualitative decision under uncertainty, (v) we propose a classical- and a possibilistic-based logic programming methodology to compute an optimal decision when uncertainty and preferences are matters of degrees.

    Els sistemes intel.ligents que assisteixen a usuaris en la realització de tasques complexes necessiten una representació concisa i formal de la informació que permeti un raonament nomonòton en condicions d’incertesa. Per a poder escollir entre les diferents opcions, aquests sistemes solen necessitar una representació del concepte de preferència. Les preferències poden proporcionar una manera efectiva de triar entre les millors solucions a un problema. Aquestes solucions poden representar els estats del món més plausibles quan es tracta de modelar informació incompleta, els estats del món més satisfactori quan expressem preferències de l’usuari, o decisions òptimes quan estem parlant de presa de decisió incorporant incertesa. L’ús de les preferències ha beneficiat diferents dominis, com, el raonament en presència d’informació incompleta i incerta, el modelat de preferències d’usuari, i la presa de decisió sota incertesa. En la literatura, s’hi troben diferents aproximacions al raonament no clàssic basades en una representació simbòlica de la informació. Entre elles, l’enfocament de programació lògica, utilitzant la semàntica de answer set, ofereix una bona aproximació entre representació i processament simbòlic del coneixement, i diferents extensions per gestionar les preferències. No obstant això, en programació lògica es poden identificar diferents problemes pel que fa a la gestió de les preferències. Per exemple, en la majoria d’enfocaments de raonament no-monòton s’assumeix que les excepcions a default rules d’un programa lògic ja estan expressades. Però de vegades es poden considerar preferències implícites basades en l’especificitat de les regles per gestionar la informació incompleta. A més, quan la informació és també incerta, la selecció de default rules pot dependre de preferències explícites i de la incertesa. En el modelatge de preferències del usuari, encara que els formalismes existents basats en programació lògica permetin expressar preferències que depenen d’informació contextual i incompleta, en algunes aplicacions, donat un context, algunes preferències poden ser més importants que unes altres. Per tant, resulta d’interès un llenguatge que permeti capturar preferències més complexes. En la presa de decisions sota incertesa, les metodologies basades en programació lògica creades fins ara no ofereixen una solució del tot satisfactòria pel que fa a la gestió de les preferències i la incertesa. L’objectiu d’aquesta tesi és doble: 1) estudiar el paper de les preferències en la programació lògica des de diferents perspectives, i 2) contribuir a aquesta jove àrea d’investigació proposant diferents marcs teòrics i mètodes per abordar els problemes anteriorment citats. Per a aquest propòsit veurem com les preferències es poden utilitzar de manera implícita i explícita per a la selecció de default rules proposant: (i) un mètode basat en l’especificitat de les regles, que permeti seleccionar regles en un programa lògic; (ii) un marc teòric per a la selecció de default rules incertes basat en preferències explícites i la incertesa de les regles. També veurem com les preferències de l’usuari poden ser modelades i processades usant un enfocament de programació lògica (iii) que suporti la creació d’un mecanisme de gestió dels perfils dels usuaris en un sistema amb reconeixement del context; (iv) que permeti proposar un marc teòric capaç d’expressar preferències amb fòrmules imbricades. Per últim, amb l’objectiu de disminuir la distància entre programació lògica i la presa de decisió amb incertesa proposem (v) una metodologia basada en programació lògica clàssica i en una extensió de la programació lògica que incorpora lògica possibilística per modelar un problema de presa de decisions i per inferir una decisió òptima.

    Los sistemas inteligentes que asisten a usuarios en tareas complejas necesitan una representación concisa y procesable de la información que permita un razonamiento nomonótono e incierto. Para poder escoger entre las diferentes opciones, estos sistemas suelen necesitar una representación del concepto de preferencia. Las preferencias pueden proporcionar una manera efectiva para elegir entre las mejores soluciones a un problema. Dichas soluciones pueden representar los estados del mundo más plausibles cuando hablamos de representación de información incompleta, los estados del mundo más satisfactorios cuando hablamos de preferencias del usuario, o decisiones óptimas cuando estamos hablando de toma de decisión con incertidumbre. El uso de las preferencias ha beneficiado diferentes dominios, como, razonamiento en presencia de información incompleta e incierta, modelado de preferencias de usuario, y toma de decisión con incertidumbre. En la literatura, distintos enfoques simbólicos de razonamiento no clásico han sido creados. Entre ellos, la programación lógica con la semántica de answer set ofrece un buen acercamiento entre representación y procesamiento simbólico del conocimiento, y diferentes extensiones para manejar las preferencias. Sin embargo, en programación lógica se pueden identificar diferentes problemas con respecto al manejo de las preferencias. Por ejemplo, en la mayoría de enfoques de razonamiento no-monótono se asume que las excepciones a default rules de un programa lógico ya están expresadas. Pero, a veces se pueden considerar preferencias implícitas basadas en la especificidad de las reglas para manejar la información incompleta. Además, cuando la información es también incierta, la selección de default rules pueden depender de preferencias explícitas y de la incertidumbre. En el modelado de preferencias, aunque los formalismos existentes basados en programación lógica permitan expresar preferencias que dependen de información contextual e incompleta, in algunas aplicaciones, algunas preferencias en un contexto puede ser más importantes que otras. Por lo tanto, un lenguaje que permita capturar preferencias más complejas es deseable. En la toma de decisiones con incertidumbre, las metodologías basadas en programación lógica creadas hasta ahora no ofrecen una solución del todo satisfactoria al manejo de las preferencias y la incertidumbre. El objectivo de esta tesis es doble: 1) estudiar el rol de las preferencias en programación lógica desde diferentes perspectivas, y 2) contribuir a esta joven área de investigación proponiendo diferentes marcos teóricos y métodos para abordar los problemas anteriormente citados. Para este propósito veremos como las preferencias pueden ser usadas de manera implícita y explícita para la selección de default rules proponiendo: (i) un método para seleccionar reglas en un programa basado en la especificad de las reglas; (ii) un marco teórico para la selección de default rules basado en preferencias explícitas y incertidumbre. También veremos como las preferencias del usuario pueden ser modeladas y procesadas usando un enfoque de programación lógica (iii) para crear un mecanismo de manejo de los perfiles de los usuarios en un sistema con reconocimiento del contexto; (iv) para crear un marco teórico capaz de expresar preferencias con formulas anidadas. Por último, con el objetivo de disminuir la distancia entre programación lógica y la toma de decisión con incertidumbre proponemos (v) una metodología para modelar un problema de toma de decisiones y para inferir una decisión óptima usando un enfoque de programación lógica clásica y uno de programación lógica extendida con lógica posibilística.

    Sistemi intelligenti, destinati a fornire supporto agli utenti in processi decisionali complessi, richiedono una rappresentazione dell’informazione concisa, formale e che permetta di ragionare in maniera non monotona e incerta. Per poter scegliere tra le diverse opzioni, tali sistemi hanno bisogno di disporre di una rappresentazione del concetto di preferenza altrettanto concisa e formale. Le preferenze offrono una maniera efficace per scegliere le miglior soluzioni di un problema. Tali soluzioni possono rappresentare gli stati del mondo più credibili quando si tratta di ragionamento non monotono, gli stati del mondo più soddisfacenti quando si tratta delle preferenze degli utenti, o le decisioni migliori quando prendiamo una decisione in condizioni di incertezza. Diversi domini come ad esempio il ragionamento non monotono e incerto, la strutturazione del profilo utente, e i modelli di decisione in condizioni d’incertezza hanno tratto beneficio dalla rappresentazione delle preferenze. Nella bibliografia disponibile si possono incontrare diversi approcci simbolici al ragionamento non classico. Tra questi, la programmazione logica con answer set semantics offre un buon compromesso tra rappresentazione simbolica e processamento dell’informazione, e diversi estensioni per la gestione delle preferenze sono state proposti in tal senso. Nonostante ció, nella programmazione logica esistono ancora delle problematiche aperte. Prima di tutto, nella maggior parte degli approcci al ragionamento non monotono, si suppone che nel programma le eccezioni alle regole siano già specificate. Tuttavia, a volte per trattare l’informazione incompleta è possibile prendere in considerazione preferenze implicite basate sulla specificità delle regole. In secondo luogo, la gestione congiunta di eccezioni e incertezza ha avuto scarsa attenzione: quando l’informazione è incerta, la scelta di default rule può essere una questione di preferenze esplicite e d’incertezza allo stesso tempo. Nella creazione di preferenze dell’utente, anche se le specifiche di programmazione logica esistenti permettono di esprimere preferenze che dipendono sia da un’informazione incompleta che da una contestuale, in alcune applicazioni talune preferenze possono essere più importanti di altre, o espressioni più complesse devono essere supportate. In un processo decisionale con incertezza, le metodologie basate sulla programmazione logica viste sinora, non offrono una gestione soddisfacente delle preferenze e dell’incertezza. Lo scopo di questa dissertazione è doppio: 1) chiarire il ruolo che le preferenze giocano nella programmazione logica da diverse prospettive e 2) contribuire proponendo in questo nuovo settore di ricerca, diversi framework e metodi in grado di affrontare le citate problematiche. Per prima cosa, dimostreremo come le preferenze possono essere usate per selezionare default rule in un programma in maniera implicita ed esplicita. In particolare proporremo: (i) un metodo per la selezione delle regole di un programma logico basato sulla specificità dell’informazione; (ii) un framework per la selezione di default rule basato sulle preferenze esplicite e sull’incertezza associata alle regole del programma. Poi, vedremo come le preferenze degli utenti possono essere modellate attraverso un programma logico, (iii) per creare il profilo dell’utente in un sistema context-aware, e (iv) per proporre un framework che supporti la definizione di preferenze complesse. Infine, per colmare le lacune in programmazione logica applicata a un processo di decisione con incertezza (v) proporremo una metodologia basata sulla programmazione logica classica e una metodologia basata su un’estensione della programmazione logica con logica possibilistica.

  • SUstainable and PERsuasive Human Users moBility in future cities

     Alvarez Napagao, Sergio; Gomez Sebastia, Ignasi; Oliva Felipe, Luis Javier; Tejeda Gomez, Jose Arturo; Gibert Oliveras, Karina; Sànchez Marrè, Miquel; Garcia Gasulla, Dario; Vazquez Salceda, Javier
    Competitive project

     Share

  • CLOUD: Optimización de procesos de fabricación mediante aplicaciones cloud computing

     Garcia Gasulla, Dario; Vazquez Salceda, Javier
    Competitive project

     Share

  • Web-based organization models

     Dignum, Virginia; Vazquez Salceda, Javier
    Date of publication: 2011
    Book chapter

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    Current visions about the Internet of the future require an evolution in the way distributed applications are designed, implemented, and deployed, moving from top-down approaches that generate partial, static (business) process descriptions to holistic approaches where both the participants and their surrounding environment are modeled. Such approaches will empower distributed applications with the ability to flexibly adapt their behavior to environmental changes, being able to identify opportunities and recover from unexpected failures or market switches. In this chapter we have presented a holistic approach based on organizational theory. The ALIVE framework aims to support the design and development of distributed systems suitable for such highly dynamic environments, is based on model-driven engineering, and consists of three interconnected levels: service, oordination, and organization.

  • Coordination, organisation and model driven approaches for dynamic, flexible, robust software and services engineering

     Nieves Sánchez, Juan Carlos; Padget, Julian; Vasconcelos, Wamberto; Staikopoulos, Athanasios; Cliffe, Owen; Dignum, Frank; Vazquez Salceda, Javier; Clarke, Siobhán; Reed, Cris
    DOI: 10.1007/978-3-7091-0415-6
    Date of publication: 2011-01-28
    Book chapter

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    Enterprise systems are increasingly composed of (and even functioning as) components in a dynamic, digital ecosystem. On the one hand, this new situation requires flexible, spontaneous and opportunistic collaboration activities to be identified and established among (electronic) business parties. On the other, it demands engineering methods that are able to integrate new functionalities and behaviours into running systems composed by active, distributed, interdependent processes. Here we present a multi-level architecture that combines organisational and coordination theories with model driven development, for the implementation, deployment and management of dynamic, flexible and robust service-oriented business applications, combined with a service layer that accommodates semantic service description, fine-grained semantic service discovery and the dynamic adaptation of services to meet changing circumstances

  • Norm-aware planning: semantics and implementation

     Panagiotidi, Sofia; Vazquez Salceda, Javier
    IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology
    p. 33-36
    DOI: 10.1109/WI-IAT.2011.249
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    Abstract—Norms are a way to specify acceptable behaviour in a context. In literature there is a lot of work on norm theories, models and specifications on how agents might take norms into account when reasoning but few practical implementations. In this paper we present a framework and an implementation for norm-oriented planning. Unlike most frameworks, our approach takes into consideration the operationalisation of norms during the plan generation phase. In our framework norms can be obligations or prohibitions which can be violated, and are accompanied by repair norms in case they are breached. Norm operational semantics is expressed as an extension/on top of STRIPS semantics, acting as a form of temporal restrictions over the trajectories (plans) computed by the planner. In combination with the agent’s utility functions over the actions, the norm-aware planner computes the most profitable trajectory concluding to a state of the world where no pending obligations exist and any (obligation/prohibition) violation has been handled. An implementation of the framework in PDDL is provided.

  • A flexible agent-oriented solution to model organisational and normative requirements in assistive technologies

     Gómez-Sebastià, Ignasi; Garcia Gasulla, Dario; Barrue Subirana, Cristian; Vazquez Salceda, Javier; Cortes Garcia, Claudio Ulises
    International Conference of the Catalan Association for Artificial Intelligence
    p. 79-88
    DOI: 10.3233/978-1-60750-643-0-79
    Presentation's date: 2011-10-20
    Presentation of work at congresses

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • A distributed norm compliance model

     Gomez Sebastia, Ignasi; Alvarez Napagao, Sergio; Vazquez Salceda, Javier
    Congrés Internacional de l¿Associació Catalana d¿Intel·ligència Artificial
    p. 110-119
    DOI: 10.3233/978-1-60750-842-7-110
    Presentation's date: 2011-10-27
    Presentation of work at congresses

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Possibilistic Semantics for Logic Programs with Ordered Disjunction

     Confalonieri, Roberto; Nieves Sánchez, Juan Carlos; Osorio Galindo, Mauricio; Vazquez Salceda, Javier
    Lecture notes in computer science
    Vol. 5956, p. 133-152
    DOI: 10.1007/978-3-642-11829-6_11
    Date of publication: 2010-02
    Journal article

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Adaptable, Organization-Aware, Service-Oriented Computing

     Aldewereld, Huib; Padget, Julian; Vasconcelos, Wamberto; Vazquez Salceda, Javier; Sergeant, Paul; Staikopoulos, Athanasios
    IEEE intelligent systems
    Vol. 25, num. 4, p. 80-84
    DOI: 10.1109/MIS.2010.93
    Date of publication: 2010-08
    Journal article

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Rapid Application Innovation for SMEs

     Oliva Felipe, Luis Javier; Gomez Sebastia, Ignasi; Sànchez Marrè, Miquel; Tejeda Gomez, Jose Arturo; Vazquez Salceda, Javier
    Competitive project

     Share

  • Making norms concrete

     Aldewereld, Huib; Alvarez Napagao, Sergio; Dignum, Frank; Vazquez Salceda, Javier
    International Conference on Autonomous Agents and Multiagent Systems
    p. 807-814
    Presentation's date: 2010-05-12
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level of abstractness of the organisational concepts and the concepts used in the implementation. Organisational specifications (deliberately) abstract from general practice, which creates a need to relate the abstract concepts used in the specification to concrete ones used in practice. A solution for this problem is the use of counts-as statements, which, by defining the social reality, provide the concrete concepts their institutional and organisational meaning. Continuing work on the implementation of counts-as to relate abstract and concrete concepts in agent-based systems, this paper investigates the implementation of counts-as statements in Drools to relate abstract organisational specifications and its norms to concrete situations.

  • Access to the full text
    CONCIENS: organizational awareness in real-time strategy games  Open access

     Alvarez Napagao, Sergio; Gomez Sebastia, Ignasi; Vazquez Salceda, Javier; Koch, Fernando
    International Conference of the Catalan Association for Artificial Intelligence
    p. 69-78
    Presentation's date: 2010-10-22
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    The implementation of AI in commercial games is usually based on low level designs that makes the control predictable, unadaptive, and non reusable. Recent algorithms such as HTN or GOAP prove that higher levels of abstraction can be applied for better performance. We propose that approaches based on Organizational Theory can help providing a sound alternative for these implementations. In this paper we present CONCIENS, an integration of the ALIVE organizational framework into commercial games. We introduce a proof-of-concept implementation based on the integration to Warcraft III.

    Postprint (author’s final draft)

  • ALIVE meets SHARE-it : an agent-oriented solution to model organisational and normative requirements in assistive technologies

     Gomez Sebastia, Ignasi; Garcia Gasulla, Dario; Barrue Subirana, Cristian; Vazquez Salceda, Javier; Cortes Garcia, Claudio Ulises
    International Conference on eHealth
    p. 319-326
    DOI: 10.1007/978-3-642-23635-8
    Presentation's date: 2010-12-13
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    Assistive technologies represent a recent application area of a wide variety of Arti cial Intelligence methods and tools to support people in their activities of daily living. But most approaches do only center in the direct interaction between the user and the assistive tool, without taking into consideration the important role that other actors (caregivers, relatives) may have in the user activities, nor they explicitly re ect the norms and regulations that apply in such scenarios. In this paper we present an approach to the development of assistive technologies which uses organisational and normative elements to ease the design of both the social network arround the user and their expected behavioural patterns.

  • Making games ALIVE: an organisational approach

     Alvarez Napagao, Sergio; Koch, Fernando; Gomez Sebastia, Ignasi; Vazquez Salceda, Javier
    Workshop on Agents for Games and Simulations
    p. 179-191
    DOI: 10.1007/978-3-642-18181-8_13
    Presentation's date: 2010-05-10
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    The AI techniques used in commercial games are usually predictable, inflexible and unadaptive, causing a lack of realism for the player. In this paper, we introduce a proposal of integrating the ALIVE framework, based on Organisational theory, into commercial games. The objective of our proposal is to provide game AI developers with a methodology and tools to model gaming scenarios using social structures.

  • Access to the full text
    A framework for the development and maintenance of adaptive, dynamic, context-aware information services  Open access

     Palau, Manel; Gomez Sebastia, Ignasi; Ceccaroni, Luigi; Vazquez Salceda, Javier; Nieves Sánchez, Juan Carlos
    International Conference on Agents and Artificial Intelligence Pages
    p. 88-95
    Presentation's date: 2010-06-22
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    This paper presents an agent-based methodological approach to design distributed service-oriented systems which can adapt their behaviour according to changes in the environment and in the user needs, even taking the initiative to make suggestions and proactive choices. The highly dynamic, regulated, complex nature of the distributed, interconnected services is tackled through a methodological framework composed of three interconnected levels. The framework relies on coordination and organisational techniques, as well as on semantically annotated Web services to design, deploy and maintain a distributed system, using both a top-down and bottom-up approach. We present results based on a real use case: interactive community displays with tourist information and services, dynamically personalised according to user context and preferences.

  • Pstable Semantics for Logic Programs with Possibilistic Ordered Disjunction

     Confalonieri, Roberto; Nieves Sánchez, Juan Carlos; Vazquez Salceda, Javier
    Lecture notes in computer science
    Vol. 5883, p. 52-61
    DOI: 10.1007/978-3-642-10291-2
    Date of publication: 2009
    Journal article

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • Access to the full text
    USE: a multi-agent user-driven recommendation system for semantic knowledge extraction  Open access

     Sousa Lopes, João; Alvarez Napagao, Sergio; Confalonieri, Roberto; Vazquez Salceda, Javier
    Date: 2009-06-15
    Report

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    Semiotics is a field where research on Computer Science methodologies has focused, mainly concerning Syntax and Semantics. These methodologies, however, are lacking of some flexibility for the continuously evolving web community, in which the knowledge is classified with tags rather than with ontologies. In this paper we propose a multi-agent system for the recommendation of tagged pictures obtained from mainstream Web applications. The agents in this system execute a hybrid reasoning based on WordNet and Markov chains that is able, driven by user feedback, to iteratively disambiguate the semantics of the picture tags and thus to generate knowledge from the, a priori arbitrary, information available in the Internet.

  • Access to the full text
    Reasoning about abductive inferences in BDI agents  Open access

     Sousa Lopes, João; Alvarez Napagao, Sergio; Reis, Susana; Vazquez Salceda, Javier
    Date: 2009-04-24
    Report

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    The capability of a computational system to deal with unexpected, changing situations and limited perception of the environment is becoming more a more relevant, in oder to make systems flexible and more reliable. Multi-agent Systems offer a computing paradigm where properties such as autonomy, adaptability or flexibility are basic in the construction of agent-based solutions. However most of current implementations are not flexible enough to cope with important changes in the environment or information loss. In this paper we propose to introduce abductive reasoning mechanisms in BDI agents and show how such agents are able to operate with partial models of the environment.

  • Access to the full text
    Word sense ranking based on semantic similarity and graph entropy  Open access

     Sousa Lopes, João; Alvarez Napagao, Sergio; Vazquez Salceda, Javier
    Date: 2009-06-15
    Report

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    In this paper we propose a system for the recommendation of tagged pictures obtained from the Web. The system, driven by user feedback, executes an abductive reasoning (based on WordNet synset semantic relations) that is able to iteratively lead to new concepts which progressively represent the cognitive creative user state. Furthermore we design a selection mechanism to pick the most relevant abductive inferences by mixing a topological graph analysis together with a semantic similitude measure.

  • ALIVE: Combining Organizational and Coordination Theory with Model Driven

     Vazquez Salceda, Javier; Dignum, F; Vasconcelos, W; Padget, J; Clarke, S; Ceccaroni, Luigi; Nieuwenhuis, Robert Lukas Mario; Sergeant, P
    The International Conference on Digital Business (DIGIBIZ 2009)
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Modelling contractually-bounded interactions in the car insurance domain

     Vazquez Salceda, Javier; Confalonieri, Roberto; Gomez Sebastia, Ignasi; Storms, P; Kuijpers, N; Panagiotidi, Sofia; Alvarez Napagao, Sergio
    Workshop on Technological trends in Enterprise Systems for SMEs and large enterprises: Heading towards the Future Internet (at: DIGIBIZ 2009. The International Conference on Digital Business)
    p. 1-8
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Access to the full text
    Norms, organisations and semantic web services: The ALIVE approach  Open access

     Alvarez Napagao, Sergio; Cliffe, Owen; Vazquez Salceda, Javier; Padget, Julian
    Coordination, Organization, Institutions and Norms in Agent Systems & On-line Communities
    p. 1-2
    Presentation's date: 2009-09-07
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    ALIVE is an EU FP7 STREP whose goal is the convergence of organisational and normative modelling with and service-oriented architectures (SOAs) using model-driven software engineering. The project provides a framework for designing and implementing systems, taking into account organisational, coordination and service perspectives. A key project aspect is the integration of normative systems with live SOAs, through the distributed monitoring of normative state. Here we give a brief overview of the project, explore of the domain from a service context, outline the architecture under construction and sketch the use-cases that illustrate and inform the project.

  • Engineering social reality with inheritance relations

     Aldewereld, Huib; Alvarez Napagao, Sergio; Dignum, Frank; Vazquez Salceda, Javier
    Engineering Societies in the Agents' World
    p. 116-131
    DOI: 10.1007/978-3-642-10203-5_11
    Presentation's date: 2009-11-18
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level of abstractness of the organisational concepts and the concepts used in the implementation. Organisational specifications (deliberately) abstract from general practice, which creates a need to relate the abstract concepts used in the specification to concrete ones used in the practice. The prevailing solution for this problem is the use of counts-as statements. However, current implementations of counts-as view the relations expressed in this notion as static ontological classifications, which presents problems in dynamic environments where the meaning of abstract concepts can change over time. This limitation has already been solved in complex formal theoretical investigations, but the results of that study are far too complex to make a practical implementation. This paper investigates the limitations of current implementations of counts-as, and proposes a more flexible implementation based on the use of inheritance relations.

  • Access to the full text
    USE: a concept-based recommendation system to support creative search  Open access

     Sousa Lopes, João; Alvarez Napagao, Sergio; Vazquez Salceda, Javier
    IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology
    p. 17-21
    Presentation's date: 2009-09-15
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    Semiotics is a field on which research in Computer Science methodologies has focused, mainly concerning Syntax and Semantics. These methodologies, however, are lacking some flexibility for the continuously evolving web community, in which the knowledge is classified with tags rather than with ontologies. In this paper we propose a system for the recommendation of tagged pictures obtained from the Web. The system, driven by user feedback, executes an abductive reasoning (based on WordNet synset semantic relations) that is able to iteratively lead to new concepts which progressively represent the cognitive creative user state.

  • Access to the full text
    A preference meta-model for logic programs with possibilistic ordered disjunction  Open access

     Confalonieri, Roberto; Nieves Sánchez, Juan Carlos; Vazquez Salceda, Javier
    International Workshop Software Engineering for Answer Set Programming
    p. 19-33
    Presentation's date: 2009-09-14
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    This paper presents an approach for specifying user preferences related to services by means of a preference meta-model, which is mapped to logic programs with possibilistic ordered disjunction following a Model-Driven Methodology (MDM). MDM allows to specify problem domains by means of meta-models which can be converted to instance models or other meta-models through transformation functions. In particular we propose a preference meta-model that defines an abstract preference specification language allowing users to specify preferences in a more friendly way using models. We also present a meta-model for logic programs with possibilistic order disjunction. Then we show how we conceptually map the preference meta-model to logic programs with possibilistic ordered disjunction by means of a mapping function.

  • Access to the full text
    Dynamic orchestration of distributed services on interactive community displays: the ALIVE approach  Open access

     Gomez Sebastia, Ignasi; Palau, Manel; Nieves, Juan Carlos; Vazquez Salceda, Javier; Ceccaroni, Luigi
    International Conference on Practical Applications of Agents and Multiagent Systems
    p. 250-259
    Presentation's date: 2009-03-25
    Presentation of work at congresses

    Read the abstract Read the abstract Access to the full text Access to the full text Open in new window  Share Reference managers Reference managers Open in new window

    Interconnected service providers constitute a highly dynamic, complex, distributed environment. Multi-agent system design-methodologies have been try-ing to address this kind of environments for a long time. The European project ALIVE presents a framework of three interconnected levels that tackles this issue relying on organisation and coordination techniques, as well as on developments in the Web-services world. This paper presents initial results focused on a high-tech, real use case: interactive community displays with touristic information and services, dynamically personalized according to user preferences and local laws.

  • From human regulations to regulated software agents' behaviour: connecting the abstract declarative norms with the concrete operational implementation

     Vazquez Salceda, Javier; Aldewereld, H; Grossi, D; Dignum, F
    Artificial intelligence and law
    Vol. 16, num. 1, p. 73-87
    DOI: 10.1007/s10506-007-9057-x
    Date of publication: 2008-03
    Journal article

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • The Provenance of electronic data

     Moreau, L; Groth, P; Miles, S; Vazquez Salceda, Javier; Ibbotson, J; Jiang, S; Munroe, S; Rana, O; Schreiber, A; Tan, V; Varga, L
    Communications of the ACM
    Vol. 51, num. 4, p. 52-58
    DOI: 10.1145/1330311.1330323
    Date of publication: 2008-04
    Journal article

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • ALIVE: Coordination, Organisation and Model Driven Approaches for Dynamic, Flexible, Robust Software and Services Engineering

     Vazquez Salceda, Javier; Cortes Garcia, Claudio Ulises; Bejar Alonso, Javier; Confalonieri, Roberto
    Competitive project

     Share

  • Non-intrusive sensoring and behavior analysis in residences for the elderly

     Sousa, J; Vazquez Salceda, Javier; Fernández, M; Urdiales, C
    5th Workshop on Agents Applied in Health Care (at: AAMAS 2008. The Seventh International Conference on Autonomous Agents and Multiagent Systems)
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Towards a formalisation of electronic contracting environments

     Oren, N; Panagiotidi, Sofia; Vazquez Salceda, Javier; Modgil, Sanjay; Luck, M; Miles, S
    Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (at: AAAI¿08. Twenty-Third Conference on Artificial Intelligence)
    p. 156-171
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Using SOA provenance to implement norm enforcement in e-Institutions

     Vazquez Salceda, Javier; Alvarez Napagao, Sergio
    Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (at: AAAI¿08. Twenty-Third Conference on Artificial Intelligence)
    p. 188-203
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Using provenance to implement a norm enforcement mechanism for agent-mediated healthcare systems

     Alvarez Napagao, Sergio; Vazquez Salceda, Javier
    5th Workshop on Agents Applied in Health Care (at: AAMAS 2008. The Seventh International Conference on Autonomous Agents and Multiagent Systems)
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • Intelligent contracting agents language

     Panagiotidi, Sofia; Vazquez Salceda, Javier; Alvarez Napagao, Sergio; Ortega Martorell, Sandra; Willmott, Steven Nicolas; Confalonieri, Roberto; Storms, P
    Symposium on Behaviour Regulation in Multi-Agent Systems (in conjunction with the 2008 AISB Convention)
    p. 49-54
    Presentation of work at congresses

     Share Reference managers Reference managers Open in new window

  • A middleware for building contract-aware agent-based services

     Confalonieri, Roberto; Alvarez Napagao, Sergio; Panagiotidi, Sofia; Vazquez Salceda, Javier; Willmott, Steven Nicolas
    International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering
    p. 1-14
    DOI: 10.1007/978-3-540-79968-9_1
    Presentation's date: 2008-05-11
    Presentation of work at congresses

    Read the abstract Read the abstract View View Open in new window  Share Reference managers Reference managers Open in new window

    This paper presents a middleware to help designers in the implementation of contract-aware agent-based services. The middleware provides several components, including a contract manager, a communication manager and a workflow manager, which combine to allow agents to manage contracts and the actions associated with them. The middleware is built as part of a Web service implementation of the ISTCONTRACT framework. An electronic commerce example is used to illustrate how the components of the middleware facilitates the management and execution of agreements in a contract at run-time.

  • EU PROVENANCE project: an open provenance architecture for distributed applications

     Vazquez Salceda, Javier; Alvarez Napagao, Sergio; Kifor, T; Varga, L Z; Miles, S; Moreau, L; Willmott, Steven Nicolas
    Date of publication: 2008-01-31
    Book chapter

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • A middleware architecture for building contract-aware agent-based services

     Confalonieri, Roberto; Álvarez-Napagao, S; Panagiotidi, Sofia; Vazquez Salceda, Javier; Willmott, Steven Nicolas
    International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering (at: AAMAS 2008. The Seventh International Conference on Autonomous Agents and Multiagent Systems)
    p. 1-14
    DOI: 10.1007/978-3-540-79968-9_1
    Presentation of work at congresses

    View View Open in new window  Share Reference managers Reference managers Open in new window

  • IEEE transactions on systems man and cybernetics Part A-systems and humans

     Vazquez Salceda, Javier
    Collaboration in journals

     Share

  • Simulation modelling practice and theory

     Vazquez Salceda, Javier
    Collaboration in journals

     Share