Please enable JavaScript.
Coggle requires JavaScript to display documents.
INGENIERÍA DEL CONOCIMIENTO - Coggle Diagram
INGENIERÍA DEL CONOCIMIENTO
El proceso de ingeniería del conocimiento
Identificar la tarea
Recopilar el conocimiento relevante
Decidir el vocabulario de los predicados, funciones y constantes
Codificar el conocimiento general acerca del dominio
Codificar una descripción de la instancia de un problema específico
Plantear peticiones al procedimiento de inferencia y obtener respuestas
Depurar la base de conocimiento
El dominio de los circuitos electrónicos
Identificar la tarea
Hay muchas tareas de razonamiento relacionadas con los circuitos digitales. En el nivel más alto, uno analiza la funcionalidad del circuito.
Recopilar el conocimiento relevante
Para nuestros propósitos, los circuitos digitales están compuestos por cables y puertas. La señal circula por los cables a las terminales entrada de las puertas, y cada puerta produce una señal en la terminal salida que circula a través de otro cable. Para determinar cómo serán estas señales, necesitamos saber cómo transforman las puertas su señal de entrada.
Decidir el vocabulario
Ahora sabemos que queremos hablar acerca de circuitos, terminales, señales y puertas.
El siguiente paso es elegir las funciones, predicados y constantes para representarlos. Comenzaremos a partir de las puertas individuales y ascenderemos a los circuitos.
Codificar el conocimiento general del dominio
Un síntoma de que poseemos una buena ontología es que haya pocas reglas generales que
se necesiten especificar. Un síntoma de que tengamos un buen vocabulario es que cada regla se pueda representar de forma clara y precisa.
Codificar la instancia del problema específico
Plantear peticiones al procedimiento de inferencia
Las respuestas serían las sustituciones de las variables i1, i2, e i3 de tal modo que la
sentencia resultante esté implicada de la base de conocimiento. Hay tres posibles sustituciones:
Depurar la base de conocimiento
Podemos perturbar la base de conocimiento de muchas maneras para averiguar qué tipos de comportamientos erróneos emergen. Por ejemplo, suponga que omitimos la aserción acerca de que 1 013. De repente, el sistema será incapaz de demostrar las salidas
del circuito, excepto en los casos en los que las entradas sean 000 y 110.
