Matematicko-fyzikálna fakulta, Univerzita Komenského

Osnova predmetu

Kód: M-INUI15-00

Názov Kvalitatívne modelovanie a simulácia

Študijný odbor : Informatika

Špecializácia(blok): Umelá inteligencia

Garantuje:

PhDr. Ján Šefránek, CSc.

Zabezpečuje: Mgr. Martin Takáč

Semester: Z

Doporučený v: 4.r

Rozsah a forma výučby: P/C

(kurz-K, prednáška-P, seminár-S, cvičenie-C, lab.cvič.-L, iné-I)

Týždenný: 2/2 Za semester:

ECTS

Kredity: 6

Prerekvizity M-INUI01-00

Ukončenie predmetu a spôsob hodnotenia: priebežne 0 %

v skúškovom obd. 100 %

Cieľ predmetu:

Doplniť poznatky o kvalitatívnom usudzovaní v rozsahu dostatočnom pre diplomovú prácu alebo štátnu skúšku.

Stručný sylabus:

Reprezentácia neúplnych znalostí o systéme, abstrakcia od detailov so zachovaním kvalitatívne významných čŕt a predpovedanie správania. Fyzikálny systém, štruktúra, správanie, funkcia, model, modelovanie versus simulácia. Simulačný algoritmus QSIM a jeho vlastnosti. Príklady kvalitatívnych modelov – pružiny, nádoby, regulátory, metabolizmus. Metódy na zlepšenie výsledkov QSIMu. Komparatívna statika. Automatické modelovanie.

Literatúra:

  • B. Kuipers: Qualitative Reasoning – Modeling and Simulation with Incomplete Knowledge, MIT Press, Cambridge, MA, 1994.
  • D. S. Weld, J. de Kleer (eds.): Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, San Mateo, CA, 1990.
  • D. G. Bobrow (ed.): Qualitative Reasoning about Physical Systems, MIT Press, Cambridge, MA, 1985 (reprint Artificial Intelligence 24, 1984)

Kapacita predmetu:

Dátum poslednej úpravy osnovy:

25. 1. 2000