Lgica, Lgica incierta o difusa, Sistemas probabilsticos

Virtualmente todos los lenguajes de representacin del conocimiento se basan, de cierta manera, en lgica formal (lgica proposicional, lgica del predicado, lgica temporal.

Lgica
Una lgica es un sistema formal para describir lo que esta sucediendo en un momento determinado y que consta de: Sintaxis : Reglas que explican cmo construir oraciones o sentencias legales Semntica : Cmo las oraciones representan hechos en el mundo.

Semntica
La semntica estudia el significado de los signos lingsticos, esto es, palabras, expresiones y oraciones. Qu signos existen y cules son los que poseen significacin esto es, qu significan para los hablantes, cmo los designan (es decir, de qu forma se refieren a ideas y cosas), y por ltimo, cmo los interpretan los oyentes. Teora : Reglas para inferir oraciones desde otras oraciones. Si la semntica y la sintaxis estn definidas de manera precisa, se dice que el lenguaje es una lgica.

Semntica
En lgica, el significado de una oracin es aquello que se afirma del mundo, que el mundo sea de una forma. Una vez que mediante la semntica se interpreta una oracin, sta puede ser cierta o falsa. Una oracin es cierta dentro de una interpretacin determinada si el estado de asuntos que representa es cierta. El significado de una oracin depende tanto de la oracin como del contexto en que se produce.

Lgica Proposicional
La lgica proposicional es una rama de la lgica clsica que estudia las proposiciones o sentencias lgicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad. La lgica proposicional se preocupa por la manera de representar las cosas. Proposicin: se define una proposicin como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediante variables proposicionales simbolizadas mediante letras.

Sintaxis de la lgica de Proposicional

Los patrones o expresiones de la lgica proposicional se construyen a partir de un alfabeto que consta de los siguientes smbolos:

 Todas las oraciones se forman combinando los smbolos anteriores mediante ciertas reglas. Las constantes lgicas Verdadero y Falso constituyen oraciones en s mismas. Las variables proposicionales P, Q, R, son oraciones Encerrar entre parntesis una oracin produce tambin una oracin, por ejemplo (P Q).

Tablas de verdad
Se emplean en la lgica para determinar los posibles valores de verdad de una expresin o proposicin. O si un esquema de inferencia, como argumento, es formalmente vlido mostrando que, efectivamente, es una tautologa. La tabla de verdad de una sentencia es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituyen la sentencia y el valor de verdad de la sentencia para cada interpretacin. Dado que en el clculo proposicional se opera slo sobre dos valores de verdad, para cualquier expresin existe un nmero finito de valuaciones posibles que se pueden tabular.

Lgica Difusa
La lgica difusa (tambin llamada lgica borrosa o lgica heurstica) se basa en lo relativo de lo observado como posicin diferencial. Este tipo de lgica toma dos valores aleatorios, pero contextualizados y referidos entre s. As, por ejemplo, una persona que mida 2 metros es claramente una persona alta, si previamente se ha tomado el valor de persona baja y se ha establecido en 1 metro. Ambos valores estn contextualizados a personas y referidos a una medida mtrica lineal.

 La lgica difusa ("fuzzy logic" en ingls) se adapta mejor al mundo real en el que vivimos, 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", etc. La clave de esta adaptacin al lenguaje, se basa en comprender los cuantificadores de nuestro lenguaje (en los ejemplos de arriba "mucho", "muy" y "un poco").

En la teora de conjuntos difusos se definen tambin las operaciones de unin, interseccin, diferencia, negacin o complemento, y otras operaciones sobre conjuntos (ver tambin subconjunto difuso), en los que se basa esta lgica. Para cada conjunto difuso, existe asociada una funcin de pertenencia para sus elementos, que indican en qu medida el elemento forma parte de ese conjunto difuso. Las formas de las funciones de pertenencia ms tpicas son trapezoidal, lineal y curva.

Un esquema de funcionamiento tpico para un sistema difuso podra ser de la siguiente manera:

Lgica Difusa Compensatoria LDC

La LDC es un modelo lgico multivalente que permite la modelacin simultnea de los procesos deductivos y de toma de decisiones. El uso de la LDC en los modelos matemticos permite utilizar conceptos relativos a la realidad siguiendo patrones de comportamiento similares al pensamiento humano. Las caractersticas ms importantes de estos modelos son: La flexibilidad, la tolerancia con la imprecisin, la capacidad para moldear problemas no-lineales y su fundamento en el lenguaje de sentido comn.

La lgica difusa en la I.A.

En Inteligencia artificial, la lgica difusa, o lgica borrosa se utiliza para la resolucin de una variedad de problemas, principalmente los relacionados con control de procesos industriales complejos y sistemas de decisin en general, la resolucin y la compresin de datos. Los sistemas de lgica difusa estn tambin muy extendidos en la tecnologa cotidiana, por ejemplo en cmaras digitales, sistemas de aire acondicionado, lavarropas, etc. Los sistemas basados en lgica difusa imitan la forma en que toman decisiones los humanos, con la ventaja de ser mucho ms rpidos.

Aplicaciones Generales
La lgica difusa se utiliza cuando la complejidad del proceso en cuestin es muy alta y no existen modelos matemticos precisos, para procesos altamente no lineales y cuando se envuelven definiciones y conocimiento no estrictamente definido (impreciso o subjetivo). A continuacin se citan algunos ejemplos de su aplicacin

Sistemas de control de acondicionadores de aire Sistemas de foco automtico en cmaras fotogrficas Electrodomsticos familiares (frigorficos, lavadoras...) Optimizacin de sistemas de control industriales Sistemas de escritura Mejora en la eficiencia del uso de combustible en motores Sistemas expertos del conocimiento (simular el comportamiento de un experto humano) Tecnologa informtica Bases de datos difusas: Almacenar y consultar informacin imprecisa. Para este punto, por ejemplo, existe el lenguaje FSQL.

Sistemas probabilsticos
Sistema probabilstico es aquel para el cual no se puede facilitar una previsin detallada. Estudiando intensamente, se puede prever probabilsticamente lo cual suceder en determinadas circunstancias. No es predeterminado. La previsin se encuadra en las limitaciones lgicas de la probabilidad.
Por ejemplo, el comportamiento de un perro cuando se le ofrece un hueso; puede aproximarse, no interesarle o retirarse.

Semntica de las redes de creencia

 Representacin de la distribucin de probabilidad conjunta: Esta es til para saber como construir las redes ya que permite obtener una descripcin completa del dominio. Es posible calcular cada una de las entradas de la distribucin de probabilidad conjunta desde la informacin de la red. Las entradas se representan mediante el producto de los respectivos elementos de las tablas de probabilidad condicional

 Mtodo de construccin redes de creencia: no deben haber valores de probabilidad redundante.

Elegir un conjunto de variables X que sirvan para describir el dominio Definir la manera como se van a ordenar las variables. Siempre que existan variables:
Por cada variable X aadir un nodo Asignar Padre (X) a un conjunto mnimo de nodos que est presente en la red para satisfacer la propiedad de independencia condicional. Elaborar la tabla de probabilidad condicional correspondiente

Clasificacin de los sistemas

Sistemas naturales: Son los existentes en el ambiente. Sistemas artificiales: Son los creados por el hombre. Sistemas sociales: Integrados por personas cuyo objetivo tiene un fin comn. Sistemas hombre-mquina: Emplean equipo u otra clase de objetivos, que a veces se quiere lograr la autosuficiencia. Sistemas temporales: Duran cierto periodo de tiempo y posteriormente desaparecen.

Sistemas permanentes: Duran mucho ms que las operaciones que en ellos realiza el ser humano, es decir, el factor tiempo es ms constante.

 Sistemas estables: Sus propiedades y operaciones no varan o lo hacen solo en ciclos repetitivos. Sistemas no estables: No siempre es constante y cambia o se ajusta al tiempo y a los recursos. Sistemas adaptativos: Reacciona con su ambiente mejora su funcionamiento, logro y supervivencia. Sistemas no adaptativos: tienen problemas con su integracin, de tal modo que pueden ser eliminados o bien fracasar. Sistemas determinativos: Interactan en forma predecible. Sistemas probabilsticos: Presentan incertidumbre. Subsistemas: Sistemas ms pequeos incorporados al sistema original. Supersistemas: sistemas extremadamente grandes y complejos, que pueden referirse a una parte del sistema original.

Elementos Sistemtico
El sistema se constituye por una serie de parmetros, los cuales son:

GRACIAS POR SU ATENCION