SI - 2018/2019 - Simbólica

El conocimiento…. Público es comúnmente aceptado y reconocido. Semipúblico es de marcado carácter heurístico. Privado no es explícito, no está universalmente reconocido, ni es comúnmente aceptado. Todas las anteriores son verdaderas.

Si I es un conjunto de estados iniciales, O es un conjunto de operaciones permitidas y M es un conjunto de metas, tales que la terna [I, O, M] define un espacio de estados determinado, entonces la expresión O: (I->M) es una forma de representar…. La estrategia básica de resolución de problemas. Un proceso regresivo de encadenamiento de operadores. El encadenamiento progresivo de hipótesis. La búsqueda o el proceso de exploración del espacio de estados.

Las funciones heurísticas…. Tienen carácter numérico y si n es el nodo inicial, entonces h(n) = 0. Cuantas más restricciones tengamos en cuenta para su diseño, menos precisa será la heurística. Se consideran admisibles si nunca sobreestiman el coste real de alcanzar la meta. Si una heurística domina a otra (∀ n, h2(n) >= h1(n)), A* usando h2 expandirá más nodos que usando h1.

La búsqueda A*…. Evalúa los nodos combinando las funciones g(n) y h(n), es decir, el coste real del mejor camino para alcanzar el nodo n y el coste estimado del camino menos costoso desde el nodo n a la meta. Basada en grafo es óptima si la heurística es admisible. Se comporta como anchura si g se incrementa en 1, h=0 y los nodos con igual f se ordenan de menos a más reciente. Se comporta como profundidad si g=0, h=0 y los nodos se ordenan de más a menos reciente.

Los procedimientos de búsqueda en profundidad…. Demandan más recursos computacionales (en términos temporales) que el procedimiento en anchura. Demandan más recursos de memoria que el procedimiento en anchura. La versión basada en grafo no es completa en espacios de espacios de estados finitos. Las complejidades espaciales y temporales de la versión basada en grafo están limitadas por el tamaño del espacio de estados.

Los demons…. Proporcionan uniones procedimentales entre frames. Son procedimientos que la mayor parte del tiempo están inactivos. Imprimen carácter estático a la representación del conocimiento con frames. Posibilitan la ejecución de rutinas externas.

Si hablamos de sistemas de producción…. La base de conocimientos está formada por la base de hechos y el motor de inferencias. Los sistemas dirigidos por los datos son más específicos, porque ejecutarán todas las reglas disponibles en función de la información introducida. La memoria activa almacena todos los cambios de estado de nuestro sistema, de forma que representa siempre nuestro estado actual. El motor de inferencias es el responsable de interaccionar con el mundo exterior.

Cuando una regla se activa, ¿de qué depende su ejecución?. De la estrategia de resolución de conflictos. Del contenido de la memoria activa. De la estrategia de exploración del espacio de estados. De ninguna de las anteriores.

El modelo bayesiano. Realiza una asunción de independencia para manifestaciones e interpretaciones. No asume relaciones de causalidad. Las evidencias a favor de una hipótesis no cuentan en la negación de dicha hipótesis. Se utiliza en dominios de naturaleza estadística en los que las soluciones no pueden ser unívocamente obtenidas.

El procedimiento sistemático para la interpretación diferencial en el contexto de un modelo categórico de razonamiento exige la…. Identificación del conjunto de manifestaciones y del conjunto de interpretaciones. Construcción del conjunto completo de complejos de manifestaciones y del conjunto completo de complejos de interpretaciones. Construcción del conjunto completo de complejos manifestación-interpretación. Construcción del a función booleana de interpretaciones.