Mechanization of inductive reasoning is an exciting research area in artificial intelligence and automated reasoning with many challenges. An overview of our work on mechanizing inductive reasoning based on the cover set method for generating induction schemes from terminating recursive function definitions and using decision procedures is presented. This paper particularly focuses on the recent work on integrating induction into decision procedures without compromising their automation.
Dentro del campo de la inteligencia artificial y del razonamiento automático, la mecanización del razonamiento inductivo es un área de investigación apasionante que se enfrenta a muchos retos. Se presenta una visión global del trabajo de los autores sobre la mecanización del razonamiento inductivo basado en el método de recubrimiento de conjuntos para la generación de esquemas de inducción a partir de definiciones de funciones recursivas con terminación que usa procedimientos de decisión. Este artículo se centra sobre todo en el trabajo reciente que se ha realizado con respecto a la integración de la inducción en los procedimientos de decisión sin comprometer su automatización.
@article{urn:eudml:doc:41045,
title = {Induction and decision procedures.},
journal = {RACSAM},
volume = {98},
year = {2004},
pages = {153-180},
zbl = {1103.68799},
language = {en},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:41045}
}
Kapur, Deepak; Giesl, Jürgen; Subramaniam, Mahadevan. Induction and decision procedures.. RACSAM, Tome 98 (2004) pp. 153-180. http://gdmltest.u-ga.fr/item/urn:eudml:doc:41045/