Silogismo:

Razonamiento categrico
Todos los humanos son mortales
Los madrileos son humanos
Luego los madrileos son mortales
Razonamiento hipottico
Si apruebas irs de vacaciones
Es as que has aprobado
Luego irs de vacaciones
Razonamiento disyuntivo
Por este camino se va al norte o al sur
Es as que se va al norte
Luego no se va al sur
Los silogismos son argumentos estructurados
compuestos por dos premisas y una conclusin
Si la conclusin se encuentra fundamentada o
sustentada por las premisas, el silogismo es
considerado como vlido.
Toda proposicin categrica es un enunciado
acerca de los miembros de dos clases, y de
relacin entre ellos.

LF primer orden
Uno de los lenguajes formales ms potentes para
la representacin del conocimiento en teora de la
computacin es el lenguaje formal de la Lgica de
primer orden que carece de imprecisiones y posee
una forma clara de representacin basada en la

forma y no en el contenido. Formaliza hechos o

proposiciones acerca del mundo obteniendo
frmulas lgicas. Para ello, considera dos niveles
de abstraccin, que dan lugar al lenguaje
proposicional y al predicativo.
El motor de inferencia es el corazon de todo
sistema experto. El cometido principal de esta
componente es el de sacar conclusiones aplicando
el conocimiento a los datos. Por ejemplo, en diagn
ostico medico, los sntomas de un paciente
(datos) son analizados a la luz de los sntomas y
las enfermedades y de sus relaciones
(conocimiento).
Regla. Una regla es una afirmacion logica que
relaciona dos o mas objetos e incluye dos partes,
la premisa y la conclusion. Cada una de estas
partes consiste en una expresion logica con una o
mas afirmaciones objeto-valor conectadas
mediante los operadores logicos y, o, o no.
Cajero Automatico. Como ejemplo de problema
determinista que puede ser formulado usando un
conjunto de reglas, considerese una situacion en
la que un usuario (por ejemplo, un cliente) desea
sacar dinero de su cuenta corriente mediante un
cajero automatico (CA). En cuanto el usuario
introduce la tarjeta en el CA, la maquina la lee y la
verifica. Si la tarjeta no es verificada con exito (por
ejemplo, porque no es legible), el CA devuelve la
tarjeta al usuario con el mensaje de error
correspondiente.
En otro caso, el CA pide al usuario su numero de
identificacion personal (NIP). Si el numero fuese
incorrecto, se dan tres oportunidades de corregirlo.
Si el NIP es correcto, el CA pregunta al usuario cu
anto dinero desea sacar. Para que el pago se
autorice, la cantidad solicitada no debe exceder de
una cierta cantidad lmite diaria, ademas de haber
suficiente dinero en su cuenta.

Ejemplo de encadenamiento de reglas 6R y 13H

Ejemplos de prolog
padece(pedro,gripe).
padece(pedro,hepatitis).
padece(maria,gripe).
padece(juan,hepatitis).
padece(carlos,intoxicacion).
sintoma(gripe,fiebre).
sintoma(gripe,cansancio).
sintoma(hepatitis,cansancio).
sintoma(intoxicacion,diarrea).
suprime(aspirina,fiebre).
suprime(lomotil,diarrea).
tiene(pedro,X):-padece(pedro,X).
tiene(maria,X):-padece(maria,X).
tieneGripe(X):-padece(X,gripe).
padeceDiarrea(X):-padece(X,intoxicacion).
estaCansado(X):padece(X,gripe);padece(X,hepatitis).
alivia(W,pedro):padece(pedro,X),sintoma(X,Y),suprime(W,Y).
compartenSintoma(X):padece(juan,Y),padece(maria,Z),sintoma(Y,X),sinto
ma(Z,X).
sintomas(pedro,X):-padece(pedro,Y),sintoma(Y,X).