INTERFACE D'ACCES A L'INFORMATION

Les ontologies et les graphes de connaissances permettent de mieux caractériser des données et d’inférer de nouvelles connaissances en utilisant les technologies standardisées du web sémantique préconisées par le W3C. Ces graphes proviennent de données hétérogènes ou extraites de textes. Une fois accessibles sur le web, ils forment des ressources fiables, reliées entre elles et réutilisables pour améliorer la réutilisation de jeux de données en amont des modèles d’apprentissage automatique, mais aussi pour guider ou corriger ces modèles. Ce cours présentera les enjeux à utiliser ces techniques en entreprise, les principes et méthodes de construction d’ontologies et les langages du web sémantique (RDF, RDFS, OWL). Des TP seront prévus pour maîtriser les langages SPARQL (requêtes), SWRL (règles) et SHACL (contraintes) ainsi que l’éditeur d’ontologies PROTEGE.

Voir la page complète

1. Introduction au TAL
2. Text processing : représentation des textes en bag of words (tf.idf)
3. Text processing : Modèle statistique de langue (Language model)
4. Text processing : Représentation continue (LSI, word embedding: W2VEC, BERT, GPT, ...)
5. Concepts de base de la RI (Reherche d'Information)
6. Modèles de RI
7. Modèles de RI basés sur les LLM

Voir la page complète

Le plan du cours est le suivant :
- Introduction à Interaction Homme-Machine
- Méthodologies HCI & UX
- Architecture logicielle pour le développement HCI
- Génération de code et modèles croisés pour applications interactives
- Vérification et validation appliquées aux systèmes interactifs
- Méthodologies pour l'ingénierie système multidisciplinaire et itérative
- Évaluations des facteurs humains
- Co-simulation et enregistrement/relecture de données

Voir la page complète

Cours :

• Principaux concepts et terminologie : système, propagation des défaillances, exigences de sûreté de fonctionnement.

• Conception d'une architecture de système fiable : modèles de sécurité habituels 
• Modèles mathématiques et calculs pour l'évaluation de la sécurité des systèmes statiques à l'aide d'arbres de défaillance
• Modèles mathématiques et calculs pour l'évaluation de la sécurité des systèmes dynamiques à l'aide d'automates de mode AltaRica
• Vue d'ensemble du processus global de sécurité pour les aéronefs civils

Travaux pratiques :

• Évaluation de la sécurité d'un système aéronautique à l'aide d'arbres de défaillance
• Évaluation de la sécurité d'un système d'aéronef basée sur un modèle dynamique

Voir la page complète