Learning to Classify Logical Formulas Based on Their Semantic Similarity - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Learning to Classify Logical Formulas Based on Their Semantic Similarity

Résumé

An important task in logic, given a formula and a knowledge base which represents what an agent knows of the current state of the world, is to be able to guess the truth value of the formula. Logic reasoners are designed to perform inferences, that is, to decide whether a formula is a logical consequence of the knowledge base, which is stronger than that and can be intractable in some cases. In addition, under the open-world assumption, it may turn out impossible to infer a formula or its negation. In many practical situations, however, when an agent has to make a decision, it is acceptable to resort to heuristic methods to determine the probable veracity or falsehood of a formula, even in the absence of a guarantee of correctness, to avoid blocking the decisionmaking process and move forward. This is why we propose a method to train a classification model based on available knowledge in order to be able of accurately guessing whether an arbitrary, unseen formula is true or false. Our method exploits a kernel representation of logical formulas based on a model-theoretic measure of semantic similarity. The results of experiments show that the proposed method is highly effective and accurate.
Fichier principal
Vignette du fichier
PRIMA_2022-cr.pdf (463.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03913481 , version 1 (27-12-2022)

Identifiants

Citer

Ali Ballout, Célia da Costa Pereira, Andrea G. B. Tettamanzi. Learning to Classify Logical Formulas Based on Their Semantic Similarity. PRIMA 2022 - Principles and Practice of Multi-Agent Systems - 24th International Conference, Nov 2022, Valencia, Spain. pp.364-380, ⟨10.1007/978-3-031-21203-1_22⟩. ⟨hal-03913481⟩
70 Consultations
102 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More