Documente Academic
Documente Profesional
Documente Cultură
Mxico
Campus Pachuca
El Hombre Alimenta el Ingenio
en Contacto con la Ciencia.
Inteligencia Artificial
Materia
CONOCIMIENTO DECLARATIVO
Definicin SBC
CARACTERSTICAS
* Lgica preposicional
* Lgica de predicados.
* Reglas de produccin.
Lgica proposicional
Lgica de predicados
Ejemplo:
Los predicados tambin pueden ser utilizados para asignar una cualidad
abstracta a sus trminos, o para representar acciones o relaciones de
accin entre dos objetos.
Por ejemplo:
Reglas de produccin
Las reglas representan el conocimiento utilizando un formato SI-
ENTONCES (IF-THEN), es decir tienen 2 partes:
* Bsqueda inteligente
* Saber elegir entre las diferentes reglas que se pueden aplicar
* Emparejamiento entre el estado actual y las precondiciones de las
reglas
Clases de emparejamiento
Resolucin de conflictos
CONOCIMIENTO DE CONTROL
Con el mismo caso del maestro que llega tarde durante los primeros das
y conclumos que el lunes siguiente tambin llegar tarde. O del amigo
que varias veces nos ha mentido y conclumos que lo que nos dice es
ese momento es mentira.
ABDUCTIVA
Si A, entonces B
A
Por lo tanto, B
Esto nos permite formular una regla combinada de las ambas anteriores,
consecuencia ambas de una misma propiedad de la implicacin; la
regla ponendoponens slo nos permite afirmar si est afirmado el
antecedente (el primer trmino de la implicacin), y la
regla tollendotollensslo nos permite negar a partir del consecuente
(segundo trmino de la implicacin); ambas consecuencias se derivan
de que la implicacin es una flecha que apunta en un nico sentido, lo
que hace que slo se pueda afirmar a partir del antecedente y negar
slo a partir del consecuente.
Adjuncin y simplificacin
p Juan es cocinero
q Pedro es polica
__________________________________
p q Juan es cocinero y Pedro es polica
a He comprado manzanas
____________________________________________
a V b He comprado manzanas o he comprado peras
Ley conmutativa
Esta ley, no es vlida para la implicacin, pero s para conjuncin y para
la disyuncin. Una conjuncin es afirmar que se dan dos cosas a la vez,
de modo que el orden de sus elementos no cambia este hecho.
Igualmente, una disyuncin es presentar una eleccin entre dos cosas,
sin importar en qu orden se presente esta eleccin. As pues,
p q q p p y q equivale a q y p
p V q q V p p q equivale a q p
pq pVq
________ ________
(p V q) (p q)
REGLAS DE PRODUCCIN.
Es un mtodo procedimental de representacin del conocimiento, pone
nfasis en representar y soportar las relaciones inferenciales del
algoritmo, en contraposicin a los mtodos declarativos (hechos).
SI <antecedentes>
ENTONCES <consecuentes>
Los antecedentes son las condiciones y los consecuentes las
conclusiones, acciones o hiptesis.
SI <condiciones>
ENTONCES <conclusiones, acciones, hiptesis>
Formato tpico:
<parmetro/relacin/valor>
Reglas especiales
EJEMPLO
TIPOS DE SISTEMAS
En funcin de sintaxis de reglas y de mecanismos de control
(_bsqueda)
Sistema encadenamiento hacia adelante (dirigidos por los datos)
Regla ACTIVADA si antecedentes emparejan con algunos hechos
del sistema
En IF ALL, todos. En IF ANY, al menos uno.
Se parte de los hechos ya confirmados en el sistema
Se razona hacia adelante buscando antecedentes que emparejen
Sistema encadenamiento hacia atrs (dirigido por los objetivos)
Regla ACTIVADA si consecuentes emparejan con algunos hechos
del sistema
Se comienza con una hiptesis
Se razona hacia atrs buscando consecuentes que emparejen
Motor de inferencias elige que reglas ACTIVADAS ejecutar
(resolucin de conflictos)
CARACTERSTICAS
Modularidad: reglas = pequeas cantidades de conocimiento
(relativamente) independiente.
Incrementalidad/Modificabilidad: posible aadir/cambiar reglas con
relativa independencia
Naturalidad y Transparencia: representacin del conocimiento
prxima y comprensible por personas
Capacidad de generar explicaciones
GENERACIN de EXPLICACIONES
Posibilidad de \explicar" el porqu de un resultado
Devolver a usuario la cadena de reglas empleadas
Combinar reglas y hechos del rbol de bsqueda segn las
conectivas Incrementan la \aceptacin" del resultado ofrecido
(dominios crticos)
3.5 Semntica de las reglas de
produccin
SI Premisa
ENTONCES Consecuencia
CONOCIMIENTO CAUSAL
Relacin que vincula dos ideas a travs de una conexin supuestamente
necesaria. Es uno de los tres principios de asociacin.
CONOCIMIENTO DE DIAGNSTICO
El problema del diagnstico ha sido, desde los comienzos de la IA, uno
de los ms estudiados y donde los investigadores han cosechado tanto
satisfacciones como fracasos.