Sistema de Razonamiento

En tecnologa de la informacin de un sistema de razonamiento es una aplicacin

de software, dispositivos de hardware o una combinacin de software y hardware
informtico cuya funcin es generar conclusiones de los conocimientos disponibles
utilizando tcnicas lgicas de deduccin, induccin u otras formas de
razonamiento. Sistemas de razonamiento son un subconjunto de una categora
ms amplia de sistemas inteligentes. Ellos juegan un papel importante en la
aplicacin prctica de ingeniera del conocimiento y la inteligencia artificial.
Un sistema de razonamiento manipula conocimientos previamente adquiridos con
el fin de generar nuevos conocimientos. El conocimiento es tpicamente
representado

simblicamente

como

hechos

informativos

declaraciones

proposicionales que las afirmaciones de captura, suposiciones, creencias y otros

locales. Representaciones del conocimiento Sub-simblicos tambin se pueden
usar. Sistemas de razonamiento automatizar el proceso de inferir o derivar de lo
contrario los nuevos conocimientos a travs de la aplicacin de la lgica. En una
realizacin concreta, sistemas de razonamiento pueden admitir archivos adjuntos
de procedimiento y acciones integradas para procesar o aplicar los conocimientos
dentro de algn dominio o situacin determinada.
Sistemas de razonamiento tienen un amplio campo de aplicacin que incluye la
programacin, procesamiento de reglas de negocio, resolucin de problemas,
procesamiento de lenguaje complejo de procesamiento de eventos, deteccin de
intrusos, anlisis predictivo, la robtica, la visin artificial y natural de problema.

El uso de la lgica
Sistemas de razonamiento aplican la lgica con el fin de generar conocimiento. Sin
embargo, muestran una variacin significativa en trminos de sistemas de la lgica
y la formalidad. La mayora de los sistemas de razonamiento implementar
variaciones de la lgica proposicional y simblico. Estas variaciones pueden ser

representaciones matemticas precisas de los sistemas de lgica formal, o

versiones extendidas e hbridos de estos sistemas. Sistemas de razonamiento
puede implementar explcitamente los tipos lgicos adicionales. Sin embargo,
muchos sistemas de razonamiento implementar aproximaciones imprecisas y
semi-formal para los sistemas lgicos reconocidos. Estos sistemas tpicamente
soportan una gran variedad de tcnicas de procedimiento y semi-declarativa con el
fin de modelar diferentes estrategias de razonamiento. Hacen hincapi en el
pragmatismo sobre la formalidad y pueden depender de extensiones y accesorios
personalizados con el fin de resolver problemas del mundo real.
Muchos sistemas de razonamiento emplean el razonamiento deductivo para sacar
conclusiones de los conocimientos disponibles. Estos motores de inferencia
apoyan razonamiento hacia adelante o hacia atrs razonamiento para inferir
conclusiones a travs de modus ponens. Los mtodos de razonamiento recursivo
que los empleados reciben el nombre de encadenamiento hacia delante y
encadenamiento

hacia

atrs,

respectivamente. Aunque

los

sistemas

de

razonamiento ampliamente apoyan la inferencia deductiva, algunos sistemas

emplean abductivas, inductivo, revocable y otros tipos de razonamiento. Heurstica
Tambin se pueden emplear para determinar soluciones aceptables a los
problemas intratables.
Sistemas de razonamiento puede emplear el supuesto mundo cerrado o asuncin
mundo abierto. El OWA se asocia a menudo con la representacin del
conocimiento ontolgico y la Web Semntica. Diferentes sistemas exhiben una
variedad de enfoques para la negacin. As como complemento lgico o bit a bit,
los sistemas pueden apoyar formas existenciales de negacin fuerte y dbil como
negacin-as-fracaso

la

negacin

inflacionaria.

Diferentes

sistemas

de

razonamiento pueden apoyar el razonamiento monotnico o no monotnico,

estratificacin y otras tcnicas lgicas.

Razonamiento con incertidumbre

Muchos sistemas de razonamiento proporcionan capacidades de razonamiento

bajo incertidumbre. Esto es importante en la construccin de agentes situados
razonamiento que debe hacer frente a las representaciones inciertas del mundo.
Hay varios enfoques comunes para el manejo de la incertidumbre. Estos incluyen
el uso de factores de certidumbre, mtodos probabilsticos como inferencia
bayesiana o teora Dempster-Shafer, la lgica de valores mltiples y diversos
enfoques conexionistas.

Tipos de sistemas de razonamiento

En esta seccin se ofrece una clasificacin no exhaustiva e informal de los tipos
comunes de sistema de razonamiento. Estas categoras no son discretos. Se
superponen de manera significativa y comparten una serie de tcnicas, mtodos y
algoritmos.

Solucionadores de restricciones
Solucionadores de restricciones a resolver problemas de satisfaccin de
restricciones. Apoyan programacin con restricciones. Una restriccin es una
condicin que debe cumplir cualquier solucin vlida al problema. Las
restricciones se definen mediante declaracin y aplicar a las variables dentro de
los dominios dados. Solucionadores de restricciones utilizan tcnicas de
propagacin de bsqueda, rastreo y la limitacin para encontrar soluciones y
determinar soluciones ptimas. Se pueden emplear las formas de programacin
lineal y no lineal. A menudo se utilizan para llevar a cabo la optimizacin dentro de
los espacios de problemas altamente combinatorios. Por ejemplo, se pueden usar
para calcular la programacin ptima, de diseo de circuitos integrados eficientes
o maximizar la productividad en un proceso de fabricacin.

Demostradores de teoremas

Demostradores de teoremas utilizan tcnicas de razonamiento automatizado para

determinar pruebas de teoremas matemticos. Tambin pueden ser utilizados para
verificar las pruebas existentes. Adems de su uso acadmico, aplicaciones
tpicas de demostradores de teoremas incluyen la verificacin de la exactitud de
los circuitos integrados, programas de software, diseos de ingeniera, etc.

Programas lgicos
Programas lgicos son programas escritos con lenguajes de programacin cuyas
primitivas y expresiones proporcionar representaciones directas de construcciones
derivadas de la lgica matemtica. Un ejemplo de un lenguaje de programacin
lgica de propsito general es Prolog. LPs representan la aplicacin directa de la
programacin lgica para resolver problemas. La programacin lgica se
caracteriza por enfoques muy declarativos basados en la lgica formal, y tiene una
amplia aplicacin en muchas disciplinas.

Los sistemas expertos

Los sistemas expertos aplican el razonamiento basado en el conocimiento
extrado de la experiencia humana y la visin. Ellos emulan los procesos de
razonamiento de los expertos humanos. Proporcionan mecanismos en que el
conocimiento experto en un dominio dado puede ser capturado y explotada de
forma automatizada o semi-automatizado. Los sistemas expertos se utilizan a
menudo para apoyar la toma mediante la obtencin de datos de los operadores
humanos y aplicando el razonamiento basado en reglas para recomendar
acciones o decisiones apropiadas decisin. Pueden apoyar la elaboracin y el
perfeccionamiento de las bases de conocimiento a travs del tiempo basado en
continua interaccin humana.

Motores de reglas

Motores de reglas representan la lgica condicional como reglas discretas. Los

conjuntos de reglas pueden ser manejados y aplicados por separado a otras
funciones. Ellos tienen una amplia aplicacin en muchos mbitos. Muchos motores
de reglas apliquen capacidades de razonamiento. Un enfoque comn es la
aplicacin de los sistemas de produccin para apoyar el encadenamiento hacia
adelante o hacia atrs. Cada regla se une a un conjunto de clusulas precedentes
a una lista de acciones ejecutables. En tiempo de ejecucin, el motor de reglas
coincide producciones frente a los hechos y ejecuta la lista de acciones
correspondiente para cada partido. Si las acciones eliminar o modificar cualquier
hecho o afirman hechos nuevos, el motor inmediatamente re-calcula el conjunto
de partidos. Motores de reglas son ampliamente utilizados para modelar y aplicar
las reglas de negocio, para el control de la toma de decisiones en los procesos
automatizados y para hacer cumplir las polticas empresariales y tcnicos.

Sistemas Cognitivos
Sistemas cognitivos emular o apoyar las capacidades cognitivas humanas y
procesos tales como la resolucin de problemas, comprensin del lenguaje, el
aprendizaje, la percepcin y la memoria. Ellos aspectos del modelo de la
psicologa humana asociados con la cognicin. Sistemas cognitivos pueden
emplear una variedad de tcnicas para implementar el comportamiento y las
capacidades de toma de decisiones comparables a las habilidades humanas.
Sistemas cognitivos son ampliamente investigado y tienen aplicaciones prcticas
en la defensa, la medicina, la aviacin y otros sectores.

Sistemas de aprendizaje automtico

Sistemas de aprendizaje automtico evolucionar su comportamiento en el tiempo
basado en la experiencia. Esto puede implicar el razonamiento sobre los
acontecimientos observados o datos de ejemplo proporcionados con fines de

formacin. Por ejemplo, los sistemas de aprendizaje automtico pueden utilizar el

razonamiento inductivo para generar hiptesis sobre los hechos observados.
Aprender los sistemas de bsqueda de reglas o funciones generales que dan
resultados en lnea con las observaciones y luego usar estas generalizaciones
para controlar el comportamiento futuro.

Caso sistemas de razonamiento basado en

Sistemas de razonamiento basado en casos proporcionan soluciones a
problemas, analizando similitudes con otros problemas para los que ya existen
soluciones conocidas. Utilizan el razonamiento analgico para deducir soluciones
basadas en historias de casos. Sistemas CBR se utilizan comnmente en
cliente/soporte tcnico y llamar a los escenarios del centro y tienen aplicaciones
en la produccin industrial, la agricultura, la medicina, el derecho, y muchas otras
reas.

Sistemas de razonamiento de procedimiento

Un sistema de razonamiento procedimiento utiliza tcnicas de razonamiento para
seleccionar los planes de una base de conocimiento procedimental. Cada plan
representa un curso de accin para el logro de un objetivo determinado. El PRS
implementa un modelo de creencias y deseos-la intencin de razonar sobre los
hechos para seleccionar planes adecuados para los objetivos propuestos. Las
aplicaciones tpicas de PRS incluyen sistemas de deteccin de la gestin,
seguimiento y culpa.