Cuadro comparativos que guarda relación con el los mecanismos de representación del conocimiento en Inteligencia Artificia

1. Esquema de Marcos Reglas de Producción o Inferencia Lógica Proposicional Lógica de Predicados
Definición
Son una estructura de datos compleja que
representa una situación estereotipada, en la que
se organiza el conocimiento como una colección
de características comunes al concepto, objeto
situación o sujeto.
Permiten la representación del
conocimiento fragmentado en dos partes:
- La primera parte especifica las
condiciones de aplicabilidad del
conocimiento contenido en la regla. Es el
antecedente premisa, condición o
situación.
- La segunda parte especifica las acciones
a ejecutar cuando la regla es aplicada. Es
el consecuente, conclusión, acción o
respuesta.
Permite el razonamiento , a través de un
mecanismo que
primero evalúa sentencias simples y
luego sentencias
complejas, formadas mediante el uso de
conectivos preposicionales.
Permite la representación de hechos
del mundo real como.
sentencias escritas en forma de
formulas bien formadas
(fbf).
Características
 Precisión
 Activación dinámica de procesos
 Herencia por defecto no - monotónica
 Modularidad
 Describe el problema y algún tipo de
conocimiento sobre su solución
 Con las reglas se tiene una serie de
lineamientos que dicen lo que se puede
hacer o lo que se puede concluir en
diferentes situaciones
 Se rige por tablas de verdad y
equivalencias (leyes Equipotenciales,
Leyes Conmutativas, Asociativas,
Absortivas y De Morgan)
 Permite la asignación de un valor
verdadero o falso para la sentencia
completa
 No tiene facilidad para analizar
palabras individuales que compone la
sentencia
 Expresan relaciones o acciones
entre objetos, axial como también
cualidades y atributos de tales
objetos.
 Los predicados tienen un valor de
veracidad, pero su valor de
veracidad depende de sus términos
Ventajas
Facilidad de proceso guiado por las
expectativas.
El conocimiento que posee un sistema basado en
plantillas es significativamente más estructurado
y organizado que el conocimiento dentro de una
red asociativa.
Las plantillas pueden ser estructuradas de tal
forma que sean capaces de determinar su propia
aplicabilidad en determinadas situaciones.
Se pueden fácilmente almacenar en las ranuras
valores dinámicos de variables, durante la
ejecución de un sistema basado en conocimiento.
Permiten representar el conocimiento en
forma adecuada para las computadoras
Modularizan pedazos de conocimiento
Permiten el desarrollo incremental
Las decisiones son entendibles y
explicables
Abren nuevas posibilidades
computacionales (paralelismo)
Representación homogénea de
conocimiento ´
Permiten interacciones no planeadas y
útiles
Es simple.
No tiene problemas de decibilidad (es
decir, tenemos mecanismos para
responder siempre a la pregunta de si
una afirmación es cierta o falsa).
 Razonamiento Monotónico La
lógica de predicados al ser
formalizada de razonamiento
monótono, no resulta muy adecuada
para ciertos dominios del mundo
real, en los cuales las verdaderas
pueden cambiar con el paso del
tiempo.
 Programación Declarativa La
lógica de predicados, tal como esta
diseñada en PROLOG, es un
lenguaje programación declarativo,
en donde el programador solo
necesita ocuparse del conocimiento
expresado en términos de operados
de implicación y los axiomas.
Desventajas
 Dificultad de representar objetos que se alejen
considerablemente de estereotipos.
 No tiene la posibilidad de acomodarse a
situaciones u objetos nuevos.
No hay fundamento para decidir que
problemas tiene solución
Problemas de verificación / consistencia
/ completes de conocimiento
Escalamiento sin perder entendimiento /
eficiencia
Permiten interacciones no planeadas y
no deseadas
No saben cuando romper sus propias
reglas
No tienen acceso al razonamiento que
hay detrás de las reglas
Tiene una capacidad de representación
limitada.
Algunas afirmaciones simples pueden
requerir representaciones muy largas y
enrevesadas.
 Manejo de Incertidumbre: Una de
las mayores desventajas de la
lógica de predicados es que sólo
dispone de dos niveles de
veracidad, verdadero y falso.
 Genera problemas
computacionalmente difíciles.
 La inferencia se vuelve indecidible
(es decir, en general no podemos
asegurar que haya un método
automatizable para inferir si una
afirmación es cierta o no).