LIBROS DE CIENCIA

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.

Alexander Woodcock, Monte davis
Garzanti Editore

Giuseppe Peano
Edizioni Cremonese

Claudio Pogliano
Franco Angeli

Martin Davis
Edizioni Abete

Hans Freudenthal
Il Saggiatore

Domenico Parisi, Cristiano Castelfranchi
Bollati Boringhieri

John D. Barrow
RCS Libri

Il libro parte da una semplice domanda: esistono fenomeni che alla fine si riveleranno semplicemente inconoscibili e inspiegabili? Dopo avere definito il significato della inconoscibilità, Barrow lo esamina in rapporto ai limiti della mente umana, a quelli della tecnologia, a quelli cosmologici e ai limiti profondi insiti nella natura dell'universo. Alla fine di questa panoramica emerge prepotentemente una convinzione: la presenza dell'impossibilità e del limite non mina affatto alle fondamenta l'idea di scienza.

John C. Lilly
Cesco Ciapanna editore

Karl von Frisch
Arnoldo Mondadori Editore

Paolo Saraceno
Mursia

John Polkinghorne
Raffaello Cortina editore

L'autore, uno dei più prestigiosi teologi britannici, pensa che sia fininto il tempo della contrapposizione tra fede e ragione: nella sua doppia formazione di fisico e di uomo di chiesa, mostra come sia possibile misurare i classici temi della teologia cristiana - la creazione, il problema del male, il destino ultimo dell'uomo - con le punte più avanzate del pensiero matematico, fisico, biologico e informatico, in una sintesi estremamente originale che se da una parte affascina il grande pubblico, dall'altra stimola anche lo studioso di questi problemi.

R.V. Tooley
B. T. Batsford

Bernhard Riemann
Bollati Boringhieri

Il volume raccoglie, oltre al testo della lezione del 1854 che dà il titolo all'opera, alcuni scritti di carattere scientifico e filosofico di Riemann. A saggi di argomento scientifico si affiancano scritti di argomento più direttamente metodologico. La concezione della scienza che ci viene offerta da questi scritti è assai significativa del personaggio e della sua epoca. Per Riemann la matematica non è un mero strumento esteriore da applicare, appunto dall'esterno, ai fenomeni. Al contrario, essa consente di spingersi con il rigore necessario oltre alla superficie dei fenomeni e di penetrare sempre più a fondo nella realtà, nell'ottica di un sistema unitario e quasi metafisico del sapere scientifico.

Jearl Walker
Zanichelli Editore

Fang Li Zhi, Chu Yao Quan
Garzanti Libri

Mario Ageno
Gius. Laterza & Figli

Massimo Galli, Stefano Vella
FrancoAngeli

La storia dell'infezione da HIV e dell'AIDS è storia recente per una patologia globale, solo 35 anni, ed è una storia che continua, in una realtà che i trattamenti farmacologici resi via via disponibili hanno profondamente modificato. È una storia di successo della ricerca e della medicina, che hanno portato una malattia fino a pochi anni fa mortale a diventare un'infezione cronica che permette alle persone con HIV di conviverci a lungo e in buona salute. È però una storia che non ha ancora una fine, perché è la storia di un virus che sa adattarsi, nascondersi e sopravvivere, e sulla quale mai come oggi è necessario risvegliare l'attenzione e gli investimenti delle istituzioni sanitarie e di ricerca. Il volume vuole fare il punto della situazione sulla gestione dell'infezione da HIV nei suoi aspetti socio-sanitari e di ricerca e sulle necessità attuali e future da comprendere e risolvere per meglio affrontare la sfida globale che ancora oggi questa malattia pone alla comunità civile, scientifica e dei pazienti. Lo fa attraverso l'analisi della storia dell'infezione, l'evoluzione della sua epidemiologia, affrontando il ruolo che la ricerca futura e l'industria farmaceutica potranno avere nel modificare la gestione di questa malattia - alla luce delle problematiche che la crisi economica sta ponendo, in Italia e non solo - anche in una visione di eradicazione dell'infezione a livello globale. I diversi contributi, provenienti dal mondo medico-scientifico, della ricerca, della società civile e dei pazienti, della politica sanitaria, riuniti con un approccio multidisciplinare e multidimensionale, vogliono fornire un aggiornamento sul tema dell'HIV come patologia globale.

Hubert C. Kennedy
Paolo Boringhieri

Franco Spisani
International Logic Review

Paolo Negrini, Maria Ragagni.
Edizioni C.E.L.I

Salvatore Arcidiacono
Editrice La Scuola

AA.VV.
Newton Compton Editori

J. M. Leblond Lèvy
CUEN