Work

Belief Horn merging operators: Characterization results and implementations

Year: 2024

Type: article

Abstract: The paper contributes to the study of belief merging in many-valued logics, taking both a theoretical and implementation approach motivated by applications in real-world scenarios. We focus, in particular, on the Horn fragment of signed logic. On the one hand, a characterization of the class of models of a signed regular Horn formula and a sufficient condition for a signed Horn merging operator to satisfy logical IC-postulates are provided. On the other hand, an implementation of the belief merging process in the signed regular Horn fragment is presented.

Source: Fuzzy Sets and Systems

DOI: 10.1016/j.fss.2024.109099

Authors: Pilar Dellunde, Vicent Costa, Daniel Rivas-Barragan

Institutions: Universitat Autònoma de Barcelona, Consejo Superior de Investigaciones Científicas, Barcelona Graduate School of Mathematics, Artificial Intelligence Research Institute

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,680

OpenAlex ID: W4401438349

FWCI: 0.148

Cites: 47

Cited by: 1

Related to: 10