Order Distances and Split Systems

Given a pairwise distance D on the elements in a finite set X, the order distanceΔ(D) on X is defined by first associating a total preorder ≼x on X to each x ∈X based on D, and then quantifying the pairwise disagreement between these total preorders. The order distance can be useful in relational analyses because using Δ(D) instead of D may make such analyses less sensitive to small variations in D. Relatively little is known about properties of Δ(D) for general distances D. Indeed, nearly all previous work has focused on understanding the order distance of a treelike distance, that is, a distance that arises as the shortest path distances in a tree with non-negative edge weights and X mapped into its vertex set. In this paper we study the order distance Δ(D) for distances D that can be decomposed into sums of simpler distances called split-distances. Such distances D generalize treelike distances, and have applications in areas such as classification theory and phylogenetics.

Revision and Conditional Inference for Abstract Dialectical Frameworks

For propositional beliefs, there are well-established connections between belief revision, defeasible conditionals and nonmonotonic inference. In argumentative contexts, such connections have not yet been investigated. On the one hand, the exact relationship between formal argumentation and nonmonotonic inference relations is a research topic that keeps on eluding researchers despite recently intensified efforts, whereas argumentative revision has been studied in numerous works during recent years. In this paper, we show that similar relationships between belief revision, defeasible conditionals and nonmonotonic inference hold in argumentative contexts as well. We first define revision operators for abstract dialectical frameworks, and use such revision operators to define dynamic conditionals by means of the Ramsey test. We show that such conditionals can be equivalently defined using a total preorder over three-valued interpretations, and study the inferential behaviour of the resulting conditional inference relations.

On uniform belief revision

Rational belief-change policies are encoded in the so-called AGM revision functions, defined in the prominent work of Alchourrón, Gärdenfors and Makinson. The present article studies an interesting class of well-behaved AGM revision functions, called herein uniform-revision operators (or UR operators, for short). Each UR operator is uniquely defined by means of a single total preorder over all possible worlds, a fact that in turn entails a significantly lower representational cost, relative to an arbitrary AGM revision function, and an embedded solution to the iterated-revision problem, at no extra representational cost. Herein, we first demonstrate how weaker, more expressive—yet, more representationally expensive—types of uniform revision can be defined. Furthermore, we prove that UR operators, essentially, generalize a significant type of belief change, namely, parametrized-difference revision. Lastly, we show that they are (to some extent) relevance-sensitive, as well as that they respect the so-called principle of kinetic consistency.

Syntax Splitting for Iterated Contractions

Parikh developed the notion of syntax splitting to describe belief sets with independent parts. He also formulated a postulate demanding that belief revisions respect syntax splittings in belief sets. The concept of syntax splitting was later transferred to epistemic states with total preorders and ranking functions by Kern-Isberner and Brewka along with corresponding postulates for belief revisions. Besides revision, contraction is also a central operation in the field of general belief change. In this paper, we analyse belief contractions with respect to syntax splitting. Based on the work on syntax splitting for revision, we develop syntax splitting postulates for contractions on ranking functions, on epistemic states with total preorder, and on belief sets. Finally, we evaluate different contractions from the literature, namely moderate contraction, natural contraction, lexicographic contraction, and c-contractions with respect to the newly developed contraction postulates.

Order preserving functions on ordered topological vector spaces

In this paper we prove the existence of continuous order preserving functions on ordered topological vector spaces in an infinite-dimensional setting. In a certain class of topological vector spaces we prove the existence of topologies for which every continuous total preorder has a continuous order preserving representation and show that the Mackey topology is the finest topology with this property. We also prove similar representation theorems for reflexive Banach spaces and for Banach spaces that may not have a pre-dual.