Mostrando recursos 141 - 160 de 5.330

  1. A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks

    Arioua, Abdallah; Croitoru, Madalina
    Given a logic-based argumentation framework built over a knowledge base in a logical language and a query in that language, the query is universally accepted if it is entailed from all extensions. As shown in [2, 14], universal acceptance is different from skeptical acceptance as a query may be entailed from different arguments distributed over all extensions but not necessarily skeptical ones. In this paper we provide a dialectical proof theory for universal acceptance in coherent logic-based argumentation frameworks. We prove its finiteness, soundness, completeness, consistency and study its dispute complexity. We give an exact characterization for non-universal acceptance and...

  2. A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks

    Arioua, Abdallah; Croitoru, Madalina
    Given a logic-based argumentation framework built over a knowledge base in a logical language and a query in that language, the query is universally accepted if it is entailed from all extensions. As shown in [2, 14], universal acceptance is different from skeptical acceptance as a query may be entailed from different arguments distributed over all extensions but not necessarily skeptical ones. In this paper we provide a dialectical proof theory for universal acceptance in coherent logic-based argumentation frameworks. We prove its finiteness, soundness, completeness, consistency and study its dispute complexity. We give an exact characterization for non-universal acceptance and...

  3. A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks

    Arioua, Abdallah; Croitoru, Madalina
    Given a logic-based argumentation framework built over a knowledge base in a logical language and a query in that language, the query is universally accepted if it is entailed from all extensions. As shown in [2, 14], universal acceptance is different from skeptical acceptance as a query may be entailed from different arguments distributed over all extensions but not necessarily skeptical ones. In this paper we provide a dialectical proof theory for universal acceptance in coherent logic-based argumentation frameworks. We prove its finiteness, soundness, completeness, consistency and study its dispute complexity. We give an exact characterization for non-universal acceptance and...

  4. A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks

    Arioua, Abdallah; Croitoru, Madalina
    Given a logic-based argumentation framework built over a knowledge base in a logical language and a query in that language, the query is universally accepted if it is entailed from all extensions. As shown in [2, 14], universal acceptance is different from skeptical acceptance as a query may be entailed from different arguments distributed over all extensions but not necessarily skeptical ones. In this paper we provide a dialectical proof theory for universal acceptance in coherent logic-based argumentation frameworks. We prove its finiteness, soundness, completeness, consistency and study its dispute complexity. We give an exact characterization for non-universal acceptance and...

  5. A fuzzy-logic-based controller for methane production in anaerobic fixed-film reactors

    ROBLES MARTINEZ, Angel; Latrille, Eric; Ruano, M.V.; Steyer, Jean-Philippe
    The main objective of this work was to develop a controller for biogas production in continuous anaerobic fixed-bed reactors, which used effluent total volatile fatty acids (VFA) concentration as control input in order to prevent process acidification at closed loop. To this aim, a fuzzy-logic-based control system was developed, tuned and validated in an anaerobic fixed-bed reactor at pilot scale that treated industrial winery wastewater. The proposed controller varied the flow rate of wastewater entering the system as a function of the gaseous outflow rate of methane and VFA concentration. Simulation results show that the proposed controller is capable to...

  6. Producing innovations: a low-key science policy on embryonic stem cells

    BRUNET, Philippe
    Human embryonic stem cells (hESC) are the subject of research that requires destroying the embryo. The result is a tension between the logic of development of innovations and ethical constraints. This article seeks to understand this dynamic of innovation and its non-availability in France, focusing on political science. After understanding the development model of innovation and the concept of political science, the analysis focuses on the establishment of a normative ethical barrier against research on hESCs. This establishes a principle 'prohibited with derogation to be seen', full of ambiguity. The tension generated by this principle led the State to implement...

  7. Producing innovations: a low-key science policy on embryonic stem cells

    BRUNET, Philippe
    Human embryonic stem cells (hESC) are the subject of research that requires destroying the embryo. The result is a tension between the logic of development of innovations and ethical constraints. This article seeks to understand this dynamic of innovation and its non-availability in France, focusing on political science. After understanding the development model of innovation and the concept of political science, the analysis focuses on the establishment of a normative ethical barrier against research on hESCs. This establishes a principle 'prohibited with derogation to be seen', full of ambiguity. The tension generated by this principle led the State to implement...

  8. Producing innovations: a low-key science policy on embryonic stem cells

    BRUNET, Philippe
    Human embryonic stem cells (hESC) are the subject of research that requires destroying the embryo. The result is a tension between the logic of development of innovations and ethical constraints. This article seeks to understand this dynamic of innovation and its non-availability in France, focusing on political science. After understanding the development model of innovation and the concept of political science, the analysis focuses on the establishment of a normative ethical barrier against research on hESCs. This establishes a principle 'prohibited with derogation to be seen', full of ambiguity. The tension generated by this principle led the State to implement...

  9. Entropy-based abnormal activity detection fusing RGB-D and domotic sensors

    Fernandez-Carmona, Manuel; Cosar, Serhan; Coppola, Claudio; Bellotto, Nicola
    The automatic detection of anomalies in Active and Assisted Living (AAL) environments is important for monitoring the wellbeing and safety of the elderly at home. The integration of smart domotic sensors (e.g. presence detectors) with those ones equipping modern mobile robots (e.g. RGBD camera) provides new opportunities for addressing this challenge. In this paper, we propose a novel solution to combine local activity levels detected by a single RGBD camera with the global activity perceived by a network of domotic sensors. Our approach relies on a new method for computing such a global activity using various presence detectors, based on...

  10. Ekman’s Paradox

    Schroeder-Heister, Peter; Tranchini, Luca
    Prawitz observed that Russell’s paradox in naive set theory yields a derivation of absurdity whose reduction sequence loops. Building on this observation, and based on numerous examples, Tennant claimed that this looping feature, or more generally, the fact that derivations of absurdity do not normalize, is characteristic of the paradoxes. Striking results by Ekman show that looping reduction sequences are already obtained in minimal propositional logic, when certain reduction steps, which are prima facie plausible, are considered in addition to the standard ones. This shows that the notion of reduction is in need of clarification. Referring to the notion of...

  11. Prospects for a Naive Theory of Classes

    Field, Hartry; Lederman, Harvey; Øgaard, Tore Fjetland
    The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes have exactly the same members, they are identical. In this paper we examine the prospects for obtaining a satisfactory naive theory of classes. We start from a result...

  12. Display multifunción para visualizar datos NMEA 0183 mediante dispositivos de bajo coste Rasberry Pi / Arduino

    CANET COLLADO, JOAN BATISTE
    [ES] El presente trabajo de fin de grado trata sobre el desarrollo de una aplicación de escritorio para la visualización de datos NMEA 0183. La aplicación se llama nmeaDisplay. Su objetivo es la presentación de datos obtenidos de un dispositivo emisor que se comunica mediante el protocolo estándar NMEA 0183. Estos datos se muestran en la aplicación pudiendo personalizar aquellos que se visualizan. La implementación se ha realizado con vista a su funcionamiento en un dispositivo de bajo coste como lo es la Raspberry pi 3. Se ha utilizado para el desarrollo el lenguaje de programación Java para la lógica y la tecnología de JavaFX para la interfaz

  13. Modelado de Redes SDN con MININET

    NAVARRO OJEDA, FRANCISCO JOSÉ
    [ES] Las deficiencias que presentan las arquitecturas actuales en el diseño de redes frente a la aparición de nuevas tecnologías que necesitan de un mejor control del ancho de banda de la red y una mejora en la gestión de estas ha provocado la aparición de las redes SDN. Esta nueva arquitectura centraliza la lógica que gestiona el tráfico de la red a diferencia de otros modelos. Durante el siguiente proyecto se ha estudiado esta nueva arquitectura de red y los beneficios que aporta, además de observar mediante experimentación en el emulador Mininet-wifi el comportamiento de red de este. Pudiendo evaluar también el funcionamiento de este emulador.

  14. Transformaciones contemporáneas de la relación entre política, cultura y religión en Europa occidental. Un apunte para el caso español

    Pérez-Agote Poveda, Alfonso
    Según Tilly dos leyes defi nen el proceso de transformación de las sociedades europeas occidentales desde la Paz de Westfalia hasta fi nales del siglo XX: la de la progresiva homogeneidad interna de cada una y la de la progresiva heterogeneidad entre todas ellas. La homogeneización cultural interna primero ocurre en relación a los grupos étnicos coexistentes dentro del territorio del Estado. La fase siguiente de homogeneización tendría lugar en relación con las poblaciones inmigradas tras la Segunda Guerra Mundial; proceso que siguió diversos modelos según los países, pero que la crisis de los años setenta, la del petróleo, mostró...

  15. Making Context Aware Decision from Uncertain Information in a Smart Home: A Markov Logic Network Approach

    Chahuara, Pedro; Portet, François; Vacher, Michel
    International audience

  16. Using Markov Logic Network for On-line Activity Recognition from Non-Visual Home Automation Sensors

    Chahuara, Pedro; Fleury, Anthony; Portet, François; Vacher, Michel
    International audience

  17. Logic-Based Event Recognition

    Artikis, Alexander; Skarlatidis, Anastasios; Portet, François; Paliouras, Georgios
    Impact-F=0.59 estim. in 2012

  18. Logic-based representation, reasoning and machine learning for event recognition

    Artikis, Alexander; Paliouras, Georgios; Portet, François; Skarlatidis, Anastasios
    International audience

  19. Minimisation of ATL * models

    Cerrito, Serenella; David, Amélie
    International audience

  20. La lógica interna en Los Juegos de niños (1560) de Peter Brueghel. [Internal motricity logic in Children's Games (1560) by Peter Brueghel].

    Andújar, Irene; Universidad de Barcelona; Brasó, Jordi; Universidad de Barcelona
    El análisis del folclore y las tradiciones de una sociedad es una herramienta indispensable para dibujar y comprender un lugar y una época. En el ámbito lúdico, los juegos de la población tienen que permitir estudiar diferentes aspectos sociales tales como la tipología de estas prácticas y sus participantes, su simbolización o la situación económica de un pueblo y una clase social. El objeto de estudio del presente artículo es la obra pictórica de Peter Brueghel, Juegos de niños (1560). Concretamente, se analizan las diferentes prácticas lúdicas en función de su carácter motriz, de su lógica interna y de la...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.