Mostrando recursos 161 - 180 de 5.267

  1. Typology of Axioms for a Weighted Modal Logic

    Legastelois, Bénédicte; Lesot, Marie-Jeanne; Revault d'Allonnes, Adrien
    International audience

  2. NEW OBJECTIVES FOR THE NOTIONS OF LOGIC TEACHING IN HIGH SCHOOL IN FRANCE: A COMPLEX REQUEST FOR TEACHERS

    Mesnil, Zoé
    International audience

  3. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

    Blanchette, Jasmin,; Fleury, Mathias; Weidenbach, Christoph
    International audience

  4. The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable

    Horbach, Matthias; Voigt, Marco; Weidenbach, Christoph
    The first-order theory of addition over the natural numbers, known as Presburger arithmetic , is decidable in double exponential time. Adding an uninterpreted unary predicate to the language leads to an undecidable theory. We sharpen the known boundary between decidable and undecidable in that we show that the purely universal fragment of the extended theory is already undecidable. Our proof is based on a reduction of the halting problem for two-counter machines to unsatisfiability of sentences in the extended language of Presburger arithmetic that does not use existential quantification. On the other hand, we argue that a single ∀∃ quantifier...

  5. Reactive Power Planning And Operation of Power Systems with Wind Farms for Voltage Stability Improvement

    Moger, Tukaram
    In recent years, the electric power industry around the world is changing continuously due to transformation from regulated market structure to deregulated market structure. The main aim of the transformation of electric supply industry under open access environment is to overcome the some of the limitations faced by the vertically integrated system. It is believed that this transformation will bring in new technologies, integration of other sources of energy such as wind, solar, fuel cells, bio-gas, etc., which are self sustainable and competitive, and better choice for the consumers and so on. As a result, several new issues and challenges...

  6. MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions

    Vidal, Amanda
    In the literature, little attention has been paid to the development of solvers for systems of mathematical fuzzy logic, and in particular, there are few works concerned with infinitely-valued logics. In this paper it is presented mNiBLoS (a modal Nice BL-Logics Solver): a modular SMT-based solver complete with respect to a wide family of continuous t-norm based fuzzy modal logics (both with finite and infinite universes), restricting the modal structures to the finite ones. At the propositional level, the solver works with some of the best known infinitely-valued fuzzy logics (including BL, Łukasiewicz, Gödel and product logics), and with all...

  7. Paired structures in knowledge representation

    Montero, Javier; Bustince, Humberto; Franco, C.; Tinguaro Rodríguez, J.; Gómez, Daniel; Pagola, M.; Fernández Fernández, F. J.; Barrenechea, E.
    In this position paper we propose a consistent and unifying view to all those basic knowledge representation models that are based on the existence of two somehow opposite fuzzy concepts. A number of these basic models can be found in fuzzy logic and multi-valued logic literature. Here it is claimed that it is the semantic relationship between two paired concepts what determines the emergence of different types of neutrality, namely indeterminacy, ambivalence and conflict, widely used under different frameworks (possibly under different names). It will be shown the potential relevance of paired structures, generated from two paired concepts together with...

  8. Desarrollo de una aplicación web para la recogida de datos anual de los beneficiarios de la ONG “Handicap International”

    Insunza Díaz, Eloy Jesús del Gran Poder
    El presente proyecto ha creado una aplicación web que facilita la Colecta Anual de Datos de los Beneficiarios realizada por Handicap International. El trabajo ha sido desarrollado en la sede de Lyon de dicha asociación. A continuación, se presenta un resumen del proyecto. Handicap International es una ONG con base en Lyon, Francia que realiza proyectos enfocados a la inclusión de las personas minusválidas. Una parte de sus fondos viene de fundaciones, estados y otras grandes entidades que, a cambio de su aportación, exigen una justificación de las actividades. Para ello, Handicap International lleva a cabo la Colecta Anual de...

  9. Cis -regulatory logic in archaeal transcription

    Peeters, Eveline; Peixeiro, Nuno; Sezonov, Guennadi
    International audience

  10. Non-Disjoint Combination with Forward-Closed Theories

    Erbatur, Serdar; Marshall, Andrew,; Ringeissen, Christophe
    International audience

  11. A poor man's epistemic logic based on propositional assignment and higher-order observation

    Herzig, Andreas; Lorini, Emiliano; Maffre, Faustine
    International audience

  12. Single-Chip Discrete Multitone Generation

    Herrnsdorf, Johannes; McKendry, Jonathan J.D.; Ferreira, Ricardo; Henderson, Robert; Videv, Stefan; Watson, Scott; Haas, Harald; Kelly, Anthony E.; Gu, Erdan; Dawson, Martin D.
    We report report a single-chip device that takes parallel logic input signals and converts them into discrete visible light levels. This is enabled by on/off control of micro-LEDs in an array with individual pixel control.

  13. Single-Chip Discrete Multitone Generation

    Herrnsdorf, Johannes; McKendry, Jonathan J.D.; Ferreira, Ricardo; Henderson, Robert; Videv, Stefan; Watson, Scott; Haas, Harald; Kelly, Anthony E.; Gu, Erdan; Dawson, Martin D.
    We report report a single-chip device that takes parallel logic input signals and converts them into discrete visible light levels. This is enabled by on/off control of micro-LEDs in an array with individual pixel control.

  14. New methods to teach logic

    Bakó Mária (1970-) (matematika-informatika tanár)

  15. El estudio del paisaje como clave interpretativa del territorio a través de las narrativas para la planificación urbana y territorial : Paraty, Río de Janeiro/Brasil como caso de estudio

    Caron, Daniele
    Contemporary territories are increasingly subject to tensions and contradictions resulting from the logic of capitalism. Urban and territorial planning, in turn, faces the challenge of interpreting these territories in order to organize their spaces and flows to facilitate collective and individual activities and to improve quality of life of its inhabitants. It is fundamental, then, to know how people interact with the territory, as well as their conflicts, demands and desires from a social and cultural perspective that brings the planner’s views closer to the daily experience of society. Landscape, as a phenomenon that relates subject and territory possesses a...

  16. Aprendizaje de bases de conocimiento borrosas mediante computación bio-inspirada

    Barrio Cerro, Carmen del
    En la actualidad, numerosas tareas que rodean a los seres humanos se llevan a cabo automáticamente a cargo de la inteligencia artificial. Dentro de la inteligencia artificial, se encuentra la lógica borrosa, que proporciona un formalismo de representación del conocimiento que permite modelar computacionalmente la imprecisión propia de los procesos cognitivos del ser humano. Si se diseñan adecuadamente, los sistemas basados en reglas borrosas son capaces de resolver una gran variedad de problemas como, por ejemplo, los problemas de clasificación, que están presentes en un amplio rango de aplicaciones. Sin embargo, para diseñar un sistema basado en reglas borrosas, es...

  17. Why we need to teach logic and how can we teach it?

    Bakó Mária (1970-) (matematika-informatika tanár)

  18. Why we need to teach logic and how can we teach it?

    Bakó Mária (1970-) (matematika-informatika tanár)

  19. Why we need to teach logic and how can we teach it?

    Bakó Mária (1970-) (matematika-informatika tanár)

  20. On strong standard completeness in some MTL Δ expansions

    Vidal, Amanda; Bou, Felix; Esteva, Francesc; Godo, Lluis
    In this paper, inspired by the previous work of Franco Montagna on infinitary axiomatizations for standard BL-algebras, we focus on a uniform approach to the following problem: given a left-continuous t-norm ∗ , find an axiomatic system (possibly with infinitary rules) which is strongly complete with respect to the standard algebra [InlineEquation not available: see fulltext.] This system will be an expansion of Monoidal t-norm-based logic. First, we introduce an infinitary axiomatic system L∗∞, expanding the language with Δ and countably many truth constants, and with only one infinitary inference rule, that is inspired in Takeuti–Titani density rule. Then we...

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.