Logic-Based Artificial Intelligence - 9780792372240

Tom ten stanowi kulminację ponad 40 lat badań nad wykorzystaniem logiki jako podstawy do przedstawiania problemów w dziedzinie sztucznej inteligencji i manipulowania nimi. Stosowanie logiki jako podstawy zdroworozsądkowego rozumowania zapoczątkował John McCarthy w 1959 r. Zbiór składa się zarówno z oryginalnych badań, jak i przeglądów na niemal każdy temat wykorzystujący logikę w sztucznej inteligencji, wniesionych przez czołowych naukowców i wyrósł ze wstępnych prac zaprezentowanych na stronie warsztaty na temat sztucznej inteligencji opartej na logice, które odbyły się w Waszyngtonie, czerwiec 1999 r. Wszystkie artykuły zostały szeroko recenzowane i poprawione. Artykuł wprowadzający przedstawia tło badań prowadzonych od 1959 roku i omawia znaczenie każdego rozdziału w tym kontekście. Tematy poruszone w książce to rozumowanie zdroworozsądkowe, reprezentacja wiedzy, rozumowanie niemonotoniczne, logika przyczyn i działań, planowanie i rozwiązywanie problemów, robotyka poznawcza, logika agentów i działań, rozumowanie indukcyjne, logika posybilistyczna, logika i przekonania, logika i język, logika obliczeniowa, implementacje systemów baz wiedzy oraz zastosowania dowodzenia twierdzeń i programowania logicznego.