The Logic of Knowledge Bases
Idea bazy wiedzy leży u podstaw symbolicznej lub "starej dobrej" sztucznej inteligencji (GOFAI). System oparty na wiedzy.
Decyduje, jak działać, uruchamiając formalne procedury rozumowania nad zbiorem jawnie reprezentowanej wiedzy, swoją bazą wiedzy. System jest.
Nie jest zaprogramowany do konkretnych zadań; raczej mówi się mu, co musi wiedzieć, i oczekuje się, że resztę wywnioskuje.
Ta książka dotyczy logiki takich baz wiedzy. Szczegółowo opisuje związek między symbolicznymi reprezentacjami wiedzy a abstrakcyjnymi stanami wiedzy, badając po drodze podstawy wiedzy, bazy wiedzy, systemy oparte na wiedzy oraz reprezentację wiedzy i rozumowanie. Zakładając pewną znajomość logiki predykatów pierwszego rzędu, książka oferuje rygorystyczny matematyczny model wiedzy, który jest ogólny i wyrazisty, a jednocześnie bardziej wykonalny w praktyce niż poprzednie modele.
Pierwsze wydanie książki ukazało się w 2000 roku i od tego czasu jej model wiedzy został zastosowany i rozszerzony na wiele sposobów.
Drugie wydanie zawiera szereg nowych wyników dotyczących logiki baz wiedzy, w tym rozumowania domyślnego, rozumowania o działaniu.
I zmiany oraz rozumowanie trakcyjne.
Hector Levesque jest emerytowanym profesorem na Wydziale Informatyki Uniwersytetu w Toronto. Gerhard Lakemeyer jest profesorem i kierownikiem Katedry Informatyki na Uniwersytecie RWTH Aachen oraz profesorem (tylko status) na Wydziale Informatyki Uniwersytetu w Toronto.