La logica delle basi di conoscenza

Titolo originale:

The Logic of Knowledge Bases

Contenuto del libro:

L'idea di una base di conoscenza è alla base dell'intelligenza artificiale simbolica o "alla vecchia maniera" (GOFAI). Un sistema basato sulla conoscenza.

Decide come agire eseguendo procedure di ragionamento formale su un insieme di conoscenze esplicitamente rappresentate, la sua base di conoscenza. Il sistema è.

Non è programmato per compiti specifici; piuttosto, gli viene detto ciò che deve sapere e ci si aspetta che inferisca il resto.

Questo libro tratta della logica di tali basi di conoscenza. Descrive in dettaglio la relazione tra le rappresentazioni simboliche della conoscenza e gli stati astratti della conoscenza, esplorando lungo il percorso i fondamenti della conoscenza, le basi di conoscenza, i sistemi basati sulla conoscenza, la rappresentazione e il ragionamento della conoscenza. Partendo dal presupposto di una certa familiarità con la logica dei predicati del primo ordine, il libro offre un modello matematico rigoroso della conoscenza, generale ed espressivo, ma più praticabile nella pratica rispetto ai modelli precedenti.

La prima edizione del libro è apparsa nel 2000 e da allora il suo modello di conoscenza è stato applicato ed esteso in vari modi.

Questa seconda edizione incorpora una serie di nuovi risultati sulla logica delle basi di conoscenza, tra cui il ragionamento per difetto, il ragionamento sull'azione.

E il cambiamento, e il ragionamento traducibile.

Hector Levesque è professore emerito presso il Dipartimento di Informatica dell'Università di Toronto. Gerhard Lakemeyer è professore e presidente del Dipartimento di Informatica dell'Università RWTH di Aquisgrana e professore (solo di ruolo) del Dipartimento di Informatica dell'Università di Toronto.