Précédent : Résolution de problèmes et modèles Remonter : Fondements scientifiques Suivant : Domaines d'applications
Précédent : Résolution de problèmes et modèles
Remonter : Fondements scientifiques Suivant :
Domaines
d'applications
La représentation des connaissances dans des domaines complexes requiert souvent la modélisation de systèmes dynamiques. C'est typiquement le cas en biologie du développement lorsque l'on veut effectuer la modélisation des interactions géniques qui mettent en jeu des réseaux complexes d'activations et d'inhibitions. L'objectif poursuivi par le projet Sherpa est d'obtenir une automatisation, ou tout au moins une assistance, pour les différentes tâches du processus de modélisation et de simulation de systèmes dynamiques. Ces tâches concernent la construction, révision et validation du modèle, la réalisation des simulations, l'analyse des résultats de simulation. Il s'agit également de rendre plus aisées la construction et la maintenance des modèles en améliorant leur intelligibilité et leur réutilisabilité.
Dans cette optique, le projet Sherpa étudie l'interaction entre les connaissances symboliques et numériques qui composent les systèmes dynamiques complexes. Les premières décrivent les entités du domaine d'application, mais également des relations entre ces entités qui ne mettent pas directement en jeu des quantités numériques (choix de modélisation, conditions de validité des équations, ...). Les secondes décrivent les équations et les contraintes liant les propriétés numériques des entités du domaine (variables du modèle) dans un formalisme mathématique. Le projet propose des formalismes permettant de représenter de manière homogène ces deux types de connaissances ainsi que des mécanismes capables de les exploiter, par exemple pour réaliser de la simulation sous contraintes ou effectuer une construction automatique de modèles à partir de fragments.