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.

Belief change and 3-valued logics: Characterization of 19,683 belief change operators

In this work we introduce a 3-valued logic with modalities, with the aim of having a clear and precise representation of epistemic states, thus the formulas of this logic will be our epistemic states. Indeed, these formulas are identified with ranking functions of 3 values, a generalization of total preorders of three levels. In this framework we analyze some types of changes of these epistemic structures and give syntactical characterizations of them in the introduced logic. In particular, we introduce and study carefully a new operator called Cautious Improvement operator. We also characterize all operators that are definable in this framework.

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.

Belief Update in the Horn Fragment

In line with recent work on belief change in fragments of propositional logic, we study belief update in the Horn fragment. We start from the standard KM postulates used to axiomatize belief update operators; these postulates lend themselves to semantic characterizations in terms of partial (resp. total) preorders on possible worlds. Since the Horn fragment is not closed under disjunction, the standard postulates have to be adapted for the Horn fragment. Moreover, a restriction on the preorders (i.e., Horn compliance) and additional postulates are needed to obtain sensible characterizations for the Horn fragment, and this leads to our main contribution: a representation result which shows that the class of update operators captured by Horn compliant partial (resp. total) preorders over possible worlds is precisely that given by the adapted and augmented Horn update postulates. With these results at hand, we provide concrete Horn update operators and are able to shed light on Horn revision operators based on partial preorders.

FURTHER RESULTS ON THE CONTINUOUS REPRESENTABILITY OF SEMIORDERS

We study necessary and sufficient conditions for the continuous Scott-Suppes representability of a semiorder through a continuous real-valued map and a strictly positive threshold. In the general case of a semiorder defined on topological space, we find several necessary conditions for the continuous representability. These necessary conditions are not sufficient, in general. As a matter of fact, the analogous of the classical Debreu's lemma for the continuous representability of total preorders is no longer valid for semiorders. However, and in a positive direction, we show that if the set is finite those conditions are indeed sufficient. In particular, we characterize the continuous Scott-Suppes representability of semiorders defined on a finite set endowed with a topology.