Cercetare fundamentala
-
pentru perioada 1972-1990:
- Automate probabiliste
- Limbaje formale
- Algebre booleene, Functii
booleene generalizate
-
dupa anul 1991:
- Latici in reprezentarea
cunostintelor (implicatiile teoriei
laticilor in studiul calculabilitatii
functiei raspuns pentru sisteme de
cunostinte bazate pe cadre)
- Abordare algebrica a
reprezentarii de cunostinte (utilizarea
algebrelor universale in reprezentarea
cunostintelor, metode algebrice de
reprezentare a cunostintelor si implicatiile
acestora in problem solving, semantica de
comunicare si sinteza imaginilor)
- Grafuri stratifiate, utilizare
in reprezentarea cunostintelor.
- Baze de cunostinte cu iesiri.
- Scheme semantice, utilizare in
reprezentarea cunostintelor.
|
|