| Program neve: |
| Tudáskezelés elmélete és alkalmazásai |
|
Program kezdete : |
2004. szeptember 01. |
| Lezárása : |
2008. április 30. |
|
| Program vezetõ(k): |
| | Mettől | Meddig |
| Dömösi Pál Béla |
2004. szeptember 01. |
2008. április 30. |
|
| Aktív hallgatók: |
9 |
| |
|
| Leírás: |
Klasszikus és nemklasszikus logikak. Automatikus tetelbizonyitas. Logikai programozas.
Formalis nyelvek. Absztrakt automatak kompozicioi. Mesterseges és termeszetes nyelvek gepi forditasa. Hipertext alapu informacioszervezesi modszerek. Tudasalapu rendszerek.
Ismeretreprezentacio es kovetkeztetes. Leiro logikak es eset alapu kovetkeztetesi modszerek.
Keresesi es optimalizalasi feladatok a mesterseges intelligenciaban. |
| Megjegyzés: |
|
