Which style of reasoning to choose in the face of conflicting information?

Meheus, Joke; Straßer, Christian; Verdée, Peter

doi:10.1093/logcom/ext030

Cited by 9 publications

(7 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…that B is permitted. 34 Since in our lower limit logics CMIO R we have modus ponens for ⇒, we can derive ¬out¬B from in A and in A ⇒ ¬out¬B. Depending on the rules in R we get other properties for conditional permissions.…”

Section: Permissions By Defaultmentioning

confidence: 98%

“…34 To simplify things, in our discussion of conditional permissions we here only consider the option of using the definition of permissions as known from Standard Deontic Logic where P is ¬O¬ (which translates to ¬out¬ in our setting). Another option would be to use a dedicated permission operator pout.…”

Section: Permissions By Defaultmentioning

confidence: 99%

“…The idea is simply to first form maximal consistent subsets of the factual input and subsequently to apply to each of these sets the respective I/O function. Both steps can straightforwardly be integrated in an AL framework that generalizes the framework presented in this paper by means of combining it with the techniques presented in [34].…”

Section: Prioritiesmentioning

confidence: 99%

See 2 more Smart Citations

Adaptive Logic Characterizations of Input/Output Logic

2016

Self Cite

View full text Add to dashboard Cite

Abstract.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 prooftheoretic (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.

show abstract

Section: Permissions By Defaultmentioning

confidence: 98%

Section: Permissions By Defaultmentioning

confidence: 99%

See 1 more Smart Citation

Adaptive Logic Characterizations of Input/Output Logic

2016

Self Cite

View full text Add to dashboard Cite

show abstract

“…In most discussions and applications of the standard format, the two strategies are considered separately, as two different ways to strengthen L, or even as two different "styles of reasoning" [21]. 4 Reliability is syntactically more straightforward, has a more cautious consequence relation, and is computationally less arduous, whereas minimal abnormality is more natural from a semantic viewpoint, yields a stronger consequence relation, and is computationally more complex.…”

Section: Aim Of This Papermentioning

confidence: 99%

“…In [21], a number of ALs are defined which characterize the Rescher-Manor consequence relations from [24] and generalize them to the predicate level. This is done by extending first order predicate logic with a dummy operator •, and translating premises by prefixing them with this operator.…”

Section: Finite S −mentioning

confidence: 99%

Adaptive strategies and finite-conditional premise sets

Straßer

Putte

2014

J Logic Computation

Self Cite

View full text Add to dashboard Cite

The standard format of adaptive logics makes use of two so-called strategies: reliability and minimal abnormality. While these are fairly well-known and frequently applied, the question of whether and when the two strategies are equi-epressive has so far remained unaddressed.In this paper, we show that for a specific, yet significant class of premise sets, the consequence set of an adaptive logic that uses the minimal abnormality strategy can be expressed by another adaptive logic that uses the reliability strategy. The basic idea is that we close the set of abnormalities under conjunction. We show that the consequence sets obtained by both logics from a premise set Γ is identical if and only if Γ is finite-conditional. The latter property is specified in terms of a well-known characterization of minimal abnormality. In addition, we discuss other (stronger) properties of premise sets that have been considered in the literature, showing each of them to imply finite-conditionality.

show abstract

Defeasible Reasoning

Andreas¹

2020

Synthese Library

View full text Add to dashboard Cite

Which style of reasoning to choose in the face of conflicting information?

Cited by 9 publications

References 19 publications

Adaptive Logic Characterizations of Input/Output Logic

Adaptive Logic Characterizations of Input/Output Logic

Adaptive strategies and finite-conditional premise sets

Defeasible Reasoning

Contact Info

Product

Resources

About