Gradual Semantics for Logic-Based Bipolar Graphs Using T-(Co)norms - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2020

Gradual Semantics for Logic-Based Bipolar Graphs Using T-(Co)norms

Abstract

In this paper we consider a bipolar graph structure encoding conflicting knowledge with logic formulas. Gradual semantics provide a way to assign strength values in the unit interval to nodes (i.e. logical inference steps) in the bipolar graph. Here, we introduce a new class of semantics based on the notions of T-norms and T-conorms and show that they handle circular reasoning and satisfy desirable properties such as provability and rewriting.
Fichier principal
Vignette du fichier
FAIA-325-FAIA200166.pdf (299.17 Ko) Télécharger le fichier

Dates and versions

lirmm-03037284 , version 1 (03-12-2020)

Licence

Attribution - NonCommercial

Identifiers

Cite

Martin Jedwabny, Madalina Croitoru, Pierre Bisquert. Gradual Semantics for Logic-Based Bipolar Graphs Using T-(Co)norms. ECAI 2020 - 24th European Conference on Artificial Intelligence, Aug 2020, Santiago de Compostela (virtual), Spain. pp.777-783, ⟨10.3233/FAIA200166⟩. ⟨lirmm-03037284⟩
100 View
55 Download

Altmetric

Share

Gmail Facebook X LinkedIn More