Calcul de plans d'actions : des méthodes déductives vers les méthodes algébriques / Olivier Bartheye ; sous la direction de Alain Colmerauer

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1994

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Modalité (logique)

Logique de seuil

Colmerauer, Alain (1941-2017 ; informaticien) (Directeur de thèse / thesis advisor)

Université d'Aix-Marseille II. Faculté des sciences (1969-2011) (Autre partenaire associé à la thèse / thesis associated third party)

Université Aix-Marseille II (1969-2011) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : La mise en oeuvre efficiente d'un procédé de calcul de plans d'actions dans un cadre informatique nécessite une analyse approfondie des méthodes et des modèles. Le but à atteindre se concrétiserait par la mise en place d'un algorithme performant qui à partir d'une requête sous forme logique dénotant une transition entre deux états d'un univers dynamique et d'un système d'actions modélisées, produit une réponse à cette requête sous la forme d'une séquence d'actions. L'objet de ce travail de thèse est de déterminer aussi précisément que possible ce qui unit et ce qui sépare l'arithmétique du calcul déductif et celle du calcul de plans d'actions. En s'appuyant sur un formalisme adapté, cette analyse propose un certain nombre d'orientations concernant la conception d'une procédure de décision se distinguant éventuellement de la déduction.