Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agent - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agent

Résumé

Nous nous intéressons au problème de la satisfaisabilité d'une formule en logique monadique du premier ordre. Cette logique constitue un fragment décidable de la logique du premier ordre, et il est bien connu que le problème de satisfaisabilité associé est NEXPTIME-complet. Nous proposons une nouvelle approche pour le résoudre, qui consiste à traduire la formule monadique du premier ordre vers une extension de la logique de la connaissance S5, puis à résoudre le problème de satisfaisabilité associé. L'intérêt de cette traduction est qu'elle permet de s'appuyer sur la littérature sur la compilation de connaissances pour S5, et d'ainsi tirer parti de représentations compactes sur lesquelles les opérations sont efficaces. L'évaluation expérimentale de cette nouvelle approche étant en cours, cet article ne peut rendre compte formellement de son efficacité en pratique, mais fournit plusieurs pistes selon lesquelles son utilité potentielle est manifeste.
Fichier principal
Vignette du fichier
paper 16.pdf (184.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01837924 , version 1 (13-07-2018)

Identifiants

  • HAL Id : hal-01837924 , version 1

Citer

Alexandre Niveau, François Schwarzentruber, Bruno Zanuttini. Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agent. Actes des 12es journées d'intelligence artificielle fondamentale (JIAF 2018), Jun 2018, Amiens, France. ⟨hal-01837924⟩
503 Consultations
145 Téléchargements

Partager

Gmail Facebook X LinkedIn More