Lgica

Podemos distinguir dos tipos dentro de lo que se llama lgica clsica

(aquella que la conclusin, si es verdadera lo es con certeza, es decir, sin
ningn grado de probabilidad, mientras que hay otros tipos de lgicas no
clsicas, como puede ser la lgica difusa -o Fuzzy Logic en el que una
conclusin slo es verdadera con un cierto grado de certeza)

Lgica propositiva o lgica de enunciados cuando los signos que

manejamos son proposiciones completas
Ejemplo 1:
Premisa1:
Todos los libros sobre ordenadores son terriblemente aburridos
Premisa2:
ste es un libro sobre ordenadores
Conclusin:
Este libro es terriblemente aburrido
Ejemplo 2
Premisa1:
Todos los libros sobre ordenadores son terriblemente aburridos
Premisa2:
Este libro no es terriblemente aburrido
Conclusin:
Este no es un libro sobre ordenadores

Lgica de predicados de primer orden, en el que manejamos

objetos y predicados sobre objetos, as como propiedades (hermano de,
padre de), cuantificadores (algunos, todos, ningn) y conectores
Todos los estudiantes de informtica son listos
Se puede formalizar empleando predicados donde:
I(x) = estudia informtica
L(x)= x es listo
Entonces

x I ( x ) L (x )

Cuantificador

tomo

Trminos

Lgica de predicados de orden superior en el que podemos hacer

inferencias sobre la lgica, es decir, tener un conocimiento que
podramos llamar metalgico.

Lgicas multivaluadas, en las que tratamos con varios valores de

verdad, como por ejemplo las trivaluadas de Kleen y de Lukasiewicz
donde se introduce el valor 1/2 para las proposiciones cuyo valor de
verdad es indeterminado (por ejemplo, las proposiciones futuras). Por lo
que respecta a la informtica es ampliamente usada, sirvan los ejemplos
siguientes:

1. Tipos abstractos de datos

2. Semnticas y lgicas de verificacin de programas
3. Definicin de lenguajes de programacin
4. lgebras para distintas lgicas
5. Bases 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
stas sern las herramientas de que dispondremos para representar el
conocimiento. As que vamos a ver cmo construir una base de
conocimientos en base al lenguaje utilizado para representar los
conceptos. En principio elegiremos la lgica de predicados como un buen
lenguaje para hacerlo.
https://www.nebrija.es/~cmalagon/ia/transparencias/representacion_del_
conocimiento_prolog.pdf
http://wainu.ii.uned.es/grados/primero/LED/apuntes/logica-de-predicadosuniovi
http://logicamultivaluada.blogspot.pe/