Los Sistemas Basados en el conocimiento son sistemas avanzados de representación y resolución de problemas complejos
El conocimiento suele entenderse como:Hechos o información adquiridos por un ser vivo a través de la experiencia o la educación, la comprensión teórica o práctica de un asunto de referente a la realidad.Lenguajes utilizados en la representación de conocimiento.En el caso de los sistemas basados en conocimiento, el lenguaje en el que se expresa la ontología (teoría del ser, es decir, el estudio de todo lo que es: qué es, cómo es y cómo es posible) debe reunir características que a veces (dependiendo del dominio) no es fácil compatibilizar
3
Los mapas conceptuales son un medio para la representación de proposiciones a través de conceptos formados mediante palabras de enlace que forman relaciones jerárquicas.
Los mapas conceptuales pueden ser utilizados en diferentes etapas del proceso de enseñanza y aprendizaje: Fomentar el metaconocimiento del estudiante. Son útiles para que el estudiante reaccione en torno a los conocimientos adquiridos así como su punto de partida ante la generación de nuevos conocimientos. Extracción de conceptos relevantes. Ayudan al que aprende ya que permite hacer más evidentes los conceptos clave o las proposiciones, así como las conexiones entre estos nuevos conocimientos.Fomentan el aprendizaje cooperativo. Permiten el intercambio de ideas y la conformación de significados compartidos, centrando el esfuerzo en construir un nuevo conocimiento. Instrumento de evaluación. Los mapas conceptuales son herramientas muy útiles a la hora de recopilar información acerca de lo que los estudiantes saben.
4
La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
La técnica del cálculo de predicados se caracteriza por: · -Apoyarse en el formalismo de lógica matemática. · -Popularidad y explotación. · -Definición de las expresiones para indicar su veracidad o falsedad. · -Certeza, dado A → B, A ≦ B no permite el caso de que con premisas válidas se obtengan conclusiones erróneas.
3
