Logic-Based Artificial Intelligence - 9781461356189

Matemātiskās loģikas izmantošanu kā mākslīgā intelekta formālismu atzina Džons Makartijs 1959. gadā savā darbā par programmām ar veselo saprātu. Sešdesmitajos gados viņš izvērsa šīs idejas un turpina to darīt līdz pat šai dienai. Ir pagājis 41 gads, kopš radās ideja par formāla MI izmantošanas mehānismu. Tāpēc ir lietderīgi apsvērt dažus pētījumus, lietojumus un ieviešanu, kas ir radušies šīs idejas rezultātā. 1995. gada sākumā Džons Makartijs man ieteica organizēt semināru par loģiku balstītu mākslīgo intelektu (LBAI). 1999. gada jūnijā Makartija ierosinājuma rezultātā notika seminārs par loģiku balstītu mākslīgo intelektu. Seminārs notika ar Efraima Glinerta no Nacionālā Zinātnes fonda (IIS-9S2013S), Amerikas Mākslīgā intelekta asociācijas, kas sniedza atbalstu absolventu studentiem, un Džozefa Džaja, Merilendas Universitātes Uzlaboto datoru institūta direktora, atbalstu. Pētījumi, kas sniedza gan darbaspēku, gan finansiālu atbalstu, un Datorzinātņu katedra. Mēs esam pateicīgi par viņu atbalstu. Šī grāmata sastāv no referētiem rakstiem, kuru pamatā ir seminārā sniegtās prezentācijas. Ne visi semināra dalībnieki varēja iesniegt dokumentus grāmatai. Kopējā semināra un šīs grāmatas rakstu tēma ir loģikas kā formālisma izmantošana mākslīgā intelekta problēmu risināšanai.