kriptia.com
Búsqueda personalizada




Inicio >

LOGICA

English | Français | Deutsche
5 tesis en 1 páginas: 1
  • EQUATIONAL REASONING WITH NON-MONOTONIC ORDERINGS

    Autor: BOFILL ARASA MIQUEL.
    Año: 2003.
    Universidad: POLITÉCNICA DE CATALUÑA [Más tesis de esta universidad] [www.upc.edu].
    Centro de lectura: Sala del Llac del doctorat campus Nord.
    Centro de realización: EDIFICI C6 Campus NORD.
    Enlace a esta ficha: http://www.kriptia.com/LOGICA/1#110965
    Resumen: El raonament amb el predicat d'igualtat és de gran importància en matemàtiques i lògica. Per tant, no és sorprenent que les tècniques de raonament automàtic per a la lògica de primer ordre amb igualtat tinguin aplicació en moltes àrees de la informàtica, com ara la verificació i síntesi de hardware i software, la seguretat de protocols de comunicació, el processament de consultes i restriccions d'integritat en bases de dades, i la programació funcional i lògica (amb restriccions). Durant les dues darreres dècades, el raonament automàtic amb equacions ha progressat enormement gràcies a noves tècniques de compleció tipus Knuth-Bendix i les seves extensions en forma de paramodulació ordenada per a clàusules de primer ordre. Actualment, la immensa majoria de demostradors automàtics de teoremes per a la lògica de primer ordre amb igualtat estan basats en la regla d'inferència de la paramodulació ordenada, la qual és parametritzada per un ordre sobre termes. En aquest context, importants nocions de redundància com ara l'esborrat de tautologies, la subsumpció o la demodulació (és a dir, la simplificació per reescriptura), poden ser aplicades preservant la completesa refutacional. En aquesta tesi fem un estudi detallat de la regla d'inferència de la paramodulació ordenada. Amb aquesta finalitat, considerem dos aspectes: 1) quines propietats de l'ordre usat per a paramodular són essencials per assegurar la completesa refutacional d'un sistema d'inferència basat en la paramodulació ordenada, i 2) quines nocions de redundància són compatibles amb la completesa refutacional del càlcul resultant. Ens centrem principalment en ordres no monòtons. El resultat principal d'aquesta tesi és que la paramodulació ordenada es manté completa quan s'usen ordres no monòtons (ben fonamentats), fins i tot si contradiuen la relació de subterme. Addicionalment, obtenim procediments de compleció tipus Knuth-Bendix per a ordres no monòtons. Pensem que aquestes són innovacions importants en tant que, per a moltes aplicacions, els requeriments usuals per a l'ordre són massa restrictius, i definir un bon ordre és una tasca difícil quan considerem la deducció en una determinada teoria equacional. També mostrem que, de totes maneres, hi ha un preu a pagar, referit a l'eliminació de redundància, quan s'usen ordres més febles que els usuals: en alguns casos es perd la compatibilitat amb l'eliminació de redundància, i en d'altres no se sap. Per a aquestes situacions, desenvolupem una noció modular de redundància per tal d'explotar l'eliminació de redundància sense perdre la completesa refutacional, independentment del demostrador de teoremes que s'usi. Pel que respecta a nocions concretes de redundància mostrem que, en el context de la paramodulació amb ordres no monòtons, l'esborrat de tautologies i la subsumpció són correctes en general, mentre que la demodulació només és possible si s'aplica respecte un ordre de reducció que estigui inclòs en l'ordre que és emprat per a paramodular
  • ALGORITMO HEURISTICO PARA LA FORMACIÓN Y DISTRIBUCION EN PLANTA DE CÉLULAS DE TRABAJO

    Autor: PEÑA ESTEBAN FRANCISCO DAVID DE LA.
    Año: 2005.
    Universidad: PÚBLICA DE NAVARRA [Más tesis de esta universidad] [www.unavarra.es].
    Centro de lectura: E.T.S.DE ING.INDUSTRIALES Y DE TELECOMUNICACION.
    Centro de realización: E.T.S.I.I.T..
    Enlace a esta ficha: http://www.kriptia.com/LOGICA/1#112525
    Resumen: La tesis desarrolla un algoritmo heurístico para la formación de células de trabajo a fin de optimizar la distribución en planta de un conjunto de maquinaria de producción de piezas diferentes, que pueden seguir diferentes rutas de trabajo. Define el número óptimo de máquinas por célula en función de la disponibilidad total de maquinaria, y permite la combinación de planes alternativos de procesos, evitando o reduciendo la duplicidad de maquinaria Estudia y soluciona la distribución de máquinas más eficaz, definiendo las áreas de trabajo necesarias, y la posición relativa más eficaz de las diferentes áreas, al mismo tiempo que define la mejor posición de las diferentes máquinas dentro de su área o célula. En definitiva, genera un algoritmo eficaz para la distribución en planta idónea y optimizada de un centro de producción. El algoritmo se ha programado en Matlab, considerada herramienta idónea para tal fin.
  • BASES FILOSÓFICAS PARA UNA TEORÍA NORMATIVA INTEGRAL DE LA ARGUMENTACIÓN. HACIA UN ENFOQUE UNIFICADO DE SUS DIMENSIONES LÓGICA, DIALÉCTICA Y RETÓRICA

    Autor: Bermejo Luque Lilian.
    Año: 2005.
    Universidad: MURCIA [Más tesis de esta universidad] [www.um.es].
    Centro de lectura: Facultad de Filosofía. Departamento de filosofía.
    Centro de realización: Departamento de Filosofía.
    Enlace a esta ficha: http://www.kriptia.com/LOGICA/1#114011
    Resumen: El objetivo de este trabajo es ofrecer un programa para integrar las dimensiones lógica, dialéctica y retórica de la argumentación en lenguaje natural, de cara al desarrollo de una teoría normativa. Con ese fin, se analizan las principales propuestas actuales en Teoría de la Argumentación, y se plantea una crítica a la concepción instrumental de la normatividad argumentativa que subyace en ellas. Por otra parte, en reconocimiento de la motivación que determina la adopción de una perspectiva instrumentalista, en este trabajo se articula la distinción entre la fuerza suasoria y la fuerza justificativa de la argumentación, y se expone la necesidad de que una teoría normativa de cuenta de ambas, así como del modo en que se relacionan entre sí, al poner de relieve la vinculación entre argumentación y racionalidad. Sin embargo, se propone la adopción de un enfoque epistémico, al hilo de una determinada interpretación del trabajo sobre argumentación de S. E. Toulmin. Partiendo de una concepción de la argumentación como actividad, se propone una definición del objeto de una teoría de la argumentación como compuesto de propiedades lógicas, dialécticas y retóricas. También se articula la noción de 'acto argumentativo' como cierto tipo de acto de habla, y se extraen las consecuencias de este enfoque de cara al análisis e interpretación del discurso argumentativo y de la argumentación entimemática. Las propuestas sobre evaluación vienen dadas por las características pragmáticas y semánticas de los actos de habla argumentativos definidos como 'intentos de mostrar que una afirmación de referencia es correcta'. Se perfilan las nociones de 'macro' y 'microestructura argumentativa' y las condiciones para la evaluación pragmática y semántica del discurso argumentativo. De todo ello se extrae como consecuencia la posibilidad de determinar no sólo la fuerza justificativa, sino también la legitimidad de la fuerza suasoria de cierto discurso argumentativo respecto de un auditorio u oyente dado. Por último, se propone la adopción del estudio de las falacias conversacionales clásicas como instrumento para la crítica de la argumentación.
  • RELACIÓN EMERGENTE EN LA OBTENCIÓN DE CONCLUSIONES: VALIDEZ - COHERENCIA

    Autor: CRUZ MAVIL MIGUEL ÁNGEL.
    Año: 2005.
    Universidad: AUTÓNOMA DE BARCELONA [Más tesis de esta universidad] [www.uab.es].
    Centro de lectura: CIENCIAS DE LA EDUCACIÓN..
    Centro de realización: UNIVERSIDAD VERACRUZANA.
    Enlace a esta ficha: http://www.kriptia.com/LOGICA/1#115440
    Resumen: Este trabajo recoge las actividades realizadas para investigar dificultades de los estudiantes en la obtención de conclusiones. Se trata de una investigación cualitativa enmarcada en el ámbito de la educación matemática. Su propósito principal ha sido el de descubrir e interpretar algunos aspectos que influyen en el proceso de obtener la conclusión de un argumento. El método consistió en aplicar un cuestionario a estudiantes de seis licenciaturas de la Universidad Veracruzana, en México. El trabajo fue complementado con una serie de entrevistas semi estructuradas a algunos de esos estudiantes. El estudio se concretó en el semestre escolar comprendido en el período febrero - junio de 2004. La población incluyó a los estudiantes matriculados para el segundo período del primer año de estudios en la universidad. La muestra elegida incluyó 260 estudiantes de las áreas de Ciencias Sociales y Ciencias Exactas. En el primer grupo se eligieron estudiantes de Derecho, Literatura y Economía. En el segundo, se eligieron estudiantes de Informática, Física, Ingeniería y Matemáticas. La mayoría de los estudiantes de la muestra solamente pueden tomar un curso de Lógica de manera opcional que debe tomarse o bien, en el primer semestre o bien, en el segundo semestre. En cambio, los estudiantes de Informática y los de Matemática encuentran necesariamente un curso de Lógica en sus respectivos itinerarios. De estos dos grupos, los estudiantes de Matemáticas habían tomado dicho curso en el periodo escolar anterior. En cambio, los estudiantes de Informática tomaron dicho curso a lo largo del segundo semestre, coincidiendo con esta investigación. En cursos de Lógica básica, las conclusiones que obtienen los estudiantes frecuentemente son calificadas desde la norma lógica. Sin embargo, el proceso que supone la intención de obtener y justificar la conclusión de uno o más argumentos, hace emerger la influencia de significados y procesos inferenciales, no necesariamente lógicos que participan en él. El problema que se analiza puede ser observado en el acto situado de enseñar y aprender el concepto de consecuencia lógica. Este concepto que es fundamental en cursos de Lógica, es definido en esta disciplina con la pretensión de capturar una noción intuitiva en los estudiantes. La habilidad natural de hacer inferencias ha sido aplicada por los estudiantes durante largo tiempo y de manera generalmente adecuada y por tanto antecede al aprendizaje de la noción de consecuencia lógica que han de aprender en cursos de Lógica. La dificultad inherente a la enseñanza de esta noción, se ve incrementada debido a los modos semántico y sintáctico que suelen seguirse en el aula para definirla. Cada uno implica un tipo particular de dificultades a los estudiantes. El primero, está necesariamente relacionado con la noción de verdad mientras que el segundo implica el conocimiento y aplicación de un conjunto de reglas de inferencia que los estudiantes han de aplicar correctamente. Adicionalmente, los conceptos básicos de la Lógica deben ser manejados en los niveles proposicional y predicativo. En el proceso de investigación surge la necesidad de reconstruir la noción de coherencia para analizar las conclusiones de los estudiantes. Los resultados de esta investigación muestran que la influencia del contexto sociocultural y lingüstico median el tipo de conclusiones que pueden tomar o dejar de tomar los estudiantes y dejan ver que un curso de Lógica puede ser intrascendente, al menos, en relación con el aprendizaje de uno de los conceptos fundamentales de la Lógica.
  • REPRESENTACIÓN DEL CONOCIMIENTO JURÍDICO EN PROGRAMACIÓN LÓGICA Y SU APLICACIÓN A LA TOMA DE DECISIÓN EN EL DERECHO PENAL.

    Autor: SANCHEZ SORIA ANGEL RAFAEL.
    Año: 2006.
    Universidad: VALENCIA [Más tesis de esta universidad] [www.uv.es].
    Centro de lectura: FACULTAD DE DERECHO.
    Centro de realización: FACULTAD DE DERECHO.
    Enlace a esta ficha: http://www.kriptia.com/LOGICA/1#121303
    Resumen: Se realiza una maqueta de Sistema Experto Jurídico, mediante una representación del conocimiento, en la que ,tras modelar la tarea de juzgar, y como medio de reducir la arbitrariedad judicial, se aplica la probabilidad subjetiva o bayesiana y la lógica borrosa a la valoración de la prueba, la programación lógica (PROLOG) a la aplicación del derecho formalizando los preceptos penales que tipifican los delitos de homicidio, asesinato y homicidio imprudente, y de nuevo la lógica fuzzy a la graduación de la pena, realizando refinamientos como el tiempo de cumplimiento como variable discreta. Se modeliza una sentencia real en los citados tres aspectos (prueba, normas penales y pena). Se obtienen como conclusiones la conveniencia de aplicar métodos formales para aumentar la seguridad jurídica en la aplicación del Derecho Penal, continuando con la tradición derivada de la codificación.
5 tesis en 1 páginas: 1
Búsqueda personalizada
kriptia.com
E-mail