Search

International audience; Summary This paper presents three AltaRica models and their analyses done to progressively assess the safety of the operation of an autonomous robot on an airfield as well as the functional and hardware architectures of the robot. The methodology and the experiment feedback are discussed.; Cet article présente trois modèles AltaRica et leurs analyses faites pour évaluer progressivement la sécurité de l'opération d'un robot autonome sur un aérodrome ainsi que les architectures fonctionnelle et matérielle du robot. La méthodologie utilisée et le retour d'expérience sont discutés.

International audience; The aim of this paper is to show what kinds of models and safety analysis can be produced with AltaRica MBSA framework for a robot which has to check lights on runways in an airport. As the industrial application was somewhat complex, it raises some questions about the modelling methodology to use in order to get self-consistent whole models which deal with operations as well as with functional and physical architecture, and which are easy to validate, extend or to update, in order to be used for a safe design.; Le but de l’article est de montrer quels types de modèles et d’analyses de safety peuvent être produits avec l’environnement de MBSA AltaRica, pour un robot qui doit vérifier les lampes bordant les pistes aéroportuaires. Sur cette application industrielle complexe sont abordées des questions sur la méthodologie à adopter pour obtenir des modèles consistants concernant les aspects opérationnels, fonctionnels et physiques, et qui soient également faciles à valider et compléter pour pouvoir être utilisés pour une conception sûre du système étudié.

International audience; This paper focuses on issues that are raised by the implementation of ethics in autonomous machines. What is at stake with automated “ethical” reasoning is first highlighted. Then, starting from an ethical dilemma situation involving an autonomous car, we give some features of a formal model taking several ethical frameworks into account. A final discussion allows us to deal with the various model biases and subjectivity sources that are inherent in the approach.; Cet article propose une étude des problématiques liées à la mise en oeuvre de l’éthique dans les machines autonomes. Nous analysons dans un premier temps les enjeux du raisonnement « éthique » automatisé. En nous appuyant sur une situation de dilemme éthique impliquant une voiture autonome, nous donnons ensuite les éléments de formalisme de différents cadres éthiques. Une discussion proposée en dernière partie met en évidence les sources de subjectivité et les différents biais de modélisation inhérents à la démarche.

L'objectif de cet article est de définir un langage logique pour exprimer des politiques de partage d'information dans un système multi-agents. Nous proposons d'utiliser un langage fondé sur la logique du premier ordre pour exprimer des politiques via des concepts comme le temps, les actions, le contexte, les rôles dans une organisation et des notions déontiques. Nous définissons alors les propriétés de cohérence et de complétude d'une telle politique. The aim of this paper is to define a logical language to express information sharing policies for multiagent systems, which have to cope with dynamical environments. We propose to use a first-order logic base language to express policies via concepts like time, action, context, roles in organizations and deontic notions. We define then consistency for a sharing policy and propose two definitions for policy completeness.

The aim of this paper is to define a logical language to express information sharing policies for multi-agent systems, which have to cope with dynamical environments. We propose to use a first-order logic base language to express policies via concepts like time, action, context, roles in organizations and deontic notions.We define then consistency for a sharing policy and propose two definitions for policy completeness.

Dans cet article, nous étudions la notion de capacité et en particulier sa relation à la notion d’actions, dans un contexte multi-agents. Après avoir proposé une définition informelle de la notion de capacité, nous en proposons une modélisation dans le calcul des situations.

International audience; None of the classical access control models such as DAC, MAC, RBAC, TBAC or TMAC is fully satisfactory to model security policies that are not restricted to static permissions but also include contextual rules related to permissions, prohibitions, obligations and recommendations. This is typically the case of security policies that apply to the health care domain. In this paper, we suggest a new model that provides solutions to specify such contextual security policies. This model, called Organization based access control, is presented using a formal language based on first-order logic.; Les modèles de contrôle d’accès comme DAC, MAC, RBAC, TBAC ou TMAC ne permettent demodéliser que des politiques de sécurité qui se restreignent à des permissions statiques. Ils n’offrent pas lapossibilité d’exprimer des règles contextuelles relatives aux permissions, aux interdictions, aux obligations etaux recommandations. Ce type de règle est particulièrement utile pour exprimer des politiques de sécurité dans ledomaine médical. Dans cet article, nous proposons un nouveau modèle qui permet de spécifier de tellespolitiques de sécurité contextuelles. Ce modèle appelé Organisation Based Access Control (ORBAC) s’appuiesur un langage formel basé sur la logique du premier ordre.

International audience; Cet article présente des travaux menés dans le projet MP6 1 . Il montre comment, compte tenu de la sensibilité des informations manipulées, les Systèmes d'Information et Communication en Santé et Social (SICSS) peuvent être convoités par des individus malintentionnés. Sont alors présentés les objectifs de MP6 face au besoin crucial de sécurité informatique, dans un domaine où la dynamicité des contextes d'exploitation et la complexité organisationnelle des organismes utilisateurs excluent des solutions développées dans d'autres secteurs, comme la défense ou la banque. MP6 vise notamment à définir un outil d'assistance à l'élaboration de politiques de sécurité pour les SICSS: cet outil doit permettre à l'utilisateur (par exemple un médecin DIM 2) d'exprimer une politique sous la forme d'un ensemble de règles, puis de vérifier qu'elle respecte des propriétés attendues (disponibilité, intégrité, confidentialité, auditabilité, etc.). L'article présente un ensemble de concepts nécessaires pour exprimer une politique de sécurité tenant compte des spécificités des mondes santé et social. Il montre enfin comment la capacité expressive et le mécanisme déductif de certaines logiques non classiques permettent de décrire formellement une telle politique de sécurité et de calculer automatiquement si elle vérifie les propriétés de sécurité souhaitées.

La première partie de ce document concerne le problème de l'aide à la réutilisation de logiciels existants. On montre d'abord l'intérêt potentiel de techniques d'intelligence artificielle dans cet objectif. Une étude de système expert est réalisée, suivie de la conception d’une maquette appliquée au domaine du calcul scientifique : les connaissances sont modélisées en logique des prédicats. Dans le cadre de l'expérimentation de cette maquette, le problème des explications négatives (pourquoi ne peut-on pas conclure tel fait ?), rarement traité lorsque les connaissances sont exprimées en logique des prédicats, a été soulevé ; pourtant cette fonction est aussi importante que la résolution de problème pour un système expert. Dans la seconde partie est donc proposée une méthode de génération d'explications négatives structurées par niveaux de détails, basée sur une représentation de la résolution par un arbre ET-OU. The first part of this document deals with the problem of aiding in reusing existing software components. The possible interest of artificial intelligence techniques for this aim is first shown. The feasibility for an expert system has been studied, and then a prototype in the field of numerical mathematics has been designed ; knowledge is formalized within predicate logic. During the experimentation of this prototype, the problem of negative explanation generation (why can't be this goal deduced ?), seldom dealt with when knowledge is formalized within predicate logic, has been focussed on ; this function is as important as problem solving for an expert system. So in the second part, a method which generates negative explanations, structured by levels of detail and based upon a representation of the search space by an AND/OR tree, is proposed.