Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach

Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match curricula and job profiles. In such open environments, the objective of a matchmaking process is to discover best available offers to a given request. We address the problem of matchmaking from a knowledge representation perspective, with a formalization based on Description Logics. We devise Concept Abduction and Concept Contraction as non-monotonic inferences in Description Logics suitable for modeling matchmaking in a logical framework, and prove some related complexity results. We also present reasonable algorithms for semantic matchmaking based on the devised inferences, and prove that they obey to some commonsense properties. Finally, we report on the implementation of the proposed matchmaking framework, which has been used both as a mediator in e-marketplaces and for semantic web services discovery

Description Logics Approach to Semantic Matching of Web Services

As more resources and services become available on the Web, there is a growing need for infrastructures that, based on advertised descriptions, semantically match in a peer-to-peer way providers with requesters of web services. We address the problem of matchmaking of web services from a knowledge representation perspective. Based on our approach we propose match categorization in terms of exact match, potential match – when request and offer though not identical are compatible – and partial match – when one or more inconsistency is present – and rank of matches within categories. Then we report on our implementation of the proposed matchmaking framework in a prototype system

Vers une modélisation des systèmes coopératifs

International audienceDans le cadre de la coopération homme-homme, les agents humains construisent et maintiennent une représentation partagée de la situation par l'intermédiaire d'échanges verbaux. Cette représentation a été appelée Référentiel Commun, mais n'est que virtuelle. Dans le cadre de la coopération homme-machine, il est nécessaire de rendre opérationnel ce Référentiel Commun. C'est ce que nous présentons dans ce papier, où une expérimentation a permis de définir de manière exacte son contenu dans le cadre du contrôle de trafic aérien, ce qui a permis de bâtir un modèle de système coopératif que nous présentons ici

Managing disruptions in a refinery supply chain using agent-based technique

Master'sMASTER OF ENGINEERIN

Sistema experto para la detección de operaciones sospechosas de lavado de activos en entidades financieras utilizando CommonKADS

Presenta el diseño e implementación de un sistema experto en la detección de lavado de activos basándose en la determinación del riesgo de la transacción financiera inusual y el conocimiento del cliente. Para el desarrollo del sistema se usó la metodología CommonKADS por ser un estándar de facto en la construcción de sistemas basados en conocimiento. El sistema toma como entrada los datos de las operaciones bancarias contenidas en un caso inusual reportado y los datos del cliente obteniendo, mediante el motor de inferencia, el riesgo final del caso, que permitirá concluir si se debe reportar o no como sospechosa. Las pruebas realizadas han consistido en la evaluación de 251 casos obteniendo como resultado un porcentaje de acierto del 98.81% a la cuarta iteración.Tesi

Computer aided decision support system for the selection of subcontractors in building refurbishment works

Ph.DDOCTOR OF PHILOSOPH