Logica bazelor de cunoștințe

Titlul original:

The Logic of Knowledge Bases

Conținutul cărții:

Ideea de bază de cunoștințe stă la baza inteligenței artificiale simbolice sau "de modă veche" (GOFAI). Un sistem bazat pe cunoștințe.

Decide cum să acționeze prin rularea unor proceduri formale de raționament asupra unui corp de cunoștințe reprezentate explicit, baza sa de cunoștințe. Sistemul este.

Nu este programat pentru sarcini specifice; mai degrabă, i se spune ceea ce trebuie să știe și se așteaptă să deducă restul.

Această carte este despre logica unor astfel de baze de cunoștințe. Ea descrie în detaliu relația dintre reprezentările simbolice ale cunoștințelor și stările abstracte ale cunoștințelor, explorând pe parcurs fundamentele cunoștințelor, bazele de cunoștințe, sistemele bazate pe cunoștințe, precum și reprezentarea și raționamentul cunoștințelor. Presupunând o anumită familiaritate cu logica predicatelor de ordinul întâi, cartea oferă un model matematic riguros al cunoașterii care este general și expresiv, dar și mai ușor de aplicat în practică decât modelele anterioare.

Prima ediție a cărții a apărut în anul 2000, iar de atunci modelul său de cunoaștere a fost aplicat și extins într-o serie de moduri.

Această a doua ediție încorporează o serie de rezultate noi privind logica bazelor de cunoștințe, inclusiv raționamentul implicit, raționamentul despre acțiune.

Și schimbare, și raționamentul tractabil.

Hector Levesque este profesor emerit la Departamentul de informatică, Universitatea din Toronto. Gerhard Lakemeyer este profesor și președinte al Departamentului de informatică, Universitatea RWTH Aachen, și profesor (doar cu statut) la Departamentul de informatică, Universitatea din Toronto.