En este breve articulo (tercero del curso de sistemas expertos) hablaremos de árboles semánticos, o también llamado árboles de prueba.

Un árbol de prueba es el esqueleto de nuestro PROPCompiler que permite que el núcleo de inferencia pruebe la verdad lógica de cierto conjunto de fórmulas. PROPCompiler usa lógica proposicional para conectar nodos del árbol entre si. Esta relación entre nodos puede extenderse tanto como queramos, por ejemplo la siguiente figura muestra un pequeño árbol proposicional:

En la figura tenemos 2 literales A y B, anteriormente el nodo A tuvo una relación con un operando NOT (por eso el símbolo ~), dichos nodos estan unidos a una operación de implicación. Esta implicación guarda la relación de los operandos anteriores y se convierte en el siguiente operando (junto con C) para la operación de conjunción posterior.

Espero que hayas disfrutado este articulo, escribe un comentario si tienes alguna pregunta o visita nuestras redes sociales.

Leave a Reply

Your email address will not be published.