Skip to Main content Skip to Navigation
Conference papers

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

Martin Jedwabny 1 Madalina Croitoru 1 Pierre Bisquert 2, 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
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.
Document type :
Conference papers
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-03037284
Contributor : Pierre Bisquert Connect in order to contact the contributor
Submitted on : Thursday, December 3, 2020 - 8:53:51 AM
Last modification on : Friday, October 22, 2021 - 3:07:26 PM
Long-term archiving on: : Thursday, March 4, 2021 - 6:29:24 PM

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

104

Files downloads

56