Logic-Based Artificial Intelligence - 9781461356189

Matemaatilise loogika kasutamist tehisintellekti formalismina tunnustas John McCarthy 1959. aastal oma artiklis Terve mõistusega programmid. 1960. aastatel käsitles ta neid ideid mitmes artiklis ja jätkab seda siiani. Nüüd on möödunud 41 aastat ajast, mil tekkis idee kasutada tehisintellekti jaoks ametlikku mehhanismi. Seetõttu on asjakohane kaaluda mõningaid selle idee tulemusel tehtud uuringuid, rakendusi ja teostusi. 1995. aasta alguses tegi John McCarthy mulle ettepaneku korraldada loogikal põhineva tehisintellekti (LBAI) seminar. 1999. aasta juunis toimus McCarthy ettepaneku tulemusena loogikal põhineva tehisintellekti töötuba. Töötuba sai teoks Ephraim Glinerti riiklikust teadusfondist (IIS-9S2013S), Ameerika tehisintellekti assotsiatsioonist, kes toetas kraadiõppurite osalemist, ja Joseph JaJa, Marylandi ülikooli täiustatud arvutiinstituudi direktor. Õpingud, mis pakkusid nii tööjõudu kui ka rahalist tuge, ja arvutiteaduse osakond. Oleme neile toetuse eest tänulikud. See raamat koosneb refereeritud töödest, mis põhinevad seminaril tehtud ettekannetel. Kõik töötoas osalejad ei saanud raamatusse paberitega kaasa aidata. Töötoa ja selle raamatu ettekannete läbiv teema on loogika kui formalismi kasutamine tehisintellekti probleemide lahendamisel.