4,113 research outputs found
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals
We present two approaches to investigate the validity of connexive principles and related formulas and properties within coherence-based probability logic. Connexive logic emerged from the intuition that conditionals of the form if not-A, then A, should not hold, since the conditional’s antecedent not-A contradicts its consequent A. Our approaches cover this intuition by observing that the only coherent probability assessment on the conditional event A | not-A is p(A | not-A) = 0. In the first approach we investigate connexive principles within coherence-based probabilistic default reasoning, by interpreting defaults and negated defaults in terms of suitable probabilistic constraints on conditional events. In the second approach we study connexivity within the coherence framework of compound conditionals, by interpreting connexive principles in terms of suitable conditional random quantities. After developing notions of validity in each approach, we analyze the following connexive principles: Aristotle’s theses, Aristotle’s Second Thesis, Abelard’s First Principle, and Boethius’ theses. We also deepen and generalize some principles and investigate further properties related to connexive logic (like non-symmetry). Both approaches satisfy minimal requirements for a connexive logic. Finally, we compare both approaches conceptually
A reconstruction of the multipreference closure
The paper describes a preferential approach for dealing with exceptions in
KLM preferential logics, based on the rational closure. It is well known that
the rational closure does not allow an independent handling of the inheritance
of different defeasible properties of concepts. Several solutions have been
proposed to face this problem and the lexicographic closure is the most notable
one. In this work, we consider an alternative closure construction, called the
Multi Preference closure (MP-closure), that has been first considered for
reasoning with exceptions in DLs. Here, we reconstruct the notion of MP-closure
in the propositional case and we show that it is a natural variant of Lehmann's
lexicographic closure. Abandoning Maximal Entropy (an alternative route already
considered but not explored by Lehmann) leads to a construction which exploits
a different lexicographic ordering w.r.t. the lexicographic closure, and
determines a preferential consequence relation rather than a rational
consequence relation. We show that, building on the MP-closure semantics,
rationality can be recovered, at least from the semantic point of view,
resulting in a rational consequence relation which is stronger than the
rational closure, but incomparable with the lexicographic closure. We also show
that the MP-closure is stronger than the Relevant Closure.Comment: 57 page
Adaptive logic characterizations of input/output logic
We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic (dynamic) characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions
A Plausibility Semantics for Abstract Argumentation Frameworks
We propose and investigate a simple ranking-measure-based extension semantics
for abstract argumentation frameworks based on their generic instantiation by
default knowledge bases and the ranking construction semantics for default
reasoning. In this context, we consider the path from structured to logical to
shallow semantic instantiations. The resulting well-justified JZ-extension
semantics diverges from more traditional approaches.Comment: Proceedings of the 15th International Workshop on Non-Monotonic
Reasoning (NMR 2014). This is an improved and extended version of the
author's ECSQARU 2013 pape
- …