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 Access content directly
Conference Papers Year : 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

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01837924 , version 1

Cite

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⟩
476 View
138 Download

Share

Gmail Facebook X LinkedIn More