Sztuczna inteligencja i logika. Podsumowanie przedsięwzięcia naukowego Kisielewicz Andrzej WNT 20011

Transkrypt

1 Sztuczna inteligencja i logika. Podsumowanie przedsięwzięcia naukowego Kisielewicz Andrzej WNT 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 Kierunki badań 3.7. Stan badań w roku 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 Naśladowanie natury 5. Mechaniczny szachista 5.1. Szachy

2 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ść 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 Co to jest liczba? Paradoksy nieskończoności Argument przekątniowy Twierdzenie Cantora 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

3 9.5. Formalizacja języka matematyki 9.6. Hipoteza Goldbacha 9.7. Język formalny 9.8. Termy 9.9. Formuły Zmienne Aksjomaty logiczne Reguły wnioskowania Arytmetyka elementarna Twierdzenia i dowody 10. 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. Twierdzenie Godła Formalizacja metamatematyki Dowód Immanentna niezupełność Nieudowadnialność niesprzeczności Nierozstrzygalność logiki Metateoria 12. Teoria obliczeń Wyrażenia i termy Algorytm Efektywne rozstrzyganie Kodowanie Kodowanie binarne Funkcje rekurencyjne 13. 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

4 Rozumowanie Klasy rekurencyjności Argument z teorii mnogości Problem stopu Inne problemy nierozstrzygalne 14. Praktyka obliczeń Teoria i praktyka Algorytmy praktyczne Czas wielomianowy Złożoność obliczeniowa Klasa NP P^NP Szyfrowanie 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 Bazy wiedzy Mechanizm wnioskowania 6.3. Rezolucja Koriiunkcyjna postać normalna Eliminacja kwantyfikatorów Unifikacja W kierunku praktyki Walka z kombinatoryczną eksplozją Automatyczne dowodzenie twierdzeń Hipoteza Robbinsa Programowanie logiczne Systemy ekspertowe 17. Rozumowania zdroworozsądkowe Formalizacja wiedzy zdroworozsądkowej Ontologia CYC

5 17.4. Ramy i sieci semantyczne Logiki deskrypcji Kłopoty z logiką pierwszego rzędu Niepewność wiedzy Sieci bayesowskie Logiki niemonotoniczne Logika domniemań Perspektywy 18. Inteligencja obliczeniowa Obliczeniowy model mózgu Perceptron Uczenie neuronu Sztuczne sieci neuronowe Perspektywy sieci neuronowych Mózg i komputer Algorytmy genetyczne Obliczenia ewolucyjne Inteligencja rojowiska Inteligencja obliczeniowa Perspektywy inteligencji obliczeniowej 19. 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 Trzy problemy Rozpoznawanie mowy Struktura gramatyczna 0.4. Analiza znaczenia Znaczenie zdania NLP Tłumaczenie maszynowe Mówiące bazy danych Komputer rozumny Wyszukiwanie informacji Chatboty i inne 21. Sztuczna inteligencja i otoczenie Automatyczne planowanie Robotyka Komputerowe widzenie Kognitywistyka

6 21.5. Prawo Moore a Futurologia 22. Perspektywy Problem badań interdyscyplinarnych Problemy z logiką Rozpoznanie klęski poznawczej Logika formalna i sztuczna inteligencja Metoda naukowa Podejście inżynierskie Sceptycyzm i optymizm Sztuczna inteligencja w matematyce Wiedza nieformalna Realne perspektywy Ograniczone dziedziny W kierunku rozumienia języka naturalnego Bibliografia Skorowidz