Co to jest sztuczna inteligencja? Racjonalne myślenie
Podejście oparte o prawa poprawnego rozumowania.
o Sylogizm Arystotelesa dostarczają wzorce wnioskowania, które zawsze dostarcza poprawne wnioski z poprawnych przesłanek (np. "Sokrates jest człowiekiem, wszyscy ludzie są śmiertelni; zatem, Sokrates jest śmiertelny11).
® Badanie praw poprawnego rozumowania zainicjowało dziedzinę nazywaną logiką.
® Od 1965 roku istnieją programy, które potrafią rozwiązać każdy rozwiązywalny problem opisany w języku logiki (jeśli nie istnieje rozwiązanie, to taki program może wpaść w nieskończoną pętlę).
® Nawet problemy opisane kilkuset faktami mogą wykraczać poza możliwości współczesnego komputera, jeśli nie dostarczy się mu wskazówek które kroki wnioskowania wykonać w pierwszej kolejności).
■00,0 9 / 155
Wprowadzenie do Sztucznej Inteligencji