Sztuczna Inteligencja i Systemy Ekspertowe.

Uprzejmie informuję, że w semestrze letnim 2021 roku prowadzę wykład kursowy (kod WDW) "Wstęp do Metod Sztucznej Inteligencji", przez jeden semestr (30 godzin).
Wykłady odbywają się w czwartki, godz. 8:30-10:00, na platformie Webex.
Wykładom towarzyszy pracownia komputerowa (24 godziny), prowadzona przez prof. Oleksandar Sokolova i dr Tomasza Piotrowskiego z Katedry Informatyki Stosowanej.
Informacje z USOS są tutaj, a tu jest forum dyskusyjne i link do informacji w Moodle.

Jest to część cyklu 6 wykładów związanych z kognitywistyką.

Wszystkich wykładów można wysłuchać w miarę niezależnie.

Egzamin będzie w formie pisemnej, na końcu wielu wykładów są przykładowe pytania.
Egzamin: ?? 2021, g. ??, zdalnie (Moodle?). Egzamin poprawkowy odbędzie się zdalnie ??.2021, g. ?? (Moodle?)..
Wyniki: liczba uzyskanych punktów, max=100% i oceny.

Średnie punkty % >93 >84 >74 >66 >58 >49
Oceny 54+ 44-3+ 3

Serdecznie zapraszam.
Włodzisław Duch


Orientacyjny plan wykładu


Sztuczna inteligencja i symboliczne modele działania umysłów


1. Wprowadzenie do metod AI  2. Szukanie  3. Zastosowania szukania  4. Reprezentacja wiedzy  5. Analiza języka naturalnego  6. Systemy doradcze  7. Modele umysłu i najbardziej ambitne projekty sztucznej inteligencji  8. Uczenie maszynowe (machine learning)  9. Filozoficzne problemy sztucznej inteligencji.

Notatki są w PowerPoint i będą zmieniane w czasie trwania wykładu.
Liczne odwołania do ciekawych zagadnień dotyczących sztucznej inteligencji AI + Machine Learning oraz AI w NLP oraz architektur kognitywnych są na inteligencji obliczeniowej.
Polecam też nowości o AI/ML na mojej stronie Flipboard.


1 Wprowadzenie do zagadnień AI, slajdy w PDF

Dowiązania zewnętrzne: Dokąd zmierza inteligencja obliczeniowa? | Polski wortal AI | Kognitywistyka.net | Historia AI |

2 Szukanie - sformułowanie problemu slajdy w PDF

Aplety demonstrujące szukanie, planowanie itd.

3. Metody szukania.

15-tka, applet

4. Zastosowania metod opartych na szukaniu.

Strategia idź na całość
Test logiczny (karty Wasona)

Linki zewnętrzne: DARPA Urban Challenge, 3.11.2007 | Szachy z ciekawą wizualizacją

5. Reprezentacja wiedzy: wprowadzenie i reprezentacje logiczne.

14.04.2020; Webex 21.04, podsumowanie wykładów 2-5

6. Inne formy reprezentacji wiedzy.

14-28.04.2020

7. Analiza języka naturalnego.

5-13.05.2020

Dowiązania zewnętrzne: Rozumienie języka naturalnego oraz AI w szukaniu informacji i NLP.
Konkurs Loebnera, 100,000$ dla twórcy programu do konwersacji, który oszuka sędziów; odbywa się co roku!

8. Systemy ekspertowe.

12-19.05.2020

Systemy Sztucznej Inteligencji rutynowo stosowane w praktyce medycznej, archiwum opencclinical.org.
Dowody twierdzeń wykonane za pomoca komputera: 4 barwy, geometria rzutowa, hipoteza Robbinsa - po 60 latach prób matematyków udowodnił ją program komputerowy EQP!
Gregory Chaitin twierdzi, że matematyka powinna być quasi-empiryczna, czyli tylko nieco mniej empiryczna niż fizyka ...
Mind reader, czyli jasnowidzący komputer ...

9. Superekspert Big CYC.

25.05.2020

CYCorp


10. Modele umysłu.

2-9.06.2020

Zunifikowane teorie poznania. Architektura poznawcza człowieka;
Projekty SOAR, Cog


11.  Uczenie maszynowe (machine learning)

Najważniejsze metody uczenia maszynowego: sieci neuronowe, dogłębna analiza informacji w bazach danych (data mining).

16.06.2020


12. Filozoficzne problemy sztucznej inteligencji

16.06.2020, podsumowanie Webex.

Podsumowanie debaty: czy komputery mogą myśleć w formie posterów.


Włodzisław Duch