Zaawansowane wyszukiwanie
  Strona Główna » Sklep » Algorytmy Wzorce UML » Sztuczna inteligencja » Moje Konto  |  Zawartość Koszyka  |  Do Kasy   
 Wybierz kategorię
Algorytmy Wzorce UML
  Algorytmy
  Deep Learning Uczenie maszynowe
  Inżynieria oprogramowania
  Scrum
  Sztuczna inteligencja
  Techniki programowania
  Wyrażenia regularne
  Wzorce projektowe
  Zarządzanie projektami
Bazy danych
Bezpieczeństwo
Bioinformatyka
Biznes Ekonomia Firma
Chemia
DTP Design
E-biznes
Ekonometria
Elektronika Elektrotechnika
Energetyka
Fizyka
GIS
Grafika użytkowa
Hardware
Informatyczne systemy zarządzania
Informatyka w szkole
Języki programowania
Matematyka
Multimedia
Obsługa komputera
Office
Poradniki
Programowanie gier
Programy inżynierskie
Programy matematyczne
Słowniki
Serwery
Sieci komputerowe
Systemy operacyjne
Technika
Telekomunikacja
Tworzenie stron WWW

Zobacz pełny katalog »
 Wydawnictwo:
 WKiŁ
Mechanika ruchu Pojazdy samochodowe Wydanie 3

Mechanika ruchu Pojazdy samochodowe Wydanie 3

63.00zł
53.55zł
Sztuczna inteligencja i logika Wydanie II 79.00zł 67.15zł
Sztuczna inteligencja i logika Wydanie II

Tytuł: Sztuczna inteligencja i logika Wydanie II
Autor: Andrzej Kisielewicz
ISBN: 978-83-01-19492-5
Ilość stron: 380
Data wydania: 08/2017 (wydanie 2)
Oprawa: Miękka
Format: 16.5x23.5cm
Wydawnictwo: Naukowe PWN
Cena: 79.00zł 67.15zł


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


Najniższa cena z 30 dni przed obniżką 67,15zł

Sztuczna inteligencja i logika Wydanie II
Tytuł książki: "Sztuczna inteligencja i logika Wydanie II"
Autor: Andrzej Kisielewicz
Wydawnictwo: Naukowe PWN
Cena: 79.00zł 67.15zł
Klienci, którzy kupili „Sztuczna inteligencja i logika Wydanie II”, kupili także:

Automatyka zabezpieczeniowa w systemach elektroenergetycznych Wydanie II, Wilibald Winkler, Andrzej Wiszniewski, Wydawnictwo Naukowe PWN

Systemy ekspertowe, Alicja Wakulicz-Deja, Agnieszka Nowak-Brzezińska, Małgorzata Przybyła-, Wydawnictwo EXIT

Sieci komputerowe. Najczęstsze problemy i ich rozwiązania, Russ White, Ethan Banks, Wydawnictwo Helion

Elektrownie jądrowe Wydanie II, Jerzy Kubowski, Wydawnictwo Naukowe PWN

Eksploatacja i diagnostyka maszyn elektrycznych i transformatorów, Tadeusz Glinka , Sławomir Szymaniec, Wydawnictwo Naukowe PWN

Nowoczesne zasady odżywiania Przełomowe badanie wpływu żywienia na zdrowie, T. Colin Campbell , Thomas M. Campbell, Wydawnictwo GALAKTYKA

wtorek, 19 marca 2024   Mapa strony |  Nowości |  Dzisiejsze promocje |  Koszty wysyłki |  Kontakt z nami