Article Dans Une Revue Journal of Artificial Intelligence Research Année : 2026

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality

Résumé

We introduce Qiana, a logic framework for reasoning on formulas that are true only in specific contexts. In Qiana, it is possible to quantify over both formulas and contexts to express, e.g., that “everyone knows everything Alice says”. Qiana also permits paraconsistent logics within contexts, so that contexts can contain contradictions. Furthermore, Qiana is based on first-order logic, and is finitely axiomatizable, so that Qiana theories are compatible with pre-existing first-order logic theorem provers. We show how Qiana can be used to represent temporality, event calculus, and modal logic. We also discuss different design alternatives of Qiana.

Fichier principal
Vignette du fichier
main.pdf (782.08 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05575513 , version 1 (01-04-2026)

Licence

Identifiants

Citer

Simon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian Suchanek. Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality. Journal of Artificial Intelligence Research, 2026, 85, pp.12. ⟨10.1613/jair.1.18402⟩. ⟨hal-05575513⟩
230 Consultations
47 Téléchargements

Altmetric

Partager

  • More