-
-
El cual era capaz de solucionar problemas de sentido comun pero no de la vida real.
-
Fue creado originalmente como una notación matemática práctica para los programas de computadora, basada en el cálculo lambda de Alonzo Church.
-
Se desarrolla un sistema para resolución de problemas con base en los conocimientos almacenados a través de algoritmos y métodos de búsqueda en general.
-
-
Desarrollado por Edward Feigenbaum
-
Utilización de conocimiento impreciso para razonar y posibilidad de explicar el proceso de razonamiento
-
Se compone de cláusulas de Horn que constituyen reglas del tipo "modus ponendo ponens", es decir, "Si es verdad el antecedente, entonces es verdad el consecuente". No obstante, la forma de escribir las cláusulas de Horn es al contrario de lo habitual. Primero se escribe el consecuente y luego el antecedente.
-
Sistema Experto de prospección minera desarrollado en la Universidad de Stanford.
-
Se encargaba de configurar todos los computadores que salian de la DEC (Digital Equipament Corporation).
-
Sistema de soporte de decisiones clínicas (SADC). Genera clasificados diagnósticos diferenciales utilizando un pseudo-probabilístico algoritmo
-
Ayuda a los mecánicos en el diagnóstico y reparación de locomotoras diesel y eléctricas. Este sistema no solo da consejos expertos, sino que también presenta informaciones por medio de un reproductor de vídeo.
-
Herramienta eficaz para ayudar a los granjeros de Kansas, extensionistas y personal de la agroindustria en la selección de variedades de trigo duro rojo de invierno