Bez nazwy-1

Sztuczna inteligencja i logika. Podsumowanie przedsięwzięcia naukowego
Kisielewicz Andrzej
WNT 20011
Przedmowa .
CZĘŚĆ I: WPROWADZENIE
1.
1.1.
1.2.
1.3.
1.4.
1.5.
1.6.
1.7.
1.8.
1.9.
Komputer
Kółko i krzyżyk
Kodowanie
Odrobina fantazji
Komputer z pudełek
Programowanie w języku maszynowym
Architektura von Neumanna
System binarny
Programowanie w języku wyższego rzędu
Praktyczne możliwości komputera
2.
2.1.
2.2.
2.3.
2.4.
2.5.
Wizja Turinga
Przedmiot badań
Test Turinga
Czy komputer może myśleć?
Sukces czy porażka?
Silna AI i słaba AI
3.
3.1.
3.2.
3.3.
3.4.
3.5.
3.6.
3.7.
3.8.
3.9.
Pół wieku sztucznej inteligencji
Entuzjastyczne początki
Doza realizmu
Inżynieria wiedzy
Piąta Generacja
Rok 2001
Kierunki badań
Stan badań w roku 2010
Inteligencja obliczeniowa
HLAI i GAI — sztuczna inteligencja na ludzkim poziomie
4.
4.1.
4.2.
4.3.
4.4.
4.5.
4.6.
4.7.
4.8.
4.9.
4.10.
Techniki rozwiązywania problemów
Kombinatoryczna eksplozja
Problemy logiczne
Ogólne metody rozwiązywania problemów
Algorytm
Problemy przeszukiwania
Reprezentacje graficzne problemów
Przeszukiwanie grafu
Przeszukiwanie kierowane informacją
Heurystyki
Naśladowanie natury
5.
5.1.
Mechaniczny szachista
Szachy
5.2.
5.3.
5.4.
5.5.
5.6.
5.7.
5.8.
Minimax i strategie gry
Funkcja ewaluacyjna
Algorytm alfa-beta
Sukces
Warcaby
Go
Dalsze perspektywy
6.
6.1.
6.2.
6.3.
6.4.
6.5.
6.6.
6.7.
6.8.
6.9.
6.10.
Dwa tysiące lat logiki
Arystoteles
Piąty postulat
Wizje Leibniza
Obalenie Euklidesa
Matematyzacja logiki
Światowy kongres matematyczny
Antyriornie
Program Hilberta
Nierozstrzygalność
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.
8.1.
8.2.
8.3.
8.4.
8.5.
8.6.
8.7.
8.8.
8.9.
9.
9.1.
9.2.
9.3.
9.4.
Klasyczny rachunek zdań
Sylogistyka
Rachunek zdań
Koniunkcja i alternatywa
Implikacja
Negacja
Inne spójniki
Metoda zero-jedynkowa
Schematy wnioskowań
Inne ujęcia
Pełna formalizacja
Kwantyfikatory
Relacje
Aksjomatyzacja
Teorie
9.5.
9.6.
9.7.
9.8.
9.9.
9.10.
9.11.
9.12.
9.13.
9.14.
Formalizacja języka matematyki
Hipoteza Goldbacha
Język formalny
Termy
Formuły
Zmienne
Aksjomaty logiczne
Reguły wnioskowania
Arytmetyka elementarna
Twierdzenia i dowody
10.
10.1.
10.2.
10.3.
10.4.
10.5.
10.6.
10.7.
10.8.
10.9.
10.10.
10.11.
10.12.
10.13.
Metamatematyka
Semantyka
Definicja prawdy
Twierdzenie Godła o pełności
Twierdzenie o niesprzeczności
Redukcja pojęć
Redukcja matematyki do logiki
Antynomie
Aksjomatyzacja teorii zbiorów
System ZF
Aksjomatyzacja matematyki
Aksjomat wyboru
Program Hilberta
Półrozstrzygalność
11.
11.1.
11.2.
11.3.
11.4.
11.5.
11.6.
Twierdzenie Godła
Formalizacja metamatematyki
Dowód
Immanentna niezupełność
Nieudowadnialność niesprzeczności
Nierozstrzygalność logiki
Metateoria
12.
12.1.
12.2.
12.3.
12.4.
12.5.
12.6.
Teoria obliczeń
Wyrażenia i termy
Algorytm
Efektywne rozstrzyganie
Kodowanie
Kodowanie binarne
Funkcje rekurencyjne
13.
13.1.
13.2.
13.3.
13.4.
13.5.
13.6.
13.7.
13.8.
13.9.
Maszyny Turinga
Definicja maszyny Turinga
Przykład I
Obliczanie funkcji
Przykład II
Równoważność definicji
Maszyna RAM
Teza Churcha
Rozstrzygalność
Języki formalne
13.10.
13.11.
13.12.
13.13.
13.14.
Rozumowanie
Klasy rekurencyjności
Argument z teorii mnogości
Problem stopu
Inne problemy nierozstrzygalne
14.
14.1.
14.2.
14.3.
14.4.
14.5.
14.6.
14.7.
Praktyka obliczeń
Teoria i praktyka
Algorytmy praktyczne
Czas wielomianowy
Złożoność obliczeniowa
Klasa NP
P^NP
Szyfrowanie
15.
15.1.
15.2.
15.3.
15.4.
15.5.
15.6.
15.7.
15.8.
15.9.
15.10.
15.11.
15.12.
15.13.
15.14.
15.15.
Logiki nieklasyczne i metodologia nauk
Logiki wielowartościowe
Logiki rnodalne
Logika intuicjonistyczna
Logiki dopuszczające sprzeczność
Logika rozmyta
Logika indukcji
Wiedza analityczna i syntetyczna
Bayesianizm
Zakład holenderski
Logika prawdopodobieństwa
Logika nieformalna
Dedukcjonizm
Metodologia nauk
Definicje
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.
17.1.
17.2.
17.3.
Rozumowania zdroworozsądkowe
Formalizacja wiedzy zdroworozsądkowej
Ontologia
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.
19.1.
19.2.
19.3.
19.4.
19.5.
19.6.
19.7.
19.8.
19.9.
Maszyny uczące się
Drzewa decyzyjne
Funkcje boolowskie i hipotezy
Uczące się programy
Uczenie gier logicznych
Teoria uczenia się
Uczenie obliczeniowe
Ogólna teoria wnioskowania indukcyjnego
Prawdopodobieństwo algorytmiczne
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.
21.1.
21.2.
21.3.
21.4.
Sztuczna inteligencja i otoczenie
Automatyczne planowanie
Robotyka
Komputerowe widzenie
Kognitywistyka
21.5.
21.6.
Prawo Moore’a
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