Source author record

Gabriele Kern-Isberner

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Artificial Intelligence math.NT

Catalog footprint

Research overview

6works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A Conditional Perspective on the Logic of Iterated Belief Contraction

In this article, we consider iteration principles for contraction, with the goal of identifying properties for contractions that respect conditional beliefs. Therefore, we investigate and evaluate four groups of iteration principles for contraction which consider the dynamics of conditional beliefs. For all these principles, we provide semantic characterization theorems and provide formulations by postulates which highlight how the change of beliefs and of conditional beliefs is constrained, whenever that is possible. The first group is similar to the syntactic Darwiche-Pearl postulates. As a second group, we consider semantic postulates for iteration of contraction by Chopra, Ghose, Meyer and Wong, and by Konieczny and Pino Pérez, respectively, and we provide novel syntactic counterparts. Third, we propose a contraction analogue of the independence condition by Jin and Thielscher. For the fourth group, we consider natural and moderate contraction by Nayak. Methodically, we make use of conditionals for contractions, so-called contractionals and furthermore, we propose and employ the novel notion of $α$ -equivalence for formulating some of the new postulates.

preprint2022arXiv

On Establishing Robust Consistency in Answer Set Programs

Answer set programs used in real-world applications often require that the program is usable with different input data. This, however, can often lead to contradictory statements and consequently to an inconsistent program. Causes for potential contradictions in a program are conflicting rules. In this paper, we show how to ensure that a program $\mathcal{P}$ remains non-contradictory given any allowed set of such input data. For that, we introduce the notion of conflict-resolving $λ$ - extensions. A conflict-resolving $λ$ -extension for a conflicting rule $r$ is a set $λ$ of (default) literals such that extending the body of $r$ by $λ$ resolves all conflicts of $r$ at once. We investigate the properties that suitable $λ$ -extensions should possess and building on that, we develop a strategy to compute all such conflict-resolving $λ$ -extensions for each conflicting rule in $\mathcal{P}$ . We show that by implementing a conflict resolution process that successively resolves conflicts using $λ$ -extensions eventually yields a program that remains non-contradictory given any allowed set of input data.

preprint2019arXiv

A Conditional Perspective for Iterated Belief Contraction

According to Boutillier, Darwiche, Pearl and others, principles for iterated revision can be characterised in terms of changing beliefs about conditionals. For iterated contraction a similar formulation is not known. This is especially because for iterated belief change the connection between revision and contraction via the Levi and Harper identity is not straightforward, and therefore, characterisation results do not transfer easily between iterated revision and contraction. In this article, we develop an axiomatisation of iterated contraction in terms of changing conditional beliefs. We prove that the new set of postulates conforms semantically to the class of operators like the ones given by Konieczny and Pino Pérez for iterated contraction.

preprint2015arXiv

On the generalized Hurwitz equations and the Baragar-Umeda equations

We consider the generalized Hurwitz equation $a_1x_1^2+ \cdots +a_nx_n^2 = dx_1 \cdots x_n-k$ and the Baragar-Umeda equation $ax^2+by^2+cz^2=dxyz+e$ for solvability in integers.

preprint2013arXiv

Stratified Labelings for Abstract Argumentation

We introduce stratified labelings as a novel semantical approach to abstract argumentation frameworks. Compared to standard labelings, stratified labelings provide a more fine-grained assessment of the controversiality of arguments using ranks instead of the usual labels in, out, and undecided. We relate the framework of stratified labelings to conditional logic and, in particular, to the System Z ranking functions.

preprint2011arXiv

A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions

In order to give appropriate semantics to qualitative conditionals of the form "if A then normally B", ordinal conditional functions (OCFs) ranking the possible worlds according to their degree of plausibility can be used. An OCF accepting all conditionals of a knowledge base R can be characterized as the solution of a constraint satisfaction problem. We present a high-level, declarative approach using constraint logic programming techniques for solving this constraint satisfaction problem. In particular, the approach developed here supports the generation of all minimal solutions; these minimal solutions are of special interest as they provide a basis for model-based inference from R.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.