Logic-Based Artificial Intelligence - 9780792372240

See köide on üle 40 aasta kestnud uurimistöö kulminatsiooniks loogika kasutamisel tehisintellekti valdkonna probleemide kujutamise ja nendega manipuleerimise alusena. Loogika kasutamist tervemõistusliku arutluskäigu alusena alustas John McCarthy 1959. aastal. Kogumik koosneb nii originaaluuringutest kui ka peaaegu kõigi tehisintellektis loogikat kasutavate teemade küsitlustest, mille on panustanud juhtivad teadlased ja mis on välja kasvanud eeltööst, mida esitleti loogikal põhineva tehisintellekti töötuba, mis toimus Washingtonis 1999. aasta juunis. Kõiki dokumente on põhjalikult refereeritud ja muudetud. Sissejuhatavas artiklis tutvustatakse alates 1959. aastast toimunud uurimistöö tausta ja käsitletakse iga peatüki olulisust selles kontekstis. Raamatus käsitletavad teemad on tervemõistuslik arutluskäik, teadmiste esitus, mittemonotoonne arutluskäik, põhjuslike seoste ja tegevuste loogika, planeerimine ja probleemide lahendamine, kognitiivne robootika, agentide ja tegevuste loogika, induktiivne arutluskäik, võimaliku loogika, loogika ja uskumused, loogika ja keel, arvutusloogika, teadmistebaasi süsteemi juurutused ning teoreemide tõestamise ja loogika programmeerimise rakendused.