3148973177

	Gry • Reprezentacja wiedzy *	Pierwsze zastosowania
	- Przestrzeń stanów	- Szachy:
	• Metody wnioskowania	* Charles Babbage - Analytical
	- Algorytmy przeszukiwania	Engine
	przestrzeni stanów	* Claude Shannon (1950) - opis
	- Przeszukiwanie baz danych (np.	algorytmu
	dla końcówek szachowych)	* Alan Turing - opis algorytmu
	- Systemy uczące się	* Arthur Samuel (1963) -
	• Uwagi	program uczący się
	- Przejrzysta struktura formalna	- Warcaby
	problemu	- Go
	- Mała ilość wiedzy formalnej	- Układanka 16-pozycyjna
	niezbędnej do rozwiązania	- Kółko i krzyżyk
©AM	problemu

Automatyczne wnioskowanie i dowodzenie twierdzeń

• Reprezentacja wiedzy

-    Rachunek zdań

-    Rachunek predykatów ¹ Metody wnioskowania

-    Reguła odrywania (modus ponens)

-    Unifikacja (uzgadnianie)

-    Rezolucja (strategie rezolucyjne)

¹ Pierwsze zastosowania

-    Logic Theorist (Newell&Simon’63)

-    GPS - General Problem Solver (Newell&Simon’66)

-    Artificial Matematician

¹ Dziedziny współczesnych zastosowań

-    Projektowanie i weryfikacja układów' techniki cyfrowej (AURA'83, MRS’90)

-    Synteza i weryfikacja poprawności programów komputerowych (alg. RSA’84)

-    Sterowanie złożonymi systemami

10