Sztuczna inteligencja i logika Wydanie IIWydawnictwo WNT
Cena: 55.00zł
Autor: Andrzej Kisielewicz ISBN: 978-83-7926-233-5 Ilość stron: 380 Data wydania: 04/2015 (wydanie 2) Oprawa: Miękka Format: 16.5x23.5cm Wydawnictwo: WNT
Od ponad pół wieku uczeni próbują zrealizować marzenie o skonstruowaniu sztucznego umysłu, który dorównywałby ludzkiemu mózgowi. Autor niniejszej książki krytycznie przygląda się próbom stworzenia sztucznej inteligencji bazującym na osiągnięciach logiki formalnej. Rozprawia się z licznymi nieporozumieniami i przesądami, które przez lata narosły wokół tego niezwykle intrygującego tematu. Dostarcza czytelnikowi informacji o przedmiocie badań nad sztuczną inteligencją, ich metodologii, historii i rezultatach, a także perspektywach rysujących się w tej dziedzinie.
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:
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.1. 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 16.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 20.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
Cena: 55.00zł
Książka informatyczna: Sztuczna inteligencja i logika Wydanie II
|