Unificación y resolución

Unificación y resolución

1. Deducción

   • Es
     • Razonamiento
       • Parte de
         • Principio conocido hacia lo desconocido
   • Realiza
     • Inferencias lógicamente correctas
   • Ampliamente
     • Comprendido, aceptado y reconocido de los 3 indicados

2. Abducción

   • Es
     • Método razonamiento
   • Genera
     • Explicaciones
   • No garantiza
     • Lograr conclusiones verdaderas
       • No es
         • Método sólido inferencia
   • Comienza
     • Conclusión
       • Procede
         • Derivar condiciones

3. Inducción

   • Se define como
     • Razonamiento
       • A partir
         • Hechos particulares
           • Para
             • Conclusión general
     • Forma de
       • Inferencia
         • Ya que
           • Aprendizaje, adquisición conocimiento y descubrimiento
             • Basados en ella
   • Proceso unificación
     • • Si no hay variables, deben tener un axioma identificado.
     • • Si hay variables, debe asociarse a valor determinado.
     • • Proceso identificación asume que valor variable es valor asociado.
     • • Conectivos lógicos aplicados a predicados.

Images and files in the map