cena netto + 5% vat.
Próba stworzenia sztucznej inteligencji poprzez zastosowanie osiągnięć
logiki okazała się przedsięwzięciem naukowym - zdaniem autora - „dość
awanturniczym”, bo podjętym bez odpowiednich narzędzi i rozeznania. Książka stanowi
solidne podsumowanie tego przedsięwzięcia, które w naturalny sposób łączy się z
podsumowaniem osiągnięć logiki. Na tej bazie rozważone są też perspektywy rozwoju
dziedziny.
Popularność tematu, liczna fora dyskusyjne w Internecie, filozoficzne i
pseudofilozoficzne rozważania na temat sztucznej inteligencji, a przede wszystkim
mnóstwo nieporozumień i przesądów związanych z tym tematem - wszystko to sprawiło,
że swoimi rozważaniami autor postanowił podzielić się z możliwie szerokim gronem
czytelników. Książkę swoją starał się napisać tak, aby do jej przeczytania i
zrozumienia wystarczały ciekawość i ogólne wykształcenie.
Szczególni adresaci tej książki to z jednej strony naukowcy różnych specjalności,
którym nieobca jest ogólna refleksja nad nauką i metodą naukową, a z drugiej strony
studenci i młodzi naukowcy w dziedzinach informatyki i matematyki, którzy otwarci są na
radykalną zmianę poglądów, nawet w znanych sobie kwestiach.
Książka może służyć jako podręcznik uzupełniający do różnych wykładów z
zakresu sztucznej inteligencji, inteligencji obliczeniowej, systemów ekspertowych czy
też systemów wspomagania decyzji (business intelligence). Na wydziałach innych niż
matematyczno-informatyczne może stanowić podręcznik podstawowy na kursie logiki ze
szczególnym uwzględnieniem zastosowań w sztucznej inteligencji. Może wreszcie być
podstawą do zajęć seminaryjnych dotyczących wykorzystania metod matematycznych w
nauce, filozofii matematyki i logiki, granic naukowego poznania.
Spis treści:
Przedmowa .
CZĘŚĆ I: WPROWADZENIE
1. Komputer
1.1. Kółko i krzyżyk
1.2. Kodowanie
1.3. Odrobina fantazji
1.4. Komputer z pudełek
1.5. Programowanie w języku maszynowym
1.6. Architektura von Neumanna
1.7. System binarny
1.8. Programowanie w języku wyższego
rzędu
1.9. Praktyczne możliwości komputera
2. Wizja Turinga
2.1. Przedmiot badań
2.2. Test Turinga
2.3. Czy komputer może myśleć?
2.4. Sukces czy porażka?
2.5. Silna AI i słaba AI
3. Pół wieku
sztucznej inteligencji
3.1. Entuzjastyczne początki
3.2. Doza realizmu
3.3. Inżynieria wiedzy
3.4. Piąta Generacja
3.5. Rok 2001
3.6. Kierunki badań
3.7. Stan badań w roku 2010
3.8. Inteligencja obliczeniowa
3.9. HLAI i GAI — sztuczna inteligencja
na ludzkim poziomie
4. Techniki
rozwiązywania problemów
4.1. Kombinatoryczna eksplozja
4.2. Problemy logiczne
4.3. Ogólne metody rozwiązywania
problemów
4.4. Algorytm
4.5. Problemy przeszukiwania
4.6. Reprezentacje graficzne problemów
4.7. Przeszukiwanie grafu
4.8. Przeszukiwanie kierowane informacją
4.9. Heurystyki
4.10. Naśladowanie natury
5. Mechaniczny
szachista
5.1. Szachy
5.2. Minimax i strategie gry
5.3. Funkcja ewaluacyjna
5.4. Algorytm alfa-beta
5.5. Sukces
5.6. Warcaby
5.7. Go
5.8. Dalsze perspektywy
6. Dwa tysiące lat
logiki
6.1. Arystoteles
6.2. Piąty postulat
6.3. Wizje Leibniza
6.4. Obalenie Euklidesa
6.5. Matematyzacja logiki
6.6. Światowy kongres matematyczny
6.7. Antyriornie
6.8. Program Hilberta
6.9. Nierozstrzygalność
6.10. Istota obliczania
7. Idee współczesnej
matematyki
7. l. Odkrycie liczby niewymiernej
7.2. Rachunek prawdopodobieństwa
7.3. Wzór Bayesa
7.4. Wielkie twierdzenie Fermata
7.5. Problem czterech barw
7.6. Matematyka dyskretna
7.7. Zawodna intuicja
7.8. Ciała i grupy
7.9. Teoria zbiorów
7.10. Co to jest liczba?
7.11. Paradoksy nieskończoności
7.12. Argument przekątniowy
7.13. Twierdzenie Cantora
7.14. Zbiór wszystkich słów
CZĘŚĆ II: LOGIKA
8. Klasyczny
rachunek zdań
8.1. Sylogistyka
8.2. Rachunek zdań
8.3. Koniunkcja i alternatywa
8.4. Implikacja
8.5. Negacja
8.6. Inne spójniki
8.7. Metoda zero-jedynkowa
8.8. Schematy wnioskowań
8.9. Inne ujęcia
9. Pełna
formalizacja
9.1. Kwantyfikatory
9.2. Relacje
9.3. Aksjomatyzacja
9.4. Teorie
9.5. Formalizacja języka matematyki
9.6. Hipoteza Goldbacha
9.7. Język formalny
9.8. Termy
9.9. Formuły
9.10. Zmienne
9.11. Aksjomaty logiczne
9.12. Reguły wnioskowania
9.13. Arytmetyka elementarna
9.14. Twierdzenia i dowody
10.
Metamatematyka
10.1. Semantyka
10.2. Definicja prawdy
10.3. Twierdzenie Godła o pełności
10.4. Twierdzenie o niesprzeczności
10.5. Redukcja pojęć
10.6. Redukcja matematyki do logiki
10.7. Antynomie
10.8. Aksjomatyzacja teorii zbiorów
10.9. System ZF
10.10. Aksjomatyzacja matematyki
10.11. Aksjomat wyboru
10.12. Program Hilberta
10.13. Półrozstrzygalność
11. Twierdzenie Godła
11.1. Formalizacja metamatematyki
11.2. Dowód
11.3. Immanentna niezupełność
11.4. Nieudowadnialność niesprzeczności
11.5. Nierozstrzygalność logiki
11.6. Metateoria
12. Teoria obliczeń
12.1. Wyrażenia i termy
12.2. Algorytm
12.3. Efektywne rozstrzyganie
12.4. Kodowanie
12.5. Kodowanie binarne
12.6. Funkcje rekurencyjne
13. Maszyny Turinga
13.1. Definicja maszyny Turinga
13.2. Przykład I
13.3. Obliczanie funkcji
13.4. Przykład II
13.5. Równoważność definicji
13.6. Maszyna RAM
13.7. Teza Churcha
13.8. Rozstrzygalność
13.9. Języki formalne
13.10. Rozumowanie
13.11. Klasy rekurencyjności
13.12. Argument z teorii mnogości
13.13. Problem stopu
13.14. Inne problemy nierozstrzygalne
14. Praktyka obliczeń
14.1. Teoria i praktyka
14.2. Algorytmy praktyczne
14.3. Czas wielomianowy
14.4. Złożoność obliczeniowa
14.5. Klasa NP
14.6. P^NP
14.7. Szyfrowanie
15. Logiki nieklasyczne i
metodologia nauk
15.1. Logiki wielowartościowe
15.2. Logiki rnodalne
15.3. Logika intuicjonistyczna
15.4. Logiki dopuszczające sprzeczność
15.5. Logika rozmyta
15.6. Logika indukcji
15.7. Wiedza analityczna i syntetyczna
15.8. Bayesianizm
15.9. Zakład holenderski
15.10. Logika prawdopodobieństwa
15.11. Logika nieformalna
15.12. Dedukcjonizm
15.13. Metodologia nauk
15.14. Definicje
15.15. Braki logiki formalnej
CZĘŚĆ III: SZTUCZNA INTELIGENCJA
16. Inżynieria wiedzy
16.1. Bazy wiedzy
16.2. Mechanizm wnioskowania
6.3. Rezolucja
16.4. Koriiunkcyjna postać normalna
16.5. Eliminacja kwantyfikatorów
16.6. Unifikacja
16.7. W kierunku praktyki
16.8. Walka z kombinatoryczną eksplozją
16.9. Automatyczne dowodzenie twierdzeń
16.10. Hipoteza Robbinsa
16.11. Programowanie logiczne
16.12. Systemy ekspertowe
17. Rozumowania zdroworozsądkowe
17.1. Formalizacja wiedzy zdroworozsądkowej
17.2. Ontologia
17.3. CYC
17.4. Ramy i sieci semantyczne
17.5. Logiki deskrypcji
17.6. Kłopoty z logiką pierwszego rzędu
17.7. Niepewność wiedzy
17.8. Sieci bayesowskie
17.9. Logiki niemonotoniczne
17.10. Logika domniemań
17.11. Perspektywy
18. Inteligencja
obliczeniowa
18.1. Obliczeniowy model mózgu
18.2. Perceptron
18.3. Uczenie neuronu
18.4. Sztuczne sieci neuronowe
18.5. Perspektywy sieci neuronowych
18.6. Mózg i komputer
18.7. Algorytmy genetyczne
18.8. Obliczenia ewolucyjne
18.9. Inteligencja rojowiska
18.10. Inteligencja obliczeniowa
18.11. Perspektywy inteligencji obliczeniowej
19. Maszyny uczące się
19.1. Drzewa decyzyjne
19.2. Funkcje boolowskie i hipotezy
19.3. Uczące się programy
19.4. Uczenie gier logicznych
19.5. Teoria uczenia się
19.6. Uczenie obliczeniowe
19.7. Ogólna teoria wnioskowania indukcyjnego
19.8. Prawdopodobieństwo algorytmiczne
19.9. Maszyna Godła
20. Przetwarzanie języka
naturalnego
20.1. Trzy problemy
20.2. Rozpoznawanie mowy
20.3. Struktura gramatyczna
0.4. Analiza znaczenia
20.5. Znaczenie zdania
20.6. NLP
20.7. Tłumaczenie maszynowe
20.8. Mówiące bazy danych
20.9. Komputer rozumny
20.10. Wyszukiwanie informacji
20.11. Chatboty i inne
21. Sztuczna inteligencja i
otoczenie
21.1. Automatyczne planowanie
21.2. Robotyka
21.3. Komputerowe widzenie
21.4. Kognitywistyka
21.5. Prawo Moore'a
21.6. Futurologia
22. Perspektywy
22.1. Problem badań interdyscyplinarnych
22.2. Problemy z logiką
22.3. Rozpoznanie klęski poznawczej
22.4. Logika formalna i sztuczna inteligencja
22.5. Metoda naukowa
22.6. Podejście inżynierskie
22.7. Sceptycyzm i optymizm
22.8. Sztuczna inteligencja w matematyce
22.9. Wiedza nieformalna
22.10. Realne perspektywy
22.11. Ograniczone dziedziny
22.12. W kierunku rozumienia języka naturalnego
Bibliografia
Skorowidz
380 stron, B5, oprawa miękka