Válasszon nyelvet

   +(36) 88 624 021 |    dekanititkarsag@mik.uni-pannon.hu |    8200 Veszprém, Egyetem utca 10. I. épület

Válasszon nyelvet

Tárgyfelelős: Dr. Hangos Katalin, egyetemi tanár

Tárgyfelelős adatai:
e-mail: hangos.katalin@mik.uni-pannon.hu

A tárgy a következő tárgy ismeretét tételezi fel, azokra épít:
Mesterséges intelligencia


Tematika:

A tárgy keretében a mesterséges intelligencia eszközök néhány válogatott mérnöki alkalmazásával ismerkednek meg a hallgatók. A műszaki informatika szakon nem oktatott szükséges mérnöki alapismereteket a kurzus során elsajátítják a hallgatók. Az értékelés egy egyéni projektfeladat megoldása alapján történik. 

T1. Ütemezési eljárások tervezése és vizsgálata
(Model-based generation and verification of  scheduling procedures)
- ütemezési eljárások és formális leírásuk
- bizonytalan dinamikus rendszerek leírása kvalitatív modellekkel
- dinamikus rendszerek leírása színezett Petri hálókkal
- ütemezési eljárások analízise színezett Petri háló modellekkel

T2. Meghibásodás detektálás és diagnosztika bizonytalan dinamikus modellek segítségével
(Fault detection and isolation by uncertain dynamic models)
- bizonytalan dinamikus modellek (szürke doboz modellek, kvalitatív modellek)
- SDG modelleken alapuló diagnosztika
- fuzzy kvalitatív szimuláción alapuló diagnosztika
- színezett Petri hálón alapuló diagnosztika

T3. Fuzzy szabályalapú rendszerek
(Fuzzy rule-based systems)
- fuzzy halmazok: definíció, műveletek, nyelvi módosítók
- következtetés fuzzy halmazokon és szabályokon
- irányítás tervezése és vizsgálata fuzzy szabályok alapján


Irodalom:

Hangos, K.M., R. Lakner and M. Gerzson: Intelligent control systems. An introduction with examples. Kluwer Academic Publishers, 2001.
Jensen, K. (1992). Colored Petri Nets I: Basic Concepts II. Springer-Verlag, Berlin Heidelberg.
Murata, T. (1989). Petri Net: Properties, Analysis and Applications. Proceedings of the IEEE, 37, 4, 541-580.
Weld, D.S., and de Kleer, J. (eds.) (1990). Readings in Qualitative Reasoning about Physical Systems. The Morgan Kaufman, 720p.
Reznik, L. (1997) Fuzzy controllers, BH Newnes