Lgica temporal

Definicin:
La lgica temporal se define como la formalizacin de enunciados que
incluyan precisiones acerca del tiempo en que tienen lugar. En la lgica
clsica los enunciados esta lloviendo y llover se formalizan o bien
como proposiciones completamente diferentes o como la misma
proposicin; la lgica temporal permite formalizarlas como una misma
accin en dos momentos diferentes de tiempo; es decir, permite
discriminar si un hecho tiene lugar en el presente, en el pasado o el tiempo
futuro. Para lograr este objetivo es necesario introducir a un nivel
sintctico, nuevos operadores referidos a los momentos de tiempo.
Caractersticas
La principal caracterstica, aunque parezca de cajn, es que incluye
consideraciones sobre el tiempo.
Se basa en lgica no-montona (no-determinista), dada una
determinada sentencia, su valor de verdad cambia segn las
circunstancias. En este caso, las circunstancias que se tienen en
cuenta son nicamente el tiempo. Una sentencia puede ser verdad
en un momento dado y, al instante siguiente, dejar de serlo; tambin
puede suceder a la inversa.
Un estado es una instantnea del universo y, adems, implica un
instante determinado.
El tiempo se puede ordenar, por tanto, existe una relacin de orden
entre instantes de tiempo.
Preposiciones:
La lgica temporal es el habitual de la lgica clsica de proposiciones, con
sus smbolos y sus reglas de formacin de frmulas bien formadas. A esto
se aade cuatro operadores monarios (G, H, F y P). G y H se interpretan
como, respectivamente, ser siempre en el futuro que y ha sido siempre
en el pasado que, F como ser alguna vez en el futuro que y P fue
alguna vez en el pasado que.
Las reglas de deduccin en todos los sistemas son Modus Ponens y
Generalizacin de L (cuando aparezca) de H y de G: si _, entonces _L,
_H y _G.
Ax0. Todas las tautologas de la lgica clsica de proposiciones
Ax1. G (AB) (GAGB)
Ax2. H (AB) (HAHB)
Ax3. AHFA
Ax4. AGPA
Ax5. FFAFA (transitividad)
Ax6. PPAPA (transitividad)
Ax7. PFA (PAAFA) (linealidad hacia delante)
Ax8. FPA (PAAFA) (linealidad hacia atrs)
Ax9. GAFA (futuro infinito)
Ax10. HAPA (pasado infinito)
Ax11. FAFFA (densidad)
Los axiomas 0, 1, 2, 3 y 4 constituyen un sistema mnimo. Este se
denomina Kt y fue desarrollado por Lemmon en 1965. Aadiendo al
sistema mnimo los axiomas 5 y 6 se obtienen modelos transitivos. Si,
adems, se le aaden los axiomas 7 y 8 se obtiene un sistema para el
tiempo lineal. A cualquiera de estos sistemas aadindoles los axiomas 9 y
10 se obtiene un sistema de tiempo infinito, y con el axioma 11 un sistema
para el tiempo denso.
Reglas:
- Reglas para poner signos
- Se pone un signo + encima de cada G que tiene un 1 y encima de cada F
que tiene un 0. Se pone un signo + debajo de cada G que tiene un 0 y de
cada F que tiene un 1.
- Se pone un signo - encima de cada H que tiene un 1 y encima de cada P
que tiene un 0. Se pone un signo - debajo de cada H que tiene un 0 y de
cada P que tiene un 1.
- Reglas para crear un nuevo momento
- Si en un momento aparece una frmula GA con un signo + debajo,
entonces hay que crear un momento posterior a ese donde A reciba el
valor 0. Si aparece FA con un signo + debajo, hay que crear un momento
posterior donde A reciba el valor 1.
- Si en un momento aparece una frmula HA con un signo - debajo,
entonces hay que crear un momento anterior a ese donde A reciba el valor
0. Si aparece PA con un signo - debajo, hay que crear un momento
anterior donde A reciba el valor 1.
- Reglas para llevar a otros momentos12
- Si en un momento aparece la frmula GA con un signo + encima,
entonces hay que asignarle el valor 1 a A en todos los momentos
posteriores. Si FA tiene un signo + encima, se asigna 0 a A en todos los
posteriores.
- Si en un momento aparece la frmula HA con un signo - encima,
entonces hay que asignarle el valor 1 a A en todos los momentos
anteriores. Si PA tiene un signo - encima, se asigna 0 a A en todos los
anteriores.
Conclusin:
La lgica temporal permite formalizar una accin en momentos diferentes.
Introduce las operaciones modales. No hay una sola lgica temporal sino
que existen muchas, dependiendo de la concepcin del tiempo que se tenga
o que se desee utilizar.
Aplicaciones
Son numerosas las aplicaciones de la lgica temporal en el campo de la
informtica31 Algunas de las ms destacadas se refieren a la programacin
lgica temporal (TEMPLOG y Chronolog, por ejemplo), en el sentido en
que PROLOG es programacin lgica.
Tambin hay lgicas temporales computacionales (CTL, CTL*, OCL),
lgicas imperativas (METATEM) y lenguajes de consultas temporales. Se
pueden estudiar las relaciones de las lgicas temporales con las lgicas de
la computacin. Las lgicas CTL y CTL* seran las contrapartidas en
lgicas arbreas de la computacin de las lgicas del tiempo
indeterminista que hemos expuesto aqu, incluyendo los operadores de
intervalo y referidas slo al futuro. En estas lgicas, en lugar de evaluar
sobre momentos en historias se evala sobre estados en computaciones.
Estas lgicas han sido tambin ampliadas para aadir los operadores de
pasado.
Lgica multivaluada
Definicin:
La lgica multivaluada como consiste en tomar mas un termino que la
lgica proposicional en muchas ramas de las matemticas de la filosofa y
de la informtica formalizamos enunciados relacionados a diferentes tipos
de objetos. Por consiguiente tantos de los lenguajes lgicos utilizados,
como las estructuras matemticas que lo interpretan son multivariados o
heterogneos, esto es el conjunto de las variables del lenguaje toma
valores sobre diversos dominios.
Caractersticas:
La lgica multivaluada tiene una compleja resolucin dado que varios
matemticos dieron sus ideas para resolver los enunciados
Posee una gran complejidad en lo que se refiere a soluciones dado por
varios matemticos como Lukasiewicz, Brouwer, etc.
Proposiciones: /*Valores semnticos, valores destacados
Interpretacin: Una funcin que asocia un signicado (valor semntico) a
cada fbf
Modelo para A: Una interpretacin que asigna a A un valor destacado
Frmula vlida: aqulla para la que toda interpretacin es un modelo
Inferencia: De un conjunto S se inere A si todo modelo de S tambin lo
es de A.*/
En esta clase de lgica las proposiciones vendran a ser tres en este caso
lgica ternaria por lo cual se tendra que analizar para falso desconocido y
verdadero

Reglas:
La nica regla que hay es la de Modus Ponens.

Aplicaciones:
1. Tipos abstractos de datos.
2. Semnticas y lgicas de verificacin de programas
3. Definicin de lenguajes de programacin
4. Algebra para distintas lgicas
5. Base de datos
6. Lgica dinmica
7. Semntica de lenguajes naturales
8. Solucin de problemas computarizada
9. Representacin del conocimiento
10. Programacin lgica y deduccin automtica
Lgica difusa
Definicin:
Es la lgica que utiliza expresiones que no son completamente ciertas ni
completamente falsas, es decir, la lgica que pueden tomar un valor
cualquiera de veracidad de un conjunto de valores que oscilan entre dos
extremos, la verdad absoluta y la falsedad total. Conviene recalcar que lo
que es difuso o borroso no es la lgica en si, sino el objeto que se estudia:
expresa la falta de definicin del concepto al que se aplica. La lgica difusa
permite tratar informacin imprecisa como estatura, temperatura, etc. De
esta manera los sistemas de control basados en lgica difusa combinan
variables de entrada, definidas en trminos de conjuntos difusos, por
medio de grupos de reglas que producen uno o varios valores de salida.
Caractersticas:
Este tipo de lgica depende de una funcin que toma valores entre 0 y 1,
con continuidad.
Las funciones que se tomen para resolver los problemas varan entre a lo
que se quiera hallar o al punto de vista del usuario y esto lo hace
manejable.
Proposiciones:
Una FM triangular se especifica mediante tres parmetros { a, b, c}


Una FM trapezoidal se especifica mediante cuatro parmetros {a, b,
c, d}

Una FM gausiana se especifica con dos parmetros {c,}; c
representa el centro de la FM y determina su anchura.









Aplicaciones:
Sistemas de control de acondicionadores de aire
Sistemas de foco en cmaras fotogrficas
Electrodomsticos familiares (lavadoras, microondas)
Optimizacin de sistemas de control industriales
Tecnologa informtica
Y en su gran mayora sistemas de control que no dependen de un si o no.