Search

During the deliberation phase in practical reasoning, an intelligent agent generates a set of pursuable goals (or desires) and then selects which of them he commits to achieve (intentions). When several pursuable goals are generated, it may cause that some incompatibilities arise between them. In this work, we focus on the denition, identication and resolution of these incompatibilities. The suggested approach considers the three forms of incompatibility introduced by Castelfranchi and Paglieri, namely the terminal incompatibility, the resources incompatibility and the superuity. We characterise computationally these forms of incompatibility by means of arguments that represent the plans that allow an agent to achieve his goals. The incompatibility between goals is dened based on the conicts between their plans, which are represented by means of attacks in an argumentation framework. For the goals selection, we propose to use abstract argumentation theory by applying argumentation semantics.

Multiple-valued logics are useful for dealing with uncertainty and imprecision in Knowledge-Based Systems. Different problems can require different logics. Then we need mechanisms to translate the information exchanged between two problems with different logics. In this paper, we introduce the logical foundations of such logics and the communication mechanisms that preserve some deductive properties. We also describe a tool to assist users in the declaration of logics and their communication mechanisms.

Multiple-valued logics are useful for dealing with uncertainty and imprecision in Knowledge-Based Systems. Different problems can require different logics. Then we need mechanisms to translate the information exchanged between two problems with different logics. In this paper, we introduce the logical foundations of such logics and the communication mechanisms that preserve some deductive properties. We also describe a tool to assist users in the declaration of logics and their communication mechanisms

In this paper we describe the language Milord. The description is made in terms of computer language concepts and not in terms of the logical semantics underlying it. In this sense the paper complements others in which the focus of the description has been either the object level multi-valued language description, or the reflective component of the architecture, or even the several applications built using it. All the necessary elements to understand how a system programmed in Milord executes have room in this full description: types, facts, rules, modules, local logics, control rategies, ... Although the description is guided by the Milord language syntax, this is by no means a user's manual, which would deserve a much longer document, but a language summary description that places all the components of the language in their correct place.

[EN] In this work, we present an argumentation-based formalization for supporting the process of formation of intentions in practical agents. This is based on the belief-based goal processing model proposed by Castelfranchi and Paglieri, which is a more expressive and refined model than the BDI (Beliefs-Desires-Intentions) model. We focus on the progress of goals since they are desires until they become intentions, including the conditions under which a goal can be cancelled. We use argumentation to support the passage of the goals from their initial state until their final state. Our proposal complies with the properties defined by Castelfranchi and Paglieri, diachrony and synchrony. The first means that the support is given since the goal is a desire until it becomes an intention, and the second means that the support can be tracked, i.e. there is a memory of the cognitive path from the beginning of the process until the end., [ES] Este trabajo presenta una formalización basada en argumentación para el proceso de formación de intenciones en agentes prácticos. Se basa en el modelo de procesamiento de objetivos propuesto por Castelfranchi y Paglieri, el cual es un modelo más expresivo y con más etapas que el modelo BDI (Creencias-Deseos-Intenciones). Nos enfocamos en la evolución de los objetivos desde que son deseos hasta que se convierten en intenciones, incluyendo las condiciones bajo las cuales pueden ser cancelados. La argumentación soporta el paso de los objetivos desde su estado inicial hasta el final. Nuestra propuesta cumple con las propiedades de diacronía y sincronía. La primera quiere decir que el soporte se da desde que el objetivo es un deseo hasta que es una intención, y la segunda significa que la trayectoria del soporte puede ser seguida, i.e. hay una memoria del camino cognitivo que va desde el comienzo del proceso hasta su final.

Durante las últimas décadas se ha extendido la implantación de sistemas de información en las organizaciones sanitarias, proporcionando un adecuado soporte a los principales procesos de las mismas. Sin embargo, a pesar de los avances producidos durante los últimos años en las tecnologías de la información y la comunicación, los sistemas actuales no son capaces de proporcionar un verdadero soporte a los profesionales sanitarios en su práctica diaria y sus actividades de investigación. Como consecuencia de la variedad de organizaciones sanitarias existentes y la heterogeneidad de los sistemas de información en uso, los sistemas actuales de Historia Clínica Electrónica no son capaces de mostrar a los profesionales sanitarios una visión conceptualmente consolidada del estado de salud de los pacientes. Los datos clínicos de los pacientes se encuentran fragmentados tanto entre diferentes sistemas de información como dentro de los mismos, de modo que los profesionales deben interpretar las relaciones entre los mismos así como inferir relaciones ausentes. En este escenario, la interoperabilidad semántica es considerada por la comunidad científica como un factor esencial para que los sistemas de HCE constituyan una ayuda para mejorar la calidad y seguridad de la atención a los pacientes, la salud pública, la investigación clínica y la gestión sanitaria. En esta tesis proponemos OntoEHR, una arquitectura conceptual para un nuevo sistema de HCE semánticamente interoperable, enfocado sobre el proceso clínico y dirigido por ontologías. Tanto los elementos conceptuales como estructurales del sistema son definidos explícitamente mediante ontologías OWL, conforme a un metamodelo declarativo que dirige el sistema. Los datos clínicos procedentes de diferentes fuentes son almacenados e integrados en un repositorio clínico, conforme con la norma CEN/ISO 13606, que es capaz de comunicar los datos clínicos mediante extractos CEN/ISO 13606. Por último, proponemos un modelo de Historia Clínica Orientada por Problemas, basada en la norma CEN/ISO 13940, para representar los datos clínicos de los pacientes, asegurando una continuidad asistencial segura y eficiente. Esta tesis no propone ningún sistema de HCE específico y completo, sino las bases para construir tales sistemas., The deployment of information systems in healthcare facilities has become widespread in recent decades and the main processes at Healthcare facilities are generally well supported. However, in spite of great advances in information and communication technologies domain during last years, current systems fail to provide true support to healthcare professionals in their daily practice and research activities. As a consequence of the variety of organizations providing healthcare and the heterogeneity of information systems used, current Electronic Health Record systems are not capable to show to healthcare professionals a conceptually consolidated view of the patients’ health state. Patient’s health data are fragmented inside information systems and over different information systems, and the professional should interpret and infer lacking relationships among them. In this scenario, semantic interoperability is pointed out by scientific community as an essential factor in achieving benefits from EHR systems to improve the quality and safety of patient care, public health, clinical research, and health service management. In this thesis we propose OntoEHR, a conceptual architecture for a new semantically interoperable EHR system, focused on the clinical process and driven by ontologies. Conceptual and structural elements of the system are explicitly defined in OWL ontologies, conforming a declarative metamodel that drive all the system. Clinical data coming from different sources are stored and integrated in a clinical repository conforming to CEN/ISO 13606 standard, which is able to communicate clinical data using CEN/ISO 13606 extracts. Lastly, we propose a Problem Oriented Medical Record model, founded on CEN/ISO 13940 standard, to represents patients’ clinical data, assuring a safe and efficient continuity of care. This thesis do not propose a specific and complete EHR system, but the foundation to build such systems.