Desenvolupament d'un entorn virtual orientat a la didàctica de la Lògica Computacional i Estructura i Tecnologia de Computadors

En aquesta memòria es presenta el desenvolupament d'un entorn virtual orientat a la didàctica de la lògica proposicional, aplicada en assignatures de Lògica Computacional i Estructura i Tecnologia de Computadors. L'entorn en si té com a objectiu ser un reforç a l'aprenentatge autodidacta per part de l'alumne en aquestes matèries, així com una eina de seguiment per part del professor.

Generador d'horaris d'un centre docent

El projecte intenta resoldre el problema que suposa organitzar l'horari escolar en els centres docents. S'usa el Visual Bàsic per aconseguir, omplir i mostrar el contingut d’una base de dades feta amb Microsoft Access. Per generar el resultat, s'utilitza el llenguatge de programació lògica Prolog, el qual en ser un llenguatge declaratiu i utilitzant una llibreria de restriccions que permet fer modificacions d’una forma molt versàtil, aconsegueix un entorn de programació ideal per atacar aquest tipus de problema. Amb una interacció del Visual Bàsic amb el Prolog es pot mostrar d’una manera elegant i fàcil d’entendre el resultat obtingut

Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

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

L' Ensenyament per tasques: programació d'una assignatura de traducció de l'alemany a l'espanyol

In this work we present a proposal for a course in translation from German into Spanish following the task based approach as known in second language acquisition. The aim is to improve the translation competence of translation students. We depart from the hypothesis that some students select inapropiate translation strategies when faced with certain translation problems leading them to translation errors. In order to avoid these translation errors originated by wrong application of such strategies we propose a didactic method which helps to prevent them by a) raising awareness of the different subcompetences required while translating, b) improving the ability to identify translation problems and relate them to the different subcompetences and c) enhancing the use of the most adequate strategy according to the characteristics of each problem. With regard to translation and how translation competence is acquired our work follows the communicative approach to translation theory as defended among others by Hatim & Mason (1990), Lörscher (1992) and Kiraly (1995), where translation is seen as a communicative activity which can be analized from a psycholinguistic perspective. In this sense we give operative definitions for what we understand by “translation problem”, “translation strategy”, “translation error”, “translation competence” and “translation”. Our approach to didactics adapts recent developments in Second Language Teaching within the communicative paradigm as is the task based approach by Nunan (1989) acquisition to translation. Fitting the recquirements of this pedagogic approach we present a planning for a translation course which is compatible with present translation studies.

Estudiant suite: la programació client-servidor

Treball de recerca realitzat per un alumne d’ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit científic del Jovent l’any 2006. Mitjançant un programa informàtic, creat per un estudiant de batxillerat, els alumnes compartiran, a través d’internet,resums o fitxers amb informació rellevant sobre les matèries que estan estudiant sense la necessitat de coincidir en línia. El programa servidor permet donar d'alta i de baixa usuaris, control e les connexions i dels fitxers. A més a més s'encarrega d'emmagatzemar i codificar la informació (fitxers) que aporten els usuaris. El client permet l'identificació mitjançant un nom d'usuari i una contrasenya i la visualització de la informació que conté el servidor, com també permet l'aportació i modificació d'aquesta.

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.

La programació al servei de la matemàtica

Treball de recerca realitzat per un alumne d'ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit cientí­fic del Jovent l'any 2009. La programació al servei de la matemàtica és un programa informàtic fet amb Excel i Visual Basic. Resol equacions de primer grau, equacions de segon grau, sistemes d'equacions lineals de dues equacions i dues incògnites, sistemes d'equacions lineals compatibles determinats de tres equacions i tres incògnites i troba zeros de funcions amb el teorema de Bolzano. En cadascun dels casos, representa les solucions gràficament. Per a això, en el treball s'ha hagut de treballar, en matemàtiques, amb equacions, nombres complexos, la regla de Cramer per a la resolució de sistemes, i buscar la manera de programar un mètode iteratiu pel teorema de Bolzano. En la part gràfica, s'ha resolt com fer taules de valors amb dues i tres variables i treballar amb rectes i plans. Per la part informàtica, s'ha emprat un llenguatge nou per l'alumne i, sobretot, ha calgut saber decidir on posar una determinada instrucció, ja que el fet de variar-ne la posició una sola lí­nea ho pot canviar tot. A més d'això, s'han resolt altres problemes de programació i també s'ha realitzat el disseny de pantalles.

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.

Individualització de la programació docent de Fonaments de Computadors

La metodologia docent impulsada per la creació d’un Espai Europeu d’Ensenyament Superior comú implica tenir en compte el treball de l’estudiant. En aquest sentit, resulta molt convenient facilitar a l’alumnat de primers cursos l’adaptació a una docència que s’organitza en crèdits ECTS i que se centra en el procés d’aprenentatge dels estudiants. Per aquest motiu, l’objectiu d’aquest projecte ha estat que assumissin un grau més elevat de responsabilitat en l’aprenentatge i que adquirissin una competència més gran en l’organització del temps d’acord amb els programes docents de les assignatures que cursessin. Per aconseguir-ho, s’ha creat un entorn de presentació de les guies docents basat en les agendes d’activitats d’aprenentatge. Aquestes agendes són, de fet, planificacions de les activitats presencials i no presencials que han de dur a terme els estudiants per assolir els objectius de cadascuna de les assignatures que fan. Perquè siguin efectives, han de ser el més individuals possibles i amb la informació suficient com perquè les activitats es puguin dur a terme. Així, els alumnes disposen d’una veritable agenda particular del què han de fer i quan per seguir una assignatura determinada. Com a resultat del projecte s’ha proposat una organització de la informació d’una assignatura que facilita tant la gestió de les guies docents com la creació d’agendes d’activitats d’aprenentatge, s’ha establert una metodologia de presentació dels programes docents amb suport de web perquè sigui de fàcil consulta i en els que els vincles de cada activitat s’activen segons el ritme del curs i, finalment, s’ha aplicat tot per al cas de l’assignatura de Fonaments de computadors, aconseguint que l’alumnat s’acostumi a seguir les agendes d’activitats i, consegüentment, a millorar el rendiment acadèmic de l’assignatura, que era el que, es pretenia originalment.

Programació d'aplicacions bioinformàtiques

Avui en dia la biologia aporta grans quantitats de dades que només la informàtica pot tractar. Les aplicacions bioinformàtiques són la més important eina d’anàlisi i comparació que tenim per entendre la vida i aconseguir desxifrar aquestes dades. Aquest projecte centra el seu esforç en l’estudi de les aplicacions dedicades a l’alineament de seqüències genètiques, i més concretament a dos algoritmes, basats en programació dinàmica i òptims: el Needleman&Wunsch i el Smith&Waterman. Amb l’objectiu de millorar el rendiment d’aquests algoritmes per a alineaments de seqüències grans, proposem diferents versions d’implementació. Busquem millorar rendiments en temps i espai. Per a aconseguir millorar els resultats aprofitem el paral·lelisme. Els resultats dels anàlisis de les versions els comparem per obtenir les dades necessàries per valorar cost, guany i rendiment.

Anàlisi d'aplicacions del disseny de programació múltiple: una estimació de priorització en la planificació inicial i progressiva d'aquest enfocament

Atendre la planificació dels plans d’aula per a tot l’alumnat des d’un enfocament d’inclusió i atendre la planificació d’accés de cadascun i cadascuna de les alumnes a tot allò que es desenvoluparà a l’aula, són els propòsits del enfocament basat en el Disseny de Programacions Múltiples i Plans Educatius Individualitzats. Des d’aquest enfocament es planteja un procediment de planificacions “per versions” en el sentit que es considera que, inicialment, no es fa necessari preveure tots els detalls de l’activitat docent que es prepara, sinó el disposar d’uns primers esborranys que poden ser suficients i funcionals o que, en el cas de ser necessàries majors concrecions, aquestes es puguin anar introduint progressivament durant el mateix procés docent. El conèixer els canvis que es produiran en el moment de la implementació és l’objectiu d’aquest treball perquè tenim la convicció que si anticipem els possibles canvis que es produiran sabrem els components en els quals convé inicialment, planificar amb major intensitat i detall i quins són aquells altres components sobre els quals la intensitat de la planificació pot ser menys intensa i així facilitar la tasca dels professionals a l’hora de programar.

Desarrollo de un sistema de clasificación de recursos electrónicos en el ámbito de la lógica matemática

El presente trabajo define una taxonomía para la clasificación de recursos digitales del ámbito de la lógica tradicional, y más concretamente los recursos que se podrían generar en el ámbito de la asignatura de Lógica Matemática del plan de estudios de las titulaciones de Ingeniería Técnica de Gestión y de Sistemas impartidas en la Universitat Oberta de Catalunya (UOC).