Work

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

Year: 2024

Type: conference-paper

Abstract: 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.

DOI: 10.24963/kr.2024/28

Authors: Simon Coumes, Pierre-Henri Paris, François Schwarzentruber, Fabian M. Suchanek

Institutions: Télécom Paris, École Normale Supérieure de Rennes

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

OpenAlex ID: W4403792976

FWCI:

Cites:

Cited by:

Related to: 10