Sistema De Razonamiento

Sistemas de Razonamiento Lógico
Definición
Son sistemas que representan explícitamente el conocimiento y pueden efectuar  razonamientos sobre este. La principal ventaja de estos sistemas es su altogrado de modularidad. Es posible independizar la estructura de control del conocimiento, con lo que cada porción del conocimiento mantiene total independencia entre sí.
Se clasifican en 4 grandesgrupos:
Demostradores de teoremas y lenguajes de programación lógica
Sistemas de cuadro y redes semánticas
Sistemas lógicos por descripción
Sistemas de producción o sistemas basados en reglasDemostradores de teoremas y lenguajes de programación lógica
En los demostradores de teoremas se utiliza la resolución (o algún otro procedimiento de inferencia completa) para demostrar oracionesexpresadas en lógica de primer orden, frecuentemente en trabajos de razonamiento matemático y de tipo científico. Los lenguajes de programación lógicos se caracterizan por restringir la lógica, lo que impideel manejo completo de la negación, la disyunción y/o la igualdad.
Sistemas de cuadro y redes semánticas
En estos sistemas se aplica la metáfora de que los objetos son nodos en una gráfica, de queestos nodos se organizan de acuerdo con estructura taxonómica y de que los vínculos que existen entre los nodos representan relaciones binarias.
Sistemas lógicos por descripción
Estos sistemas son laconsecuencia de la evolución de las redes semánticas, la idea consiste en emplear como medio de expresión y de razonamiento las definiciones complejas de objetos y clases, así como las relacionesentre ellos.    
 Sistemas de producción o sistemas basados en reglas
Los sistemas de producción son uno de los mecanismos de representación del conocimiento, más populares y ampliamente empleados. Susimplicidad y similitud con el razonamiento humano, han contribuido para su popularidad así como también el hecho de que han sido utilizados con éxito en la construcción de sistemas expertos.
Los...