Logic-Based Artificial Intelligence - 9780792372240

Šis tomas yra daugiau nei 40 metų trukusių tyrimų, susijusių su logika kaip pagrindo vaizduoti ir manipuliuoti dirbtinio intelekto srities problemomis, kulminacija. Naudoti logiką kaip sveiko proto samprotavimų pagrindą pradėjo Johnas McCarthy 1959 m. Kolekciją sudaro tiek originalūs tyrimai, tiek beveik visų dalykų, naudojančių logiką dirbtinio intelekto srityje, apžvalgos, kurias prisidėjo pirmaujantys mokslininkai ir išaugo iš preliminaraus darbo, pristatyto Logika pagrįsto dirbtinio intelekto seminaras, vykęs Vašingtone, 1999 m. birželio mėn. Visi dokumentai buvo plačiai peržiūrimi ir peržiūrimi. Įvadiniame straipsnyje pristatomas nuo 1959 m. vykdytų tyrimų pagrindas ir aptariama kiekvieno skyriaus reikšmė šiame kontekste. Knygoje nagrinėjamos temos: sveiko proto samprotavimai, žinių reprezentavimas, nemonotoniškas samprotavimas, priežastinio ryšio ir veiksmų logika, planavimas ir problemų sprendimas, kognityvinė robotika, agentų ir veiksmų logika, indukcinis samprotavimas, galimo logika, logika ir įsitikinimai, logika ir kalba, skaičiavimo logika, žinių bazių sistemų diegimas ir teoremų įrodinėjimo bei loginio programavimo taikymai.