Ligęza Antoni, prof. dr hab. inż.

WEAIiIB-kis Katedra Informatyki Stosowanej

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej

informatyka techniczna i telekomunikacja

100

Habilitacja: Logiczne podstawy systemów sterowania z bazą wiedzy. Reprezentacja wiedzy, wnioskowanie i własności teoretyczne.
Wersja tytułu:: Logical foundations for knowledge-based control systems. Knowledge representation, reasoning and theoretical properties.
Sygn.:: C 824
Wydział:: AGH Wydział Elektrotechniki, Automatyki i Elektroniki
Data uchwały Rady Wydziału:: 19.05.1994
Zatwierdzenie CKK:: 24.10.1994
Stopień naukowy:: dr hab. nauk technicznych
Dyscyplina:: informatyka - sztuczna inteligencja
Słowa kluczowe:: informatyka; sztuczna inteligencja; automatyczne wnioskowanie; systemy regułowe; bazy wiedzy; sterowanie