Rechercher

[SDG15] Représentation et vérification d'un environnement intelligent à partir de spécifications utilisateur en langage naturel

Revue Nationale avec comité de lecture : Journal Revue d'Intelligence Artificielle , vol. 29(1), pp. 47-81 , 2015, (doi:10.3166/ria.29.47-81 )

Auteurs: D. Sadoun , C. Dubois , Y. Ghamri-Doudane , B. Grau

Mots clés: environnement intelligent, ontologie, spécifications, vérification formelle

Résumé: Aujourd’hui des capteurs et actionneurs associés à des périphériques de contrôle peuvent être installés n’importe où, notamment dans nos maisons, créant des environnements intelligents. Notre objectif est de permettre à un utilisateur de configurer son propre environnement intelligent en décrivant ses besoins, i.e. les règles de comportement de l’environnement, en langage naturel (LN). Nous explorons les possibilités offertes par une ontologie formelle pour faire le lien entre spécifications en LN et spécifications formelles. L’analyse des spécifications LN permet l’instanciation automatique de l’ontologie afin qu’elle représente le comportement décrit par l’utilisateur. Les règles de comportement représentées sont alors traduites en spécifications Maude, afin de compléter les vérifications possibles sous OWL. Nous montrons que tout au long de ce processus de formalisation, il est possible de vérifier la complétude, la cohérence et la conformité des exigences spécifiées et de maintenir une traçabilité entre spécification LN et spécifications formelles autorisant un retour précis à l’utilisateur.

Equipe: sys
Collaboration: LIMSI , IGM

BibTeX

@article {
SDG15,
title="{Représentation et vérification d'un environnement intelligent à partir de spécifications utilisateur en langage naturel}",
author="D. Sadoun and C. Dubois and Y. Ghamri-Doudane and B. Grau",
journal=" Revue d'Intelligence Artificielle ",
year=2015,
volume=29,
number=1,
pages=" 47-81 ",
doi="10.3166/ria.29.47-81 ",
}