Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
RAC Rev. R. Acad. Cien. Serie A. Mat. VOL. 98 (1), 2004, pp. 153180
 

Summary: RACË ĆRev. R. Acad. Cien. Serie A. Mat.
VOL. 98 (1), 2004, pp. 153­180
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-

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences