REPBLICA BOLIVARIANA DE VENEZUELA MINISTERIO DEL PODER POPULAR PARA DEFENSA UNIVERSIDAD NACIONAL EXPERIMENTAL DE LA FUERZA ARMADA BOLIVARIANA

ESTADO GURICO-NCLEO TUCUPIDO INGENIERIA EN SISTEMAS SECCION DIURNO 4-1

PROFESOR (A): Ana Rengifo

BACHILLER (S): Mary Goncalves Ron Denys Pamela Nobrega

Tucupido, 16 de Enero del 2012

INDICE

INTRODUCCIN LGICAS MODALES  Aspectos Filosficos  Aplicaciones de la lgica modal LGICAS DE VALORES MLTIPLES O (MULTI-VALUADA)  Aspectos Filosficos LGICA DIFUSA  Funcionamiento de la lgica Difusa  Aplicaciones de la lgica difusa LGICAS TEMPORALES  Aspectos filosficos APLICACIONES E IMPORTANCIA DE LA LGICA EN LA INFORMTICA CONCLUSIONES REFERENCIAS BIBLIOGRAFICAS

IV 5 5 6 6 7 8 8 9 11 12 12

XV 16

INTRODUCCIN

La importancia de la Lgica viene siendo reconocida desde la antigedad, ya los griegos clsicos saban que el razonamiento es un proceso sujeto a ciertos esquemas y que, al menos parcialmente, est gobernado por leyes perfectamente formulables. Pero su importancia en la actualidad se debe, sin duda, al destacado papel que ha tomado recientemente en los ms diversos campos de la Informtica (anlisis, sntesis y vericacin de programas, programacin lgica, inteligencia articial, control de procesos, robtica, etc.) y todo ello no de forma completamente accidental ya que, como sabemos, la Lgica naci como un intento de mecanizar los procesos intelectivos del razonamiento. Las lgicas modales son una insustituible herramienta para analizar estructuras relacionales. Y en computacin stas son las estructuras sobre las que se modela prcticamente toda la actividad del campo (sistemas de transiciones etiquetadas, autmatas, redes, agentes, etc.). La eleccin de los operadores modales adecuados, siempre con un enfoque semntico comn, permite proponer sistemas lgicos especcos para ciertas actividades. En el presente trabajo se da una visin general sobre lo que se entiende por Lgica Modal, Multivaluadas, Difusas y Temporales y una breve explicacin sobre sus aplicaciones y aspectos filosficos referidos a ellas.

LGICAS MODALES Una lgica modal es un sistema formal que intenta capturar el

comportamiento deductivo de algn grupo de operadores modales.1 Los operadores modales son expresiones que califican la verdad de los juicios.1Por ejemplo, en la oracin "es necesario que 2+2=4", la expresin "es necesario que" es un operador modal que califica de necesaria a la verdad del juicio "2+2=4". En un sentido ms restringido, sin embargo, se llama lgica modal al sistema formal que se ocupa de las expresiones "es necesario que" y "es posible que"

 Aspectos Filosficos Las lgicas modales son un tipo de lgica no clsica, ms concretamente pueden considerarse como una extensin de la lgica clsica a la cual se le aade un elemento, la modalidad. Puede plantearse que el estudio sistemtico y formal de la lgica modal empieza en el siglo XX. Se inicia con los trabajos de Kripke; si bien no fue el primero en plantear una lgica modal en sentido amplio, s fue el primero en sentar las bases semnticas del sistema modal ms conocido y que sirve de referencia a los dems. La lgica modal es tan antigua como el Organon de Aristteles y tuvo gran desarrollo durante la Edad Media. La lgica modal contempornea, sin embargo, surge a principios del siglo XX como una reaccin a la lgica clsica que madur en las obras de autores como Gottlob Frege, Bertrand Russell y Alfred North Whitehead. Los patrones de razonamiento vlidos, aquellos que indican una relacin de consecuencia lgica entre un conjunto de enunciados las premisas y otro enunciado la conclusin en un argumento, estn en parte determinados por cules sean las constantes lgicas.

 Aplicaciones de la lgica modal Las lgicas modales son una insustituible herramienta para analizar estructuras relacionales. Y en computacin stas son las estructuras sobre las que se modela prcticamente toda la actividad del campo (sistemas de transiciones etiquetadas, autmatas, redes, agentes, etc.). La eleccin de los operadores modales adecuados, siempre con un enfoque semntico comn, permite proponer sistemas lgicos especcos para ciertas actividades.

LGICAS DE VALORES MLTIPLES O (MULTI-VALUADA) En lgica, una lgica multivaluada (tambin la lgica de varios o mltiples valores) es un clculo proposicional en el que hay ms de dos valores de verdad Las lgicas que hemos descrito hasta ahora han considerado dos (02) valores que son: Verdadero o Falso, sin embargo, existe una gran cantidad de bibliografa relacionada con lgicas que tienen ms de dos (02) valores; por ejemplo, Belnap (1977) ha investigado una lgica de cuatro (04) valores en la cual estos valores son los cuatro (04) estados de conocimiento que una base de conocimientos puede tener con respecto a una proposicin "P": U: no se ha dicho ni "P" ni "P" a la base de conocimientos. T: se ha dicho "P" a la base de conocimientos. F: se ha dicho "P" a la base de conocimientos. B: se ha dicho "P" y "P" a la base de conocimientos. Este sistema de cuatro (04) valores es importante para el diseo de sistemas automticos de pregunta / respuesta, puesto que una base de conocimientos computarizada puede estar en cualquiera de estos estados con respecto a una posicin "P".

 Aspectos Filosficos Una de las Lgicas de Valores Mltiples mejor conocida es la Lgica de Tres (03) valores propuesta por Lukasiewicz, su justificacin para esta lgica era que a los asertos tales como: "maana habr una batalla naval" no se les puede asignar realmente un valor de Verdadero o Falso. En consecuencia, introdujo un 3er. valor "I" que denota un valor de verdad "Intermedio". Mc. Cawley (1981) muestra cmo se puede modificar la lgica de tres (03) valores de Lukasiewicz, de tal forma, que pueda considerarse que "I" denote el valor "Clase de Verdadero". A continuacin se muestra una tabla de Verdad correspondiente a esta interpretacin.

A V V V V I I F F F

B V I F V I F V I F

AKB V I F V V F V V V

Esta interpretacin de "I" como Clase de Verdadero puede generalizarse para dar cabida a grados de verdad, los sistemas que resultan de tal generalizacin son tiles para tratar con conceptos confusos, tales como: gordo. La lgica borrosa o difusa, que se plantea ms adelante intenta tambin dar cabida a la vaguedad. En Rescher (1969) se puede encontrar una relacin de la bibliografa de lgica de valores mltiples. LGICA DIFUSA La lgica Borrosa, Difusa o Fuzzy (Trminos usados indistintamente a lo largo del proyecto), se basa en lo relativo de lo observado. Este tipo de lgica toma dos valores aleatorios, pero contextualizados y referidos entre s. La lgica difusa se adapta mejor al mundo real, e incluso puede comprender y funcionar con nuestras expresiones, del tipo "hace mucho calor", "no es muy alto", "el ritmo del corazn est un poco acelerado". La clave de esta adaptacin al lenguaje, se basa en comprender los cuantificadores de nuestro lenguaje (como por ejemplo, "mucho", "muy", "un poco") Un tipo de lgica que reconoce ms que simples valores verdaderos y falsos. Con lgica difusa, las proposiciones pueden ser representadas con grados de veracidad o falsedad. Por ejemplo, la sentencia "hoy es un da soleado", puede ser 100% verdad si no hay nubes, 80% verdad si hay pocas nubes, 50% verdad si existe neblina y 0% si llueve todo el da.

 Funcionamiento de la lgica Difusa En nuestro entorno y en nuestra vida cotidiana aceptamos la imprecisin como una consecuencia natural de "la forma de las cosas en el mundo". La dicotoma entre el rigor y la precisin del modelado matemtico en todos los campos, y la intrnseca incertidumbre del mundo real no es, generalmente, aceptada por los cientficos, filsofos y analistas.

La lgica difusa simplemente acerca estos eventos a funciones numricas y permite escoger un resultado en lugar de hacer un anlisis del conocimiento emprico. Con todo este razonamiento, se puede asegurar que la lgica difusa se adapta mejor al mundo real en el que vivimos, e incluso puede comprender y funcionar con nuestras expresiones del tipo "hace mucho calor" "el ritmo del corazn est un poco acelerado". La clave de esta adaptacin se basa en comprender los cuantificadores de nuestro lenguaje, por ejemplo "mucho" o "muy poco". El funcionamiento de la lgica borrosa se basa en reglas heursticas de la forma SI ENTONCES , donde antecedente y consecuente son conjuntos difusos (puros, o resultado de operar con ellos). Por ejemplo: SI hace muchsimo calor ENTONCES disminuyo drsticamente la temperatura. SI voy a llegar un poco tarde ENTONCES aumento levemente la velocidad. Los mtodos de inferencia para esta base de reglas deben ser simples, veloces y eficaces. Los resultados de estos mtodos son un rea final, fruto de un conjunto de reas solapadas entre s, cada una resultado de una regla de inferencia. Para escoger una salida concreta a partir de tanta premisa difusa, lo usual es tomar el centro de gravedad del rea total resultante. Los datos de entrada suelen ser recogidos por sensores y el motor de inferencia se basa en chips difusos.

 Aplicaciones de la lgica difusa La Lgica Difusa ha sido probada para ser particularmente til en sistemas expertos y otras aplicaciones de inteligencia artificial. Es tambin utilizada en algunos correctores de voz para sugerir una lista de probables palabras a reemplazar en una mal dicha. La Lgica Difusa, que hoy en da se encuentra en constante evolucin, naci en los aos 60 como la lgica del razonamiento aproximado, y en ese sentido poda considerarse una extensin de la Lgica Multivaluada. La Lgica Difusa actualmente est relacionada y fundamentada en la teora de los Conjuntos Difusos. Segn esta teora, el grado de pertenencia de un elemento a un conjunto va a venir determinado por una funcin de pertenencia, que puede tomar todos los valores reales comprendidos en el intervalo [0,1]. La Lgica Difusa (llamada tambin Lgica Borrosa por otros autores) o Fuzzy Logic es bsicamente una lgica con mltiples valores, que permite definir valores en las reas oscuras entre las evaluaciones convencionales de la lgica precisa: Si / No, Cierto / Falso, Blanco / Negro, etc. Se considera un sper conjunto de la Lgica Booleana. Con la Lgica Difusa, las proposiciones pueden ser representadas con grados de certeza o falsedad. La lgica tradicional de las computadoras opera con ecuaciones muy precisas y dos respuestas: Si o no, uno o cero. Ahora, para aplicaciones de computadores muy mal definido o sistemas vagos se emplea la Lgica Difusa. Por medio de la Lgica Difusa pueden formularse matemticamente nociones como un poco calientes o muy fras, para que sean procesadas por computadoras y cuantificar expresiones humanas vagas, tales como "Muy alto" o "luz brillante". De esa forma, es un intento de aplicar la forma de pensar humana a la programacin de los computadores. Permite tambin cuantificar aquellas descripciones imprecisas que se usan en el lenguaje y las transiciones graduales en electrodomsticos como ir de agua sucia a agua limpia en una lavadora, lo que permite ajustar los ciclos de lavado a travs de sensores. La habilidad de la Lgica

Difusa para procesar valores parciales de verdad ha sido de gran ayuda para la ingeniera. En general, se ha aplicado a: -Sistemas expertos. -Verificadores de ortografa, los cuales sugieren una lista de palabras probables para reemplazar una palabra mal escrita. -Control de sistemas de trenes subterrneos. A continuacin se citan algunos ejemplos de su aplicacin: Control de sistemas: Control de trfico, control de vehculos (Mejora en la eficiencia del uso de combustible en motores), control de compuertas en plantas hidroelctricas, centrales trmicas, control en mquinas lavadoras, control de metros (mejora de su conduccin, precisin en las paradas y ahorro de energa), ascensores, sistemas de control de acondicionadores de aire, electrodomsticos familiares (Frigorficos, lavadoras). Prediccin y optimizacin: Prediccin de terremotos, optimizar horarios. Reconocimiento de patrones y Visin por ordenador: Seguimiento de objetos con cmara, reconocimiento de escritura manuscrita, reconocimiento de objetos, compensacin de vibraciones en la cmara. Sistemas de informacin o conocimiento: Bases de datos difusas: Almacenar y consultar informacin imprecisa, (lenguaje FSQL), sistemas expertos. LGICAS TEMPORALES Permiten especicar propiedades dinmicas de un sistema sin introducir el tiempo explcitamente. La idea es describir secuencias de transiciones entre estados en un sistema que evoluciona en el tiempo. Ejemplo: Eventualmente ocurrir P, nunca ocurrir P, etc. Estos eventualmente, nunca, etc., son los operadores de la lgica.

La lgica temporal es una extensin de la lgica modal, la cual es prcticamente usada en sistema de reglas, donde est presente el tiempo. Existe una cierta relacin con otras variedades de lgica, por ejemplo, la lgica modal. Su estudio tiene importancia en la parte de la informtica hasta nuestros das. Por ejemplo, tomemos la sentencia: "Tengo hambre"; aunque su significado es independiente del tiempo, el valor de verdad o falsedad de la misma puede variar con el tiempo en un determinado sistema que incluya acciones de comer; as, en funcin del sistema, algunas veces ser cierta y otras falsa, aunque nunca ser cierta y falsa simultneamente.

 Aspectos filosficos - Inicialmente propuestas en los 50 aos para investigaciones losocas. - Pnueli (1977) fue el primero en proponerlas para vericacin. El sistema se especicaba como un sistema de axiomas, y se probaban propiedades a partir de estos axiomas. - Clarke y Emerson (1981) automatizaron este proceso diseando algoritmos de vericacin ecientes para ciertas lgicas temporales. -Luego comenz a estudiarse la complejidad de vericacin de estas lgicas (model-checking, parametrized complexity, etc)

APLICACIONES E IMPORTANCIA DE LA LGICA EN LA INFORMTICA La importancia de la Lgica viene siendo reconocida desde la antigedad, ya los griegos clsicos saban que el razonamiento es un proceso sujeto a ciertos esquemas y que, al menos parcialmente, est gobernado por leyes perfectamente formulables. Pero su importancia en la actualidad se debe, sin duda, al destacado

papel que ha tomado recientemente en los ms diversos campos de la Informtica (anlisis, sntesis y vericacin de programas, programacin lgica, inteligencia articial, control de procesos, robtica, etc.) y todo ello no de forma completamente accidental ya que, como sabemos, la Lgica naci como un intento de mecanizar los procesos intelectivos del razonamiento. Hardware: Los ordenadores usan lgica en su diseo: -Los ordenadores digitales se basan en algebras de boole. -Los que se basan en circuitos integrados VLSI se basan en lgicas de orden superior.

Lenguaje de programacin: -Los lenguajes de programacin son lenguajes formales cuyas formulas bien formadas son los programas. La investigacin de los lenguajes formales afecta a los lenguajes de programacin. -Algunos lenguajes de programacin se basan en algunas tcnicas de lgica como LISP (Calculo Lambda de Church) o Prolog (rteorema de herbrand, resolucin). Sistemas Expertos: -Los clculos lgicos pueden, en determinadas circunstancias, ser programados. -Se tienen probadores de teoremas -Esto da lugar a razonamiento automtico y sistemas expertos. Programas: -Para razona acerca de los programas usamos lenguajes formales.

-En este lenguaje aparecen propiedades tales como correccin, equivalencia, tener fin, etc. Otras aportaciones de la lgica: -Maquinas de Turing -Caracterizacin de computabilidad -Distincin entre sintaxis y semntica -Algunos lenguajes de programacin -Gramticas de Chomsky con influencia en el diseo de compiladores -Lgicas de programas Otras lgicas: Hoy en da se usan muchos tipos de lgicas como lo son: y y Lgica clsica: lgica de proposiciones y lgica de predicados. Lgicas no clsicas:

-Las que compiten con la lgica clsica: lgicas multivaluadas, parcial, libre, intuicionista y lgica difusa. -Las que generalizan: lgicas modales que se especializan en lgica temporal, lgica dinmica y otras.

CONCLUSIONES

En ocasiones las ciencias que estudian el mundo real son insuficientes para controlar y estudiar comportamientos y expresiones tan habituales como las que llevan implcito algn tipo de cuantificador o matiz meramente subjetivo. Para dar respuesta a este tipo de problemas contamos con una herramienta a la que debemos darle la importancia que merece, como es la lgica. Slo queda reflexionar sobre la tica de estos estudios e intentar que el rpido avance tecnolgico no derive en una obsesin por elaborar nuevos aparatos que sustituyan "totalmente" las actividades y necesidades humanas, pues somos, ante todo, personas, y nuestro mundo debera seguir siendo controlado por las relaciones personales, y no por las nuevas tecnologas. Por lo tanto, se puedo concluir que gran parte del actual inters en la lgica se debe a su aplicabilidad en la computacin, y por su importante carcter ms filosfico, que es una reflexin que surge al contemplar el florecimiento de las numerosas lgicas mencionadas, y es si la lgica tiene un carcter puramente formal o parte de presupuestos empricos, como se preguntarn autores como Quine, Putnam o Dummett.

REFERENCIAS BIBLIOGRFICAS

Fuentes de Internet: (Diciembre 2011)/lgica borrosa y robtica// (Documento en lnea), disponible en: http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=L%C3%B3gica_ Borrosa_y_Rob%C3%B3tica Fecha de Consulta: 10 de enero de 2012

Nino Guallart Fors/ Introduccin a la lgica/ (Documento en lnea), disponible en: http://nino-guallart-f.suite101.net/introduccion-a-la-logica-a56464 Fecha de Consulta: 10 de enero de 2012

(09 de Mayo del 2008)/Lgica/ (Documento en lnea), disponible en: http://usuarios.multimania.es/medeis/FILOSOFIA/LOGICA/logica1.htm Fecha de Consulta: 13 de enero de 2012

DAVID ROBERTO CARRANZA RUEDA/(Junio-2008)/ Generalidades de la lgica difusa/ (Documento en lnea), disponible en: http://repositorio.espe.edu.ec/bitstream/21000/791/1/T-ESPE-017763.pdf Fecha de Consulta: 13 de enero de 2012

Jos Fernndez, ngeles Riesco y Francisco Dez/ (2003)/Lgica Computacional/ (Documento en lnea), disponible en: http://www.cs.us.es/cursos/li-2003/li-g-2-3/libro-logica.pdf Fecha de Consulta: 13 de enero de 2012

Nino Guallart Fors/ Una introduccin a la lgica modal/ (Documento en lnea), disponible en: http://nino-guallart-f.suite101.net/una-introduccion-a-la-logica-modal-a56907 Fecha de Consulta: 17 de enero de 2012