Mostrando recursos 1 - 20 de 2.449

  1. Learning Commonalities in RDF and SPARQL

    El Hassad, Sara; Goasdoué, François; Jaudoin, Hélène
    Finding commonalities between descriptions of data or knowledge is a fundamental task in Machine Learning. The formal notion characterizing precisely such commonalities is known as least general generalization of descriptions and was introduced by G. Plotkin in the early 70's, in First Order Logic. Identifying least general generalizations has a large scope of database applications ranging from query optimization (e.g., to share commonalities between queries in view selection or multi-query optimization) to recommendation in social networks (e.g., to establish connections between users based on their commonalities between profiles or searches). To the best of our knowledge, this is the first...

  2. Learning Commonalities in RDF and SPARQL

    El Hassad, Sara; Goasdoué, François; Jaudoin, Hélène
    Finding commonalities between descriptions of data or knowledge is a fundamental task in Machine Learning. The formal notion characterizing precisely such commonalities is known as least general generalization of descriptions and was introduced by G. Plotkin in the early 70's, in First Order Logic. Identifying least general generalizations has a large scope of database applications ranging from query optimization (e.g., to share commonalities between queries in view selection or multi-query optimization) to recommendation in social networks (e.g., to establish connections between users based on their commonalities between profiles or searches). To the best of our knowledge, this is the first...

  3. On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation

    Alsinet, Teresa; Bejar, Ramon; Godo, Lluis; Guitart, Francesc
    In a previous work we defined a recursive warrant semantics for Defeasible Logic Programming based on a general notion of collective conflict among arguments. The main feature of this recursive semantics is that an output of a program is a pair consisting of a set of warranted and a set of blocked formulas. A program may have multiple outputs in case of circular definitions of conflicts among arguments. In this paper we design an algorithm for computing each output and we provide an experimental evaluation of the algorithm based on two SAT encodings defined for the two main combinatorial subproblems...

  4. Implicator-Conjunctor Based Models of Fuzzy Rough Sets: Definitions and Properties

    D'eer, Lynn; Verbiest, Nele; Cornelis, Chris; Godo, Lluis
    Ever since the first hybrid fuzzy rough set model was pro- posed in the early 1990¿s, many researchers have focused on the definition of the lower and upper approximation of a fuzzy set by means of a fuzzy relation. In this paper, we review those proposals which generalize the logical connectives and quantifiers present in the rough set approxima- tions by means of corresponding fuzzy logic operations. We introduce a general model which encapsulates all of these proposals, evaluate it w.r.t. a number of desirable properties, and refine the existing axiomatic approach to characterize lower and upper approximation operators. ©...

  5. Idas y venidas de la estética materialista: algunas dilucidaciones políticas e históricas a partir de la trayectoria artística y teórica de Tomás Maldonado

    Contursi, Ana
    Tras las sucesivas crisis y fracasos de las prácticas artísticas orientadas por una concepción política que hoy se ve desde diferentes perspectivas como problemática, resulta interesante la dilucidación de los presupuestos y las premisas que constituyeron el sustrato de algunos movimientos cuyos programas intentaban ligar el arte a la política y, con ello, a la vida. A partir de la segunda posguerra, la lógica de las vanguardias artísticas argentinas responde, en general, a planteos surgidos de la racionalidad política de la militancia marxista internacional. Esta traspolación entre campos de actividad y entre fronteras geopolíticas, con sus aciertos y desatinos, dio...

  6. Lectures cabals i delirants d’El jardí de les delícies de Hieronymus Bosch

    Alcoy Pedros, Rosa
    Els complexos engranatges de valoració d’El jardí de les delícies s’aborden en aquest article a partir de dues línies fonamentals d’estudi. La primera delimita les diferents interpretacions i s’ocupa de saber per què conviuen versions antagòniques sobre la concepció global del Tríptic. També aprecia alguns aspectes parcials que han estat objecte de múltiples conjectures. La voluntat de revisar la lògica general del conjunt per arribar a una lectura convincent determina la segona via de la recerca. En el seu relat de fons, El jardí del Prado em permet advertir la presència implícita de la Caiguda dels àngels del mal i...

  7. Reconstrucción de argumentos y enseñanza de la formalización

    Oller, Carlos A.; Couló, Ana C.
    La enseñanza de la lógica en las carreras de Humanidades suele fundamentarse sobre dos argumentos generales: por una parte, el de que lxs estudiantes necesitan familiarizarse con la lógica de primer orden en razón de la influencia que ésta ha tenido en el desarrollo de la filosofía contemporánea, especialmente en su corriente analítica. Pero, de modo más general, se aduce que un conocimiento adecuado de la lógica de primer orden es un requisito adecuado para lograr que lxs estudiantes alcancen una comprensión general de la lógica de los argumentos filosóficos y de otras disciplinas especiales [Beebee, 2003].

  8. Alternativas de comunicación serie de alta velocidad en FPGAs

    Vázquez Antolín, Francisco Javier
    El presente trabajo, con título “Alternativas de comunicación serie de Alta velocidad en FPGAs”, ha sido desarrollado en el centro de electrónica industrial (CEI) como continuación de la línea investigadora existente sobre sistemas embebidos reconfigurables. Se encuadra dentro del proyecto estatal de investigación “Sistemas electrónicos empotrados confiables para control de ciudades bajo situaciones atípicas” (REBECCA), el cual ahonda en las posibilidades que ofrecen las TIC para el desarrollo de sistemas complejos basados en plataformas de computación heterogénea y distribuidas para monitorizar, procesar y tomar decisiones, es decir, la implementación de una red de nodos con distintas capacidades de computación, desde...

  9. El clientelismo político como mecanismo de intermediación. : El caso de Rionegro, 2000-2011

    Zapata Osorno, Eucaris
    La Ciencia Política ha producido trabajos desde miradas teóricas y empíricas, que han ayudado a comprender el fenómeno del clientelismo como mecanismo de intermediación. Así, el artículo parte de un muy breve balance sobre los estudiosteóricos del clientelismo; pero se centra en mostrar, a través de un estudio de caso, cómo se va configurando una red clientelar que se ha hecho funcional para conseguir el poder político a partir de sus dinámicas de trabajo en el municipio de Rionegro desde inicios de siglo. En dicho proceso se describe la estructura de la red y las estrategias de trabajo con su...

  10. Rendimientos mnésicos en pacientes intervenidos de un aneurisma de la circulación cerebral anterior

    Ladera Fernández, Valentina; Morales Ramos, Francisco; Pastor Zapata, A.; Perea Bartolomé, María Victoria
    Introducción. Los sujetos intervenidos de aneurisma cerebral, que han sufrido una hemorragia subaracnoidea, presentan en ocasiones trastornos cognitivos que pueden alterar sus relaciones sociales, familiares, académicas o laborales. Las alteraciones en la memoria son frecuentes, aunque también pueden afectarse otras funciones cognitivas. Objetivos. Estudiar los rendimientos en memoria verbal lógica y memoria visuoconstructiva en sujetos que se han intervenido (al menos hace un año) de aneurisma en el territorio de la circulación cerebral anterior. Analizar también si estos rendimientos en memoria varían en función de la localización cerebral del aneurisma. Pacientes y métodos. 24 sujetos adultos de ambos sexos, sin...

  11. Diseño y simulación de un alimentador automatizado para perros de compañía

    Zamora Zapata, Pablo Andrés; Orozco Rogeles, Diego Fernando
    Este proyecto consiste en el diseño y simulación de un alimentador automatizado para perros con el fin de disminuir cierto grado de dependencia del humano con los alimentadores convencionales que normalmente trabajan por gravedad (cada vez que la mascota se alimenta cae simultáneamente la comida desde la tolva hasta el recipiente), haciendo uso de conocimientos adquiridos durante el proceso de formación que involucraron conocimientos y áreas como instrumentación industrial, automatización, circuitos lógicos, programación de computadores entre otras. Como objetivo general estaba el diseño y simulación de un alimentador automatizado para perros, mientras que los objetivos específicos fueron: Primero realizar un...

  12. Temporary Read-Only Permissions for Separation Logic

    Charguéraud, Arthur; Pottier, François
    We present an extension of Separation Logic with a general mechanism for temporarily converting any assertion (or "permission") to a read-only form. No accounting is required: our read-only permissions can be freely duplicated and discarded. We argue that, in circumstances where mutable data structures are temporarily accessed only for reading, our read-only permissions enable more concise specifications and proofs. The metatheory of our proposal is verified in Coq.

  13. La capacitación como estrategia de desarrollo turístico para las comunidades: Caso Centro Shuar Tsuer Entsa, Naranjal

    Torres Quiroga, Sergio Javier; Barreth, Alba Caicedo
    En la presente investigación se buscó diagnosticar la situación turística en el Centro Shuar Tsuer Entsa, y el progreso de los habitantes shuaras en esta actividad. Este estudio de carácter cualitativo, bajo los métodos lógico y analítico, se analizó el problema desde la conclusión general del comportamiento organizativo, social y económico de los pobladores locales. El objetivo general consistió en formular una estrategia de desarrollo turístico para los habitantes del centro Shuar Tsuer Entsa que sirva para impulsar el turismo sustentable en el lugar. Lo cual antepuso la hipótesis de la preparación de los prestadores de servicio en temas turísticos...

  14. En defensa del argumento finitista

    Tajer, Diego
    In this paper, I analyze the main replies that have been given to Etchemendy's (1990) finitist argument, and I show that none of them is successful. First, I describe and criticize the proposals that try to solve the problem by appealing to modal considerations. These solutions fail because they presuppose a very weak finitism, where the existence of infinitely many sets, or possible words with infinitely many objects, is accepted. But there are stronger versions of finitism that reintroduce the problem. Then I consider the solutions which appeal to semantical categories. One of them incorrectly categorizes the problem as a...

  15. La fenomenología del don y la dialéctica entre disimetría y mutualidad

    Walton, Roberto J.
    RESUMEN: El artículo procura, en primer lugar, esbozar los rasgos fundamentales de la mutualidad del don tal como han sido presentados por P. Ricoeur en Parcours de la reconnaissance. En segundo lugar, se intenta esclarecer el carácter simbólico del don ceremonial recíproco aplicando los rasgos distintivos asignados por Ricoeur al simbolismo inmanente o constructivo. En tercer lugar, se analiza la así llamada economía del don en el terreno del simbolismo representativo con la finalidad de mostrar la función crítica ejercida por el agape sobre la lógica de la equivalencia. Finalmente, se examina el marco general del análisis de Ricoeur sobre...

  16. Predicação e extensão conceitual em Kant: problemas

    Fonseca, Renato Duarte
    The article examines Kant's notion of conceptual extension in order to determine a conception of predication that could integrate, in a coherent fashion, basic theoretical commitments of general logic as he conceived it and the central tenets of his transcendental logic. After a brief overview of the several characterizations of thatnotion in the Kantian corpus, I distinguish three interpretative models concerning it in the literature. Such models are criticized and their prospects of integrating Kant's commitments in a fully satisfactory way are rejected. Finally, I sketch an alternative account of Kant's notion of conceptual extension, which respects the criteria of...

  17. La comunicación institucional en las redes sociales digitales on line. Análisis de un caso

    Lucrecia Gandolfo, María
    En las últimas décadas Internet ha generado transformaciones en la manera de habitar el mundo que han impactado notablemente en el campo de la comunicación. En este informe se presentarán las indagaciones y la aproximación a las conclusiones realizadas en un trabajo de investigación becado por la Comisión de Investigaciones Científicas de la Provincia de Buenos Aires, en el que se aborda cómo dichas modificaciones han generado nuevas lógicas de significación social en la comunicación institucional. El crecimiento de una de las aplicaciones de la web 2.0, las redes sociales digitales on line, en tanto nuevas media­ciones simbólicas, desafía a...

  18. Perspectivas en ciencia y tecnología de la lógica difusa

    González A., Carlos A.
    La necesidad de manejar información incierta y vaga se encuentra presente prácticamente en cualquier fenómeno, ya sea éste natural, social, económico, etc. Una de las formas de atacar este problema es mediante la utilización de lógicas no clásicas, es decir, lógicas que pueden contar con diferentes grados de verdad, como por ejemplo, la lógica difusa. En este artículo se hará una introducción general al mundo de la lógica difusa y sus repercusiones actuales en el campo de la ciencia y de la tecnología. Este trabajo sirve como introducción al resto de los artículos publicados en este mismo número. Previamente, haremos...

  19. La distribution: un enjeu pour la filière construction

    Bellet, Michel; Thomas, Jean-Noël
    The crisis has been modifying the situation of the building materials distribution within the building connection: a larger autonomy for the wholesaler, a larger part for the end-user, the apparition of some do-it-yourself hypermarket. This trend is now visible in the markets structures as well as in the financial structures. So, the second start of the activity implies reorganizing the structure of the distribution, with new theories about the parts and goals of distribution within the connection. This article purpose is to focus three distinct logics of the distribution within the actual mutations: an "interindustrial" logic, a "general public" logic...

  20. Learning Commonalities in RDF and SPARQL

    El Hassad, Sara; Goasdoué, François; Jaudoin, Hélène
    Finding commonalities between descriptions of data or knowledge is a fundamental task in Machine Learning. The formal notion characterizing precisely such commonalities is known as least general generalization of descriptions and was introduced by G. Plotkin in the early 70's, in First Order Logic. Identifying least general generalizations has a large scope of database applications ranging from query optimization (e.g., to share commonalities between queries in view selection or multi-query optimization) to recommendation in social networks (e.g., to establish connections between users based on their commonalities between profiles or searches). To the best of our knowledge, this is the first...

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.