Funzioni, macchine, algoritmi - Introduzione alla teoria della compatibilità

H.M. Cundy, A.P. Rollett
Feltrinelli

Ludwig von Bertalanffy
Arnoldo Mondadori Editore

Michael R. Genesereth, Nils J. Nilsson
Morgan Kaufmann Publishers

Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic.

The first section of the book introduces the logicist approach to AI--discussing the representation of declarative knowledge and featuring an introduction to the process of conceptualization, the syntax and semantics of predicate calculus, and the basics of other declarative representations such as frames and semantic nets. This section also provides a simple but powerful inference procedure, resolution, and shows how it can be used in a reasoning system.

The next several chapters discuss nonmonotonic reasoning, induction, and reasoning under uncertainty, broadening the logical approach to deal with the inadequacies of strict logical deduction. The third section introduces modal operators that facilitate representing and reasoning about knowledge. This section also develops the process of writing predicate calculus sentences to the metalevel--to permit sentences about sentences and about reasoning processes. The final three chapters discuss the representation of knowledge about states and actions, planning, and intelligent system architecture.

End-of-chapter bibliographic and historical comments provide background and point to other works of interest and research. Each chapter also contains numerous student exercises (with solutions provided in an appendix) to reinforce concepts and challenge the learner. A bibliography and index complete this comprehensive work.

Saunders Mac Lane, Garrett Birkhoff
Mursia

Bruno D'Amore
Zanichelli

Charles S. Chihara
Oxford University Press

Chihara here develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. He utilizes this system in the analysis of the nature of mathematics, and discusses many recent works in the philosophy of mathematics from the viewpoint of the constructibility theory developed. This innovative analysis will appeal to mathematicians and philosophers of logic, mathematics, and science.

Stefano Donati
Firenze Atheneum

La filosofia della matematica di Bertrand Russell nella sua fase matura e definitiva: la fase logicista, in cui egli sostenne che tutta la matematica pura deriva da premesse puramente logiche e utilizza solo concetti logici, o definibili in termini puramente logici.

Enrico Rufini
Feltrinelli

Guido Castelnuovo
Feltrinelli

Timothy Gowers
Giulio Einaudi Editore

Willard Van Orman Quine
Harvard University Press

W. V. Quine's systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic.

Max Black, in Mind, has said of this book, “It will serve the purpose of inculcating, by precept and example, standards of clarity and precision which are, even in formal logic, more often pursued than achieved.”

Jim L. Alty, Mike J. Coombs
Franco Angeli