Sztuczna inteligencja
INFORMATYKA, sem. VI
STRONA GŁÓWNA
SLAJDY DO WYKŁADÓW
-
Wprowadzenie do sztucznej inteligencji
-
Podstawy
logiki pierwszego rzędu
-
Modelowanie problemów za pomocą grafu stanów
-
Elementy wnioskowania
automatycznego
- Problemy
spełniania ograniczeń (CSP oraz SAT) i metody ich rozwiązywania
-
Architektury
systemów eksperckich, systemy regułowe
- Gry dwuosobowe z doskonałą informacją o sumie zerowej
-
Elementy logik deskrypcyjnych
- Reprezentowanie
i przetwarzanie wiedzy o czasie
-
Elementy uczenia
maszynowego
-
Podstawy sztucznych sieci neuronowych
- Zastosowania sztucznej inteligencji we współczesnej technice
MATERIAŁY DODATKOWE
- Alpaydin E., Introduction to Machine Learning. Second Edition, The MIT Press, 2010
- Bratko I., Prolog Programming for Artificial Intelligence, Addison-Wesley Publishing Company, 1986
- Flach P., Logical approaches to machine learning - an overview, THINK, 1(2): 25-36, 1992
- Howe J.M., A Pearl on SAT and SMT Solving in Prolog, 2012
- Kriesel D., A Brief Introduction to Neural Networks, University of Bonn, 2007
- Kröse B., Van der Smagt P., An introduction to Neural Networks, University of Amsterdam, 1996
- Labenz P., Konwersacyjna sztuczna inteligencja: od Turinga do Potiomkina, w: Kognitywistyka: o umyśle umyślnie i nieumyślnie, 2004
- LaVallle S.M., Planning Algorithms, 2006
- Liebowitz J., The Handbook of Applied Expert Systems, CRC Press, 1997
- Lighthill J., Artificial Intelligence: A General Survey, 1973 (tzw. raport Lighthilla)
- McCarthy J., Programs with Common Sense, w: Teddington Conference on the Mechanization of Thought Processes, 1959
- Mitchell T.M., Machine Learning, McGraw-Hill Education, 1997
- Niederliński A., Programowanie w logice z ograniczeniami. Łagodne wprowadzenie dla platformy ECLiPSe, Gliwice, 2014
- Nilsson N. J., Introduction to Machine Learning, Stanford University, 1998
- Nilsson U., Małuszyński J., Logic, Programming and Prolog (2ed), 1995
- Pawlewicz J., Techniki sztucznej inteligencji w programach grających, 2010
- Polskie Porozumienie na rzecz Rozwoju Sztucznej Inteligencji (PP-RAI'2018)
- Shalev-Shwartz S., Ben-David S., Understanding Machine Learning: From Theory to Algorithms, Cambridge University Press, 2014
- Smola A., Vishwanathan S.V.N., Introduction to Machine Learning, Cambridge University Press, 2008
- System SHRDLU (opis)
- Turing A., Computing Machinery and Intelligence, Mind 49: 433-460, 1950
- Wilson R., Cztery barwy wystarczą, czyli o kolorowaniu map, Delta, czerwiec 2004
OPROGRAMOWANIE