Prolog - Linguaggio e metodologia di programmazione logica

Lorenzo Magnani
Nicola Zanichelli Editore

Roberto Bonola
Zanichelli

David Hilbert, Stefan Cohn-Vossen
Paolo Boringhieri

Silvio Maracchia
Feltrinelli

Mark Kac
Bollati Boringhieri

Non è solo l'autobiografia di un matematico geniale, è anche la testimonianza lucida e viva di un intellettuale polacco con profonde radici nella cultura mitteleuropea, di uno scienziato ebreo che ha respirato gli umori e i veleni, ristagnanti sul Vecchio Continente alla vigilia dell'olocausto. Così la storia della vita di Kac esemplifica assai bene le vicende di tanti uomini di cultura costretti all'esilio, che cercarono nel Nuovo Mondo una speranza e un'alternativa. Su questo sfondo la matematica appare come una costante ragion di vita: non un'ideale di asettica purezza, ma uno strumento vitale per indagare i misteri della natura.

Paolo Freguglia
Editori Riuniti

Sergio Invernizzi, Maurizio Rinaldi, Andrea Sgarro
Zanichelli

La struttura modulare del volume, frutto dell'esperienza didattica degli autori in ambienti multidisciplinari, ne facilita l'utilizzo in diversi corsi di laurea. Vengono presentati i principali strumenti necessari alla comprensione dei modelli matematici e all'elaborazione e interpretazione dei dati sperimentali.

Mario Cavallé
La Grafica Artistica

Heinz-Otto Peitgen, Peter H. Richter
Bollati Boringhieri editore

Eric S. Roberts
Franco Angeli

Anna Hart
Jackson

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.