Título inglés |
Induction and decision procedures. |
Título español |
Inducción y procedimientos de decisión. |
Autor/es |
Kapur, Deepak ; Giesl, Jürgen ; Subramaniam, Mahadevan |
Organización |
Dep. Comput. Sci. Univ. New Mexico, Albuquerque (New Mexico), Estados Unidos;LuFG Informat. II RWTH Aachen, Aquisgrán, Alemania;Dep. Comput. Sci. Univ. Nebraska, Omaha (Nebraska), Estados Unidos |
Revista |
1578-7303 |
Publicación |
2004, 98 (1): 153-180, 29 Ref. |
Tipo de documento |
articulo |
Idioma |
Inglés |
Resumen español |
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. |
Resumen inglés |
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. |
Acceso al artículo completo |