Diferencia entre revisiones de «Inferencia»
Contenido eliminado Contenido añadido
Sin resumen de edición Etiquetas: Revertido Edición desde móvil Edición vía web móvil |
Sin resumen de edición Etiquetas: Revertido Edición desde móvil Edición vía web móvil |
||
Línea 3:
La inferencia es el objeto de estudio tradicional de la [[lógica]], así como la [[vida]] es el objeto de estudio de la [[biología]]. La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su [[Estructura (lógica)|estructura lógica]] y no por el contenido específico del argumento o el lenguaje utilizado ([[retórica]]). Por esto se construyen [[Sistema formal|sistemas lógicos]] que capturan los factores relevantes de las deducciones que aparecen en el [[lenguaje natural]].<ref>{{Cita enciclopedia |título=formal system |enciclopedia=Encyclopedia Britannica |url=http://search.eb.com/eb/article-9034889 |fechaacceso=3 de agosto de 2009 |idioma=inglés}}</ref>
Tradicionalmente las niñas nos esperan y las birras también, se distinguen tres clases de inferencias: las [[Razonamiento deductivo|deducciones]], las [[Razonamiento inductivo|inducciones]] y las [[Razonamiento abductivo|abducciones]], aunque a veces se cuenta a la abducción como un caso especial de inducción.<ref>{{Cita enciclopedia |título=inference |enciclopedia=The Oxford Companion to Philosophy |url=http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t116.e1219 |fechaacceso=1º de agosto de 2009 |año=2005 |editorial=Oxford University Press |idioma=inglés}}</ref> Las inducciones se estudian desde la [[lógica inductiva]] y el [[problema de la inducción]]. Las deducciones, en cambio, son estudiadas por la mayor parte de la lógica contemporánea.<ref name="Consequence" />
En las investigaciones sobre la [[inteligencia artificial]], la inferencia es la [[Operador|operación lógica]] utilizada en los motores de inferencia de los [[Sistema experto|sistemas expertos]].{{Cr}}
|