The Experts below are selected from a list of 306 Experts worldwide ranked by ideXlab platform

Luis M. Laita - One of the best experts on this subject based on the ideXlab platform.

  • AISC - George Boole, a Forerunner of Symbolic Computation
    Artificial Intelligence and Symbolic Computation, 2001
    Co-Authors: Luis M. Laita, Luis De Ledesma, Eugenio Roanes-lozano, Alberto Brunori
    Abstract:

    We examine in this invited presentation Boole's principles of logic and his method of performing inferences. The principles of Boole's logic are based on the application of an early symbolic calculus known in his time as the "method of separation of symbols". His logic's inference procedures are symbolic operations allowed inside this method. Such inference procedures are reinterpreted and generalized using computer algebra. The lecture also presents a short biography of Boole and a description of some of the factors that had an influence on the genesis of his logic.

  • George Boole a forerunner of symbolic computation
    Artificial Intelligence and Symbolic Computation, 2000
    Co-Authors: Luis M. Laita, Luis De Ledesma, Eugenio Roaneslozano, Alberto Brunori
    Abstract:

    We examine in this invited presentation Boole's principles of logic and his method of performing inferences. The principles of Boole's logic are based on the application of an early symbolic calculus known in his time as the "method of separation of symbols". His logic's inference procedures are symbolic operations allowed inside this method. Such inference procedures are reinterpreted and generalized using computer algebra. The lecture also presents a short biography of Boole and a description of some of the factors that had an influence on the genesis of his logic.

  • a computational approach to George Boole s discovery of mathematical logic
    Artificial Intelligence, 1997
    Co-Authors: Luis De Ledesma, Aurora Perez, Daniel Borrajo, Luis M. Laita
    Abstract:

    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.

  • A computational approach to George Boole's discovery of Mathematical Logic
    Artificial Intelligence, 1997
    Co-Authors: Luis De Ledesma, Aurora Perez, Daniel Borrajo, Luis M. Laita
    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. © 1997 Published by Elsevier Science B.V.

Luis De Ledesma - One of the best experts on this subject based on the ideXlab platform.

  • AISC - George Boole, a Forerunner of Symbolic Computation
    Artificial Intelligence and Symbolic Computation, 2001
    Co-Authors: Luis M. Laita, Luis De Ledesma, Eugenio Roanes-lozano, Alberto Brunori
    Abstract:

    We examine in this invited presentation Boole's principles of logic and his method of performing inferences. The principles of Boole's logic are based on the application of an early symbolic calculus known in his time as the "method of separation of symbols". His logic's inference procedures are symbolic operations allowed inside this method. Such inference procedures are reinterpreted and generalized using computer algebra. The lecture also presents a short biography of Boole and a description of some of the factors that had an influence on the genesis of his logic.

  • George Boole a forerunner of symbolic computation
    Artificial Intelligence and Symbolic Computation, 2000
    Co-Authors: Luis M. Laita, Luis De Ledesma, Eugenio Roaneslozano, Alberto Brunori
    Abstract:

    We examine in this invited presentation Boole's principles of logic and his method of performing inferences. The principles of Boole's logic are based on the application of an early symbolic calculus known in his time as the "method of separation of symbols". His logic's inference procedures are symbolic operations allowed inside this method. Such inference procedures are reinterpreted and generalized using computer algebra. The lecture also presents a short biography of Boole and a description of some of the factors that had an influence on the genesis of his logic.

  • a computational approach to George Boole s discovery of mathematical logic
    Artificial Intelligence, 1997
    Co-Authors: Luis De Ledesma, Aurora Perez, Daniel Borrajo, Luis M. Laita
    Abstract:

    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.

  • A computational approach to George Boole's discovery of Mathematical Logic
    Artificial Intelligence, 1997
    Co-Authors: Luis De Ledesma, Aurora Perez, Daniel Borrajo, Luis M. Laita
    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. © 1997 Published by Elsevier Science B.V.

Daniel Borrajo - One of the best experts on this subject based on the ideXlab platform.

  • a computational approach to George Boole s discovery of mathematical logic
    Artificial Intelligence, 1997
    Co-Authors: Luis De Ledesma, Aurora Perez, Daniel Borrajo, Luis M. Laita
    Abstract:

    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.

  • A computational approach to George Boole's discovery of Mathematical Logic
    Artificial Intelligence, 1997
    Co-Authors: Luis De Ledesma, Aurora Perez, Daniel Borrajo, Luis M. Laita
    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. © 1997 Published by Elsevier Science B.V.

Aurora Perez - One of the best experts on this subject based on the ideXlab platform.

  • a computational approach to George Boole s discovery of mathematical logic
    Artificial Intelligence, 1997
    Co-Authors: Luis De Ledesma, Aurora Perez, Daniel Borrajo, Luis M. Laita
    Abstract:

    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.

  • A computational approach to George Boole's discovery of Mathematical Logic
    Artificial Intelligence, 1997
    Co-Authors: Luis De Ledesma, Aurora Perez, Daniel Borrajo, Luis M. Laita
    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. © 1997 Published by Elsevier Science B.V.

Rahma Ben Ayed - One of the best experts on this subject based on the ideXlab platform.

  • HICSS - Towards an Engineering Discipline of Computational Society
    2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07), 2007
    Co-Authors: A. Mill, A. Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed
    Abstract:

    George Boole ushered the era of modern logic by arguing that logical reasoning does not fall in the realm of philosophy, as it was considered up to his time, but in the realm of mathematics. As such, logical propositions and logical arguments are modeled using algebraic structures. Likewise, we submit that security attributes must be modeled as formal mathematical propositions that are subject to mathematical analysis. In this paper, we approach this problem by attempting to model security attributes in a refinement-like framework that has traditionally been used to represent reliability and safety claims

  • Towards an Engineering Discipline of Computational Society
    2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07), 2007
    Co-Authors: Ali Mili, A. Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed
    Abstract:

    George Boole ushered the era of modern logic by arguing that logical reasoning does not fall in the realm of philosophy, as it was considered up to his time, but in the realm of mathematics. As such, logical propositions and logical arguments are modeled using algebraic structures. Likewise, we submit that security attributes must be modeled as formal mathematical propositions that are subject to mathematical analysis. In this paper, we approach this problem by attempting to model security attributes in a refinement-like framework that has traditionally been used to represent reliability and safety claims