Archivo Abierto Institucional de la Universidad Carlos III de Madrid >
Departamento de Informática >
Grupo de Investigación en Planificación y Aprendizaje Automático (PLG) >
DI - PLG - Artículos de Revistas >
Please use this identifier to cite or link to this item:
|Title: ||A computational approach to George Boole's discovery of mathematical logic|
|Author(s): ||Ledesma, Luis de|
Laita, Luis M.
|Issued date: ||Apr-1997|
|Citation: ||Artificial Intelligence Journal, April 1997, vol. 91, n. 2, p. 281-307.|
|Abstract: ||This paper reports a computational model of Boole's discovery of Logic as a part of Mathematics. George Boole (1815–1864) found that the symbols of Logic behaved as algebraic symbols, and he then rebuilt the whole contemporary theory of Logic by the use of methods such as the solution of algebraic equations. Study of the different historical factors that influenced this achievement has served as background for our two main contributions: a computational representation of Boole's Logic before it was mathematized; and a production system, BOOLE2, that rediscovers Logic as a science that behaves exactly as a branch of Mathematics, and that thus validates to some extent the historical explanation. The system's discovery methods are found to be general enough to handle three other cases: two versions of a Geometry due to a contemporary of Boole, and a small subset of the Differential Calculus.|
|Publisher version: ||http://dx.doi.org/10.1016/S0004-3702(97)00017-9|
|Rights: ||© Elsevier Science B.V.|
|Appears in Collections:||DI - PLG - Artículos de Revistas|
Items in E-Archivo are protected by copyright, with all rights reserved, unless otherwise indicated.