The Logic of Knowledge Bases
Myšlienka znalostnej bázy je základom symbolickej alebo "starej dobrej" umelej inteligencie (GOFAI). Systém založený na znalostiach.
Rozhoduje sa, ako konať, vykonávaním formálnych postupov uvažovania nad súborom explicitne reprezentovaných znalostí, svojou bázou znalostí. Systém je.
nie je naprogramovaný na konkrétne úlohy; skôr sa mu povie, čo potrebuje vedieť, a očakáva sa, že zvyšok odvodí.
Táto kniha je o logike takýchto báz znalostí. Podrobne opisuje vzťah medzi symbolickými reprezentáciami znalostí a abstraktnými stavmi znalostí, pričom popri tom skúma základy znalostí, znalostné bázy, znalostné systémy a reprezentáciu a zdôvodňovanie znalostí. Za predpokladu určitej znalosti predikátovej logiky prvého rádu kniha ponúka rigorózny matematický model znalostí, ktorý je všeobecný a výstižný, ale zároveň v praxi použiteľnejší ako predchádzajúce modely.
Prvé vydanie knihy vyšlo v roku 2000 a odvtedy bol jej model znalostí aplikovaný a rozšírený viacerými spôsobmi.
Toto druhé vydanie obsahuje množstvo nových výsledkov o logike báz znalostí vrátane štandardného uvažovania, uvažovania o konaní.
A zmeny a ťahové uvažovanie.
Hector Levesque je emeritný profesor na Katedre informatiky Torontskej univerzity. Gerhard Lakemeyer je profesorom a vedúcim katedry informatiky na RWTH Aachen University a profesorom (len štatút) na katedre informatiky na University of Toronto.