SISTEMAS INTELIGENTES

SISTEMAS INTELIGENTES

1. 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.