Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

An Improved Hybrid Model for the Generic Hoist Scheduling Problem

Peer-reviewed

Formalizing defeasible argumentation using a labeled deductive system

In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical systems. In the last decade, defeasible argumentation has proven to be a confluence point for many approaches to formalizing commonsense reasoning. Different formalisms have been developed, many of them sharing common features. This paper presents a formalization of an LDS for defensible argumentation, in which the main issues concerning defeasible argumentation are captured within a unified logical framework. The proposed framework is defined in two stages. First, defeasible inference will be formalized by characterizing an argumentative LDS. That system will be then extended in order to capture conflict among arguments using a dialectical approach. We also present some logical properties emerging from the proposed framework, discussing also its semantical characterization.

Regulación del proceso de secado de embutidos crudos-curados mediante la aplicación de lógica borrosa (fuzzy logic)

El presente proyecto tenía como objetivo final el desarrollo de un sistema de control basado en Lógica Fuzzy que permita que el proceso de secado tenga una regulación continua y con una menor dependencia de la experiencia del personal experto, evitando además la formación de encostrado. Asimismo, se plantearon una serie de objetivos parciales, cuya consecución permitiría, además de alcanzar el objetivo final descrito, obtener un conocimiento científico adicional. Por ello, a continuación se resumen los resultados en relación con los objetivos parciales propuestos. Como paso previo, antes de abordar los objetivos planteados se diseñó y construyó un equipo experimental de secado, donde se controló de forma precisa la temperatura, la humedad relativa y la velocidad del aire.

Variabilitat temporal i geogràfica i caracterització química de la contaminació atmosfèrica particulada a Sabadell

Estudi de 3 punts amb diferent intensitat de trànsit a Sabadell: punt de trànsit, fons urbà i fons suburbà. Nivells de PM i altres gasos contaminants van ser mesurats durant 1 mes. Els objectius principals són la correlació dels nivells de partícules i NOx als 3 punts d’estudi (ja que als estudis epidemiològics s’utilitza NO2 com a indicador del nivell de partícules); la caracterització química de les partícules per determinar quina porció té origen en les emissions dels tubs d’escapament i identificar similituds i diferències entre els nivells i composició de partícules entre les diferents estacions seleccionades.

Desenvolupament d'un videojoc en 3D

La industria de los videojuegos crece exponencialmente y está ya superando a otras industrias punteras del ocio. En este proyecto, nos hemos planteado la realización de un videojuego con visualización en el espacio real 3D. Para la realización del videojuego se ha usado el siguiente software: Blender para diseñar los modelos 3D, C++ como lenguaje de programación para desarrollar el código y un conjunto de librerías básicas para desarrollar un videojuego llamadas Ogre3d (Motor Gráfico). La lógica del movimiento 3D y los choques entre las partículas del juego ha sido diseñada enteramente en este proyecto acorde con las necesidades del videojuego, y de forma compatible a los ficheros de Blender y a las librerías OGRE3D.

Spatio-temporal variations in reproductive patterns and population structure of Pasiphaea multidentata (Decapoda: Caridea) in the Blanes canyon and adjacent margin, North-western Mediterranean Sea

The bathyal faunal communities of the NW Mediterranean slopes have been studied consistently in the last two decades, with a special focus on population structure, trophic dynamics and benthopelagic coupling of commercial deep-sea decapod crustaceans and fishes (reviewed in Sardà et al. 2004) and associated species (Cartes and Sardà, 1993; Company and Sardà, 1997, 2000; Cartes et al., 2001; Company et al., 2001, 2003, 2004). One of the major topographic features in the North-western Mediterranean slope is the presence of submarine canyons. Canyons play a major role in funnelling energy and organic matter from the shelf to bathyal and abyssal depths (Puig et al., 2000), but the implications of this enhanced organic supply in the deep-sea benthic communities is still mostly unknown. Trophic supply can follow two major pathways – vertical deposition in the water column (Billett et al., 1983; Baldwin et al., 1998; Lampitt et al., 2001) or down-slope advection on the margins (Puig et al., 2001; Bethoux et al., 2002; Canals et al., 2006) – and can be a limiting factor in the deep-sea, being especially important in the oligotrophic Mediterranean Sea (Sardà et al., 2004). Differences in the quantity, quality and timing of organic matter input to the deep seafloor have been used to explain patterns of biomass and abundance in benthic communities (Levin et al., 1994; Gooday & Turley, 1990; Billett et al., 2001; Galéron et al., 2001; Puig et al., 2001; Gage, 2003) as well as other biological process and in particular the existence of seasonal reproduction (Tyler et al., 1994; Company et al., 2004 (MEPS). Reproduction is a highly energetic process tightly linked to food availability and quality.

Gérard Grisey : la cuantificación temporal deducida de los procesos perceptivos

En el presente trabajo, tratamos diferentes perspectivas sobre la poética, estrategias compositivas y repercusión perceptiva del tiempo en la música de Gérard Grisey. En el primer capítulo, abordamos la concepción del tiempo como unidad y proporcionalidad duracional y su relación con otros parámetros musicales. A continuación, presentamos tres enfoques sobre el tiempo que emergen de la poética de Grisey y del análisis de sus obras: la ruptura con la proporcionalidad duracional y la relación entre tiempo y sonido, el concepto de cambio de escala temporal y la analogía entre tiempo y cosmos. En el segundo capítulo, proponemos tres categorías temporales basadas principalmente en el concepto de previsibilidad: tiempo no lineal, tiempo lineal y tiempo procesual. En el tercer y último capítulo, exponemos los fundamentos de la Teoría de la Información, su relación con el discurso de Grisey y su método de aplicación.

Degeneració Lobular Fronto-Temporal. Fenotips Clínics i Evolució

Estudi retrospectiu de recollida de dades clíniques i de neuroimatge de pacients diagnosticats, em La clínica diària, de Degeneració Lobular Fronto-Temporal (DLFT) entre gener de 1996 i Marc de 2008. Es descriuen dades demogràfiques i clíniques i es classifiquen en fenotips al diagnòstic inicial segons variants de: DFT-vc (Demència fronto-temporal variant de conducta), APNF (Afàsia Progressiva no fluent) DS (Demència Semàntica) SCB (Síndrome Còrtico-Basal) y PSP (Paràlisis Supranuclear Progressiva). Es descriuen els canvis clínics durant el seguiment i s’analitzen els patrons radiològics en les neuroimatges disponibles. S’inclouen també dades d’ApoE i l’estudi anatomopatològic realitzat a 17 d’ells.

A Classification of Tools for Learning Logic

A table showing a comparison and classification of tools (intelligent tutoring systems) for e-learning of Logic at a college level.

A teaching/learning support tool for introductory programming courses

In This work we present a Web-based tool developed with the aim of reinforcing teaching and learning of introductory programming courses. This tool provides support for teaching and learning. From the teacher's perspective the system introduces important gains with respect to the classical teaching methodology. It reinforces lecture and laboratory sessions, makes it possible to give personalized attention to the student, assesses the degree of participation of the students and most importantly, performs a continuous assessment of the student's progress. From the student's perspective it provides a learning framework, consisting in a help environment and a correction environment, which facilitates their personal work. With this tool students are more motivated to do programming

A la llum de les matrius: projecte d'exposició temporal

El treball presenta el projecte d'una exposició temporal al Museu d'Art sobre el fons de xilografies procedents de la Impremta Carreras

Let's talk: public evaluation of large projects: variational inequialities, bilevel programming and complementarity. a survey

Large projects evaluation rises well known difficulties because -by definition- they modify the current price system; their public evaluation presents additional difficulties because they modify too existing shadow prices without the project. This paper analyzes -first- the basic methodologies applied until late 80s., based on the integration of projects in optimization models or, alternatively, based on iterative procedures with information exchange between two organizational levels. New methodologies applied afterwards are based on variational inequalities, bilevel programming and linear or nonlinear complementarity. Their foundations and different applications related with project evaluation are explored. As a matter of fact, these new tools are closely related among them and can treat more complex cases involving -for example- the reaction of agents to policies or the existence of multiple agents in an environment characterized by common functions representing demands or constraints on polluting emissions.