A characterization of belief merging operators in the regular horn fragment of signed logic

Pilar Dellunde*

*Corresponding author for this work

Research output: Chapter in BookChapterResearchpeer-review

Abstract

In this paper, we present a set of logical postulates for belief merging in the set of all regular signed Horn formulas. Proving a representation result, we show that regular Horn merging in signed logic can be seen as an aggregation problem on rankings of possible interpretations in this many-valued setting.

Original languageEnglish
Title of host publicationModeling Decisions for Artificial Intelligence - 17th International Conference, MDAI 2020, Proceedings
EditorsVicenc Torra, Yasuo Narukawa, Jordi Nin, Núria Agell
Pages3-15
Number of pages13
DOIs
Publication statusPublished - 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12256 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • Belief change
  • Belief merging
  • Horn clause
  • Signed logic

Fingerprint Dive into the research topics of 'A characterization of belief merging operators in the regular horn fragment of signed logic'. Together they form a unique fingerprint.

Cite this