En el campo de programación en lógicas inductivas (ILP) se han desarrollado sistemas que son capaces de “aprender” conceptos usando una descripción inicial y un mecanismo de inducción que trata de sintetizar dicha descripción en un programa lógico que modele…

Con el objetivo de disponer de un lenguaje que capture los aspectos del razonamiento rebatible, se ha desarrollado un lenguaje de programación en lógica rebatible como una extensión de la programación en lógica convencional, el cuál fue presentado en los…