| | |
Summary: RACË ĆRev. R. Acad. Cien. Serie A. Mat.
VOL. 98 (1), 2004, pp. 153180
Ciencias de la ComputaciŽon / Computational Sciences
Induction and Decision Procedures
Deepak Kapur, Jšurgen Giesl and Mahadevan Subramaniam
Abstract. 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.
InducciŽon y procedimientos de decisi Žon
Resumen. Dentro del campo de la inteligencia artificial y del razonamiento automŽatico, la mecaniza-
ciŽon del razonamiento inductivo es un Žarea de investigaciŽon apasionante que se enfrenta a muchos retos.
Se presenta una visiŽon global del trabajo de los autores sobre la mecanizaciŽon del razonamiento inductivo
basado en el mŽetodo de recubrimiento de conjuntos para la generaciŽon de esquemas de inducciŽon a partir
de definiciones de funciones recursivas con terminaciŽon que usa procedimientos de decisiŽon. Este artŽiculo
se centra sobre todo en el trabajo reciente que se ha realizado con respecto a la integraciŽon de la inducciŽon
en los procedimientos de decisiŽon sin comprometer su automatizaciŽon.
1. Introduction
Over the past 30 years or so, there has been a great deal of interest in developing heuristics and tech-
|
