Splitting Techniques for Conditional Belief Bases in the Context of c-Representations.

Marco Wilhelm*, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

Abstract

Splitting belief bases is fundamental for efficient reasoning and for better understanding interrelationships among the knowledge entities. In this paper, we survey the most important splitting techniques for conditional belief bases in the context of c-representations which constitute a specific class of ranking models with outstanding behavior not only with respect to belief base splitting, as shown in recent papers. We provide a splitting hierarchy, in particular by proving that safe conditional syntax splittings and case splittings are so-called CSP-constraint splittings. We advance the level of knowledge about CSP-constraint splittings and present an algorithm for computing CSP-constraint splittings.
Original languageEnglish
Title of host publicationLogics in Artificial Intelligence
Subtitle of host publication18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings
EditorsSarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, Magdalena Ortiz
PublisherSpringer, Cham
Pages462-477
ISBN (Electronic)978-3-031-43619-2
ISBN (Print)978-3-031-43618-5
DOIs
Publication statusPublished - 24 Sept 2023
Event18th European Conference on Logics in Artificial Intelligence: JELIA 2023 - Dresden, Germany
Duration: 20 Sept 202322 Sept 2023
https://jelia2023.inf.tu-dresden.de/

Publication series

SeriesLecture Notes in Computer Science
ISSN0302-9743

Conference

Conference18th European Conference on Logics in Artificial Intelligence
Country/TerritoryGermany
CityDresden
Period20/09/2322/09/23
Internet address

Cite this