Logiques Modales et Application à l’Interaction

Cours du M2R `Intelligence Artificielle : Raisonnement, Coopération, Langage'

Olivier.Gasquet, Andreas Herzig

Ce cours présente les principaux systèmes de logique modale puis une application au traitement formel de l’interaction.

Plan

Introduction : Histoire et motivation en IA
Systèmes monomodaux et multimodaux
1. Généralités sur la sémantique
2. Système K
  - Langage et Axiomatique
  - Sémantique (de Kripke) / Satisfaction, validité, vérité
  - Caractérisation (énoncé)
3. Les axiomes D, T, B, 4, 5
  - Lecture des axiomes, axiomatique
  - Sémantique du 2ième ordre
  - Sémantique du 1ier ordre
4. Déduction automatique et décidabilité : la méthode des tableaux
  - Règles classiques / pour K/ pour D, T, 4
  - Adéquation et complétude
  - Terminaison et test de boucle / Décidabilité
  - Stratégies complètes et terminantes, complexité
5. Systèmes multimodaux : multi-K et axiomes d'interaction
  - Axiomatique
  - Sémantique du 1er ordre
Application à la formalisation de l'interaction
1. Croyance
  - Omniscience
  - Introspection
  - Connaissance versus croyance
2. Actions
  - Pré-conditions et effets
  - Persistance (frame problem)
  - Calcul des situations
  - Causalité (STIT)
  - Actes de communication
3. Intentions
  - à la Cohen et Levesque :choix + engagement
  - à la Rao, Georgeff, Wooldridge: cadre B, D, I
4. Obligation
  - Mondes idéaux
  - Violation, paradoxe de Ross
  - Obligations secondaires (contrary-to-duties)

Documents

Transparents de la 1ère partie (O. Gasquet)
Transparents de la 2nde partie (A. Herzig)

Anciens examens

Andreas.Herzig@irit.fr | http://www.irit.fr/~Andreas.Herzig