Noël Laverny

Révision, mise à jour et planification en logique doxastique graduelle

Introduction d'une logique modale permettant de raisonner sur les croyances graduelles d'un agent et utilisation en planification

• Broschiertes Buch

Produktbeschreibung

Une question essentielle pour un agent intelligent devant faire évoluer un système est : " Quelles actions effectuer pour mener à bien ma tâche ? ". Pour y répondre, l'agent doit prévoir l'effet de ses plans d'action sur le système. Les modèles utilisés en planification classique ne suffisent plus dès lors que l'agent n'a pas une connaissance parfaite du système ou lorsque les actions ne sont pas déterministes. Nous développons une logique modale doxastique permettant de raisonner sur les croyances graduelles de l'agent. Nous offrons un cadre formel (syntaxique et sémantique) pour la progression (" on-line " et " off-line ") d'états de croyances graduels par des programmes incluant des actions épistémiques non fiables et actions ontiques pouvant échouer. Tandis que la progression " on-line " permet l'exécution des programmes, la progression " off-line " permet l'évaluation de ceux-ci par rapport à un but précis et donc l'établissement d'un plan d'action adapté à la tâche de l'agent.

Produktdetails

• Verlag: Éditions universitaires européennes
• Seitenzahl: 300
• Erscheinungstermin: 5. Juli 2011
• Französisch
• Abmessung: 220mm x 150mm x 18mm
• Gewicht: 465g
• ISBN-13: 9786131585296
• ISBN-10: 6131585296
• Artikelnr.: 33688965

Autorenporträt

Noël LAVERNY, professeur agrégé de Mathématiques (1989) etDocteur es Informatique, Intelligence Artificielle (2006).