4806165227

Wprowadzenie

Podstawy sztucznej inteligencji: matematyka

9 Jakie są formalne reguły wyprowadzania poprawnych wniosków?

9 Co może być obliczone?

• Jak wnioskować na podstawie niepewnej informacji?

*    rachunek zdań George Boole 1815-1864; rachunek predykatów pierwszego rzędu Gottlob Frege 1848-1925; relacja między obiektami w logice a obiektami rzeczywistego świata Alfred Tarski 1902-1983

*    procedura dowodząca każde prawdziwe twierdzenie z logiki pierwszego rzędu oraz twierdzenie o niezupełności Kurt Godeł 1906-1978; pojęcie obliczalności Alan Turing 1912-1954; problemy wielomianowe i ponadwielomianowe Cobham 1964 i Edmonds 1965; NP-zupełność Steven Cook 1971 i Richard Karp 1972

*    idea prawdopodobieństwa Gerolamo Cardano 1501-1576; jak przewidywać wynik gry hazardowej i oczekiwaną wygraną Blaise Pascal 1623-1662; metody statystyczne James Bernoulli 1654-1705 i Pierre Laplace 1749-1827; wyliczanie prawdopodobieństwa na podstawie obserwacji Thomas Bayes 1702-1761

12 / 155

Wprowadzenie do Sztucznej Inteligencji