OpenPRS

Fiche dév Ens Sup - Recherche
  • Création ou MAJ importante : 12/12/08
  • Correction mineure : 28/05/14
Mots-clés

OpenPRS : langage de raisonnement procédural

Ce logiciel a été développé (ou est en cours de développement) dans la communauté de l'Enseignement Supérieur et de la Recherche. Son état peut être variable (cf champs ci-dessous) donc sans garantie de bon fonctionnement.
  • Site web
  • Système : UNIX-like
  • Version actuelle : 1.1b10 - août 2013
  • Licence(s) : BSD
  • Etat : diffusé, stable
  • Support : maintenu, sans développement en cours
  • Concepteur(s) : François-Félix Ingrand
  • Contact concepteur(s) : openprs at laas.fr
  • Laboratoire(s), service(s)... : LAAS

 

Fonctionnalités générales du logiciel

OpenPRS est un environnement logiciel permettant de réaliser des applications utilisant le raisonnement procédural.
Le concept de raisonnement procédural est apparu dans les années 1980 au laboratoire SRI international, à Menlo Park en Californie. Il a été l'objet de nombreux projets de recherches et de publications.

OpenPRS est un environnement de développement pour le raisonnement procédural écrit entièrement en langage C et disponible sur les systèmes Unix sous une licence libre.

Le raisonnement procédural est constitué d'un ensemble d'outils et de méthodes pour représenter et exécuter des plans et des procédures. Ces plans ou procédures sont des séquences d'actions conditionnelles qui peuvent être exécutées soit pour obtenir un résultat donné, soit en réaction à une situation donnée. Il s'agit d'un compromis entre des représentations purement déclaratives et des représentations purement impératives de la connaissance.

OpenPRS est constitué d'un moteur d'exécution de programmes PRS, d'un éditeur graphique (utilisant le système X11/Motif) et d'outils de communication pour la mise au point et l'intégration d'OpenPRS dans d'autres environnements.

Un mécanisme de lien du moteur d'exécution avec des procédures en langage C permet à OpenPRS de s'interfacer au monde réel.

En particulier OpenPRS propose une interface avec GenoM (via le middleware pocolibs) pour contrôler l'exécution d'un ensemble de procédures dans une couche fonctionnelle programmée à l'aide de GenoM.

Contexte d’utilisation du logiciel

Le formalisme PRS a été proposé par le SRI pour des applications spatiales. Il a ensuite été utilisé au LAAS en robotique et pour des applications de systèmes complexes en général.

Publications liées au logiciel
  • Ingrand, F. F. and Georgeff, M. P. and Rao, A. S. An Architecture for Real-Time Reasoning and System Control, IEEE Expert, Knowledge-Based Diagnosis in Process Engineering volume 7, number 6, Decembre 1992.
  • F. F. Ingrand and R. Chatila and R. Alami F. Robert OPRS: A High Level Supervision and Control Language for Autonomous Mobile Robots IEEE} International Conference on Robotics
    and Automation, St Paul, (USA), 1996.
  • R. Alami and R. Chatila and S. Fleury and M. Ghallab and F. Ingrand, An Architecture for Autonomy, International Journal of Robotics Research, Special Issue on Integrated Architectures for Robot Control and Programming, 1998.