Usuario:Alvaro Otero/ejercicio 26
APLICACION DEL CALCULO DE PREDICADOS A LA TEORIA DE LOS SISTEMAS EXPERTOS PARA LA REPRESENTACION DE LOS CONOCIMIENTOS
Los sistemas de razonamiento basados en la lógica de predicados son
sistemas de razonamiento monotónico ("monotónico" significa "moverse en una sola dirección") ya que las deducciones realizadas nunca generan contradicciones.
Un sistema de razonamiento no monotónico es aquel que sigue la trayectoria de un conjunto de creencias tentativas y revisa aquellas creencias cuando se observa o se deduce nuevo conocimiento.
El razonamiento que seguiría un experto humano en la materia a fin de poder codificarlo mediante el empleo de un determinado lenguaje informático; por otra, la síntesis artificial, de tipo mecánico, de los razonamientos de manera que éstos serán semejantes a los empleados por el experto humano en la resolución de la cuestión planteada.
Los sistemas expertos son, por lo tanto, intermediarios entre el experto humano, que transmite sus conocimientos al sistema, y el usuario de dicho sistema, que lo emplea para resolver los problemas que se le plantean con la competencia de un especialista en la materia y que, además, puede adquirir una destreza semejante a la del experto gracias a la observación del modo de actuar de la máquina.
Finalmente, el nivel cognoscitivo corresponde al conjunto de los conocimientos que el experto humano pone en práctica para la resolución del problema planteado. Este conjunto de conocimientos debe poder traducirse al lenguaje definido mediante el formalismo de representación del conocimiento adoptado. En cuanto al desarrollo actual de la investigación en el campo de los sistemas expertos, la primera fase corresponde al desarrollo de sistemas y programas que traten directamente el lenguaje natural, si bien persisten todavía dos escollos importantes. Por un lado, el problema de cómo emplear de un modo eficaz una gran cantidad de información sin necesidad de echar mano de la combinatoria; Es decir, cómo conseguir un sistema dotado de conocimientos (metaconocimientos), que le permitan utilizar los conocimientos del sistema y que, a su vez, le permitan deducir automáticamente nuevos conocimientos, ya que no cabe pensar en la reunión de todos los conocimientos necesarios en casos de campos tan sumamente vastos como el del diagnóstico en la medicina.