« Représenter des connaissances et raisonner avec des règles »
- Le stupide [...] se trompe dans son raisonnement. C'est celui qui dit [...] que tous les Athéniens sont mortels, tous les habitants du Pirée sont mortels, et donc tous les habitants du Pirée sont athéniens.
- Ce qui est vrai.
- Oui, mais par hasard. Le stupide peut même dire une chose juste, mais pour des raisons erronées.
Depuis 1998, je travaille sur des formalismes de représentation de connaissances et de raisonnement, fondés logiquement, dont les objets sont des règles. Mes recherches englobent la spécification de langages, la recherche de compromis expressivité/efficacité, le développement d'algorithmes et d'outils logiciels, jusqu'à la modélisation dans le cadre de projets applicatifs.
