Zusammenfassung der Ressource
SISTEMAS INTELIGENTES
- REPRESENTACIÓN DEL CONOCIMIENTO
- FORMAL
- LÓGICA PROPOSICIONAL
- Evalúa sentencias simples y luego sentencias complejas
formadas mediante conectivos proposicionales.
- CONJUNCIÓN
- AND (^)
- DISYUNCIÓN
- OR (v)
- NEGACIÓN
- NOT ~
- IMPLICACIÓN
- IF - THEN (=>)
- EQUIVALENCIA
- IGUAL (=)
- LÓGICA DE PREDICADOS
- Basada en sentencias que realmente expresan relaciones entre
objetos, así como cualidades y atributos de tales objetos.
- UNIFICACIÓN
- Proceso de computar las sustituciones apropiadas que
permitan determinar si dos expresiones lógicas coinciden,
- INFERENCIA Y RAZONAMIENTO
- Inferir es llegar a una conclusión.
- MODUS PONENS
- (p=>q) es verdadera y q es falsa, p es falsa.
- MODUS TOLOENS
- p y (p=>q) son verdaderas, q es verdadera.
- Razonar es establecer inferencias a partir de hechos conocidos o asumidos.
- DEDUCCIÓN
- De lo general a lo específico.
- ∀ A, ∀ B, ∀ C, [mayor (A, B) ^ mayor (B, C) = > mayor (A, C)]
- ABDUCCIÓN
- Encuentra una explicación para la conclusión.
- X es un elefante => X es un animal
- INDUCCIÓN
- Razonamiento a partir de hechos particulares, para llegar a una conclusión general.
- Si se conoce que P(a), P(b), ......, P(n) son verdaderos, entonces
se puede concluir que ∀ X, P(X) es también verdadero
- REGLAS DE PRODUCCIÓN
- Representan el conocimiento utilizando un formato SI - ENTONCES
- INFERENCIA BASADA EN REGLAS
- Utiliza el modus ponens para manipular las afirmaciones
y las reglas durante el proceso de inferencia.
- PROCESO DE RAZONAMIENTO
- Progresión desde un conjunto inicial de afirmaciones
y reglas hacia una solución, respuesta o conclusión.
- ENCADENAMIENTO PROGRESIVO
- Empieza a partir de un conjunto de datos colectados a
través de observación y se evoluciona hacia una conclusión.
- ENCADENAMIENTO REGRESIVO
- Empieza con la conclusión deseada y decide si los hechos que existen
pueden dar lugar a la obtención de un valor para esta conclusión.
- FORMAS ESTRUCTURADAS
- REPRESENTACIÓN MEDIANTE OBJETOS
- Agrupa conocimiento asociado, soporta herencia, abstracción y el concepto de procedimientos agregados.
- Ventajas
- Poder de abstracción.
- Encapsulamiento.
- Herencia.
- Polimorfismo
- Reutilización de código.
- Facilidad para poder trabajar eficientemente con sistemas grandes.
- Desventajas
- Dificultades para manejar objetos que se alejan demasiado de la norma.
- Dificultades para manejar situaciones que han sido encontradas previamente.
- REPRESENTACIÓN MEDIANTE PLANTILLAS
- Organizan el conocimiento en objetos y eventos que resultan apropiados para situaciones específicas.
- Ventajas
- Facilidad de proceso guiado por las expectativas.
- Más estructurado y organizado.
- Capaz de determinar su propia aplicabilidad.
- Se almacenan fácilmente valores dinámicos en la ranura.
- Desventajas
- Dificultad de representar objetos que se alejen considerablemente de estereotipos.
- No tiene la posibilidad de acomodarse a situaciones u objetos nuevos.
- Dificultad para describir conocimiento heurístico.
- REDES ASOCIATIVAS
- Representan el conocimiento en forma gráfica.
- Ventajas
- Permiten la declaración de importante asociaciones.
- El tiempo del proceso de búsqueda es reducido.
- Desventajas
- No existe una interpretación normalizada.
- Pueden darse inferencias inválidas.
- Puede darse una explosión combinatoria para comprobar una relación.