Abstract FR:

La presente these se situe dans le domaine de la representation des connaissances. Plus precisement, nous nous interessons a la representation des actions et de leurs effets en logique ainsi qu'aux types de raisonnement qui sont la prediction, l'explication et la planification d'actions. L'etat de l'art contient un etude systematique de plusieurs logiques qui ont ete proposees dans ce domaine. En particulier, pour chacune d'entre elles, nous nous focalisons sur les solutions proposees pour les problemes du decor et de la ramification. En general, la plupart de ces logiques utilisent le principe du changement minimal pour resoudre le premier. Nous mettons en evidence comment ce principe induit des difficultes pour la solution du second. Nous etudions en particulier des notions de causalite qui ont ete recemment definies pour contrebalancer les effets drastiques de la minimisation. Ensuite, nous proposons d'etudier les phenomenes du raisonnement sur les actions dans une nouvelle logique des actions et des plans, lap. Lap est une simplification de la logique dynamique qui est suffisante pour traiter une grande partie des problemes lies au raisonnement sur les actions. L'utilisation de lap nous permet de profiter du cadre bien etabli des logiques modales, en particulier en ce qui concerne la semantique, l'axiomatique, et les procedures de decision. Finalement, nous proposons l'utilisation de la notion de dependance pour une solution monotone du probleme du decor dans lap. La dependance, vue comme une notion de causalite faible, est un element fondamental pour augmenter le pouvoir expressif des lois d'etat et d'actions, qui sont generalement utilisees pour resoudre le probleme de la ramification. Nous montrons comment integrer la dependance dans lap de facon a garder tous les avantages decrits, en particulier la procedure de decision.