Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 23 Next »

Impedances: duration

Description


This use case is optimized for satisfaction deduction strategy.



Scénario

Initialisation

Le maître du jeu définit le scénario a priori et ensuite regarde le jeu se passer (que le scénario soit définit en dur ou via l'éditeur). 

1ère partie: le départ des feux

(info) On commence au Gi, Thierry l'ESI fait les travaux vers chez Sina.

(warning) Feu 1 détecté dans la zone Sud Ouest du CGI (bureau de Paul), il bloque Nafé

(plus) Thierry l'ESI reçoit un appel sur sa radio. 

(plus) Thierry l'ESI va vérifier le bureau de Paul.

(plus) Thierry l'ESI confirme par radio la présence d'un feu.

(warning) L'alarme sonne.

(plus) Jacques SF commence le tour des bureaux || (plus) Thierry l'ESI va chercher un extincteur

(warning) Feu 2 démarre à cause des outils allumés de Thierry l'ESI, Sina est bloqué dans le bureau à côté

(plus) Jacques SF voit Nafé Bloqué

(plus) Jacques SF informe Thierry l'ESI

(plus) Jacques SF fait le tour des bureaux pour faire sortir les retardataires || (plus) Thierry l'ESI tente d'éteindre le Feu 1, avec l'extincteur qu'il a trouvé, pour libérer Nafé

(plus) Jacques SF trouve Robin avec ses écouteurs et le fait sortir  

(plus) Jacques SF voit le Feu 2 || (plus) Thierry l'ESI réussi à éteindre le Feu 1, il libère Nafé

(warning) Feu 2 grossit

(plus) Jacques SF informe Thierry l'ESI

(plus) Jacques SF prend un extincteur

(plus) Jacques SF et Thierry l'ESI tentent d'étendre à deux le second feu

(warning) Feu 1 repart

2ème partie: l'arrivée des premiers pompiers

(warning) Les pompiers arrivent: Le Chef d'Agrès, le Pompier 1, le Pompier 2. Ils savent grâce à R-IO que le Feu 2 n'est pas éteint, le Feu 1 est reparti.

(plus) Mr R-IO déduit et lance un processus qui permet de traiter les deux feux et le risque de mésinformation || (plus) Jacques SF et Thierry l'ESI sortent du bâtiment

(plus) Pompiers 1 et 2 et le Chef d'Agrès reçoivent leurs tâches

(plus) Chef d'Agrès questionne Jacques SF et Thierry l'ESI || (plus) Pompiers 1 ou 2 va éteindre le Feu 1 || (plus) Pompiers 1 ou 2 va éteindre le Feu 2 

(plus) Jacques SF compte les personnes sorties du CGI || (plus) Thierry l'ESI va chercher des informations supplémentaires auprès de la direction || (plus) Jacques SF informe le Chef d'Agrès qu'il manque une personne || (plus) Thierry l'ESI informe le Chef d'Agrès qu'il y a une bonbonne de gaz dans le bureau de Michel || Mr R-IO ajoute la personne bloquée (Sina) - Fact - et la bonbonne - Risk - au modèle. Le risque est lié au risque d'explosion de la base de connaissance, et le fait est lié au fait "victime" de la base de connaissance. Une divergence est détectée (R-IOTA). Un nouveau processus est déduit (R-IODA).

(plus) Pompiers 1 et 2 et le Chef d'Agrès reçoivent leurs nouvelles tâches 

(plus) Pompier 1 tente de trouver la personne manquante, mais les bureaux sont tous vides. || (plus) Pompier 2 va chercher la bonbonne pour la sortir du bâtiment

(plus) Pompier 1 évacue Sina || (warning) Pompier 2 éteint le Feu 2

(plus) Pompier 1 et 2 tente d'éteindre le Feu 1

Fin

Le jeu se termine au bout de 5/10 minutes quand les renforts des pompiers arrivent. A ce moment on a gagné si tout le monde est évacué (bonbonne inclus). 

NB : Feu1 doit être impossible à éteindre après avoir redémarré. Feu2 doit être très difficile à éteindre. Le but c'est pas que les feux soient éteints avant la fin du jeu. 

Vues de RIO pendant le scénario

Les capteurs initiaux

Les modèles initiaux

Functions F0Objectives O0Context C0

Le premier processus déduit


Ajouter une étape "ajout de description" pour une des tâches manuellement + pour toutes les autres, automatiquement, via l'ajout de description sur les fonctions


La présence d'une personne bloquée (Sina) et d'une bonbonne de gaz

Pensez à synchroniser!

Pensez à annuler le processus en cours sur R-IOTA

Le deuxième processus déduit




  • No labels