By Christian Straßer

ISBN-10: 3319007912

ISBN-13: 9783319007915

ISBN-10: 3319007920

ISBN-13: 9783319007922

This ebook offers adaptive logics as an intuitive and strong framework for modeling defeasible reasoning. It examines a variety of contexts during which defeasible reasoning turns out to be useful and gives a compact creation into adaptive logics.

The writer first familiarizes readers with defeasible reasoning, the adaptive logics framework, mixtures of adaptive logics, and various necessary meta-theoretic houses. He then bargains a scientific examine of adaptive logics in line with a variety of purposes.

The e-book provides formal versions for defeasible reasoning stemming from assorted contexts, similar to default reasoning, argumentation, and normative reasoning. It highlights quite a few meta-theoretic benefits of adaptive logics over different logics or logical frameworks that version defeasible reasoning. during this approach the publication substantiates the prestige of adaptive logics as a primary formal framework for defeasible reasoning.

Show description

Read or Download Adaptive Logics for Defeasible Reasoning: Applications in Argumentation, Normative Reasoning and Default Reasoning PDF

Similar logic books

Download e-book for kindle: Goedel '96: Proc. Brno 1996 by Petr Hajek

The papers incorporated during this court cases quantity of the convention celebrating the ninetieth anniversary of the beginning of Kurt Goedel, are interested in mathematical common sense, philosophy of arithmetic, and computing device technological know-how. the subjects are relating to Goedel's paintings and replicate his impression within the box.

Download e-book for iPad: Padania scrittologica: Analisi scrittologiche e by Videsott, Paul

The quantity goals to express an influence of the richness and fascination of Romance Philology and the endless number of the contours and contents of the sector of Romance reviews. the writer was once much less desirous about constructing novel theoretical versions, yet relatively desired to hint the manifestations of crucial phases within the improvement of the topic quarter and - anywhere attainable - to enrich them along with his personal contributions.

Additional info for Adaptive Logics for Defeasible Reasoning: Applications in Argumentation, Normative Reasoning and Default Reasoning

Sample text

If there are no other minimal disjunctions of abnormalities in the proof and if there are no alternative arguments for our two claims, this means that according to both strategies both lines l and l are retracted. However, the handling of such conflicts is not fully analogous with respect to the two strategies. This will be demonstrated in the following example. Suppose a reliable although not infallible witness reports that • Mr. X wore a long black coat in the bar in which he was seen half an hour before the murder.

The abnormalities for our application are cases where our detective has evidence for A but A is not the case. Hence Ω◦ = {◦A ∧ ¬A}. Let henceforth CL◦ r be the AL defined by the triple: 5 I do of course not claim that the modeling of the defeasible reasoning of our detective by CL◦ is by any means optimal. It is however sufficiently intuitive and simple in order to serve as a toy application for introducing the basic concepts and mechanisms of ALs. 16 2 The Standard Format for Adaptive Logics 1.

In practice both dynamics occur often as part of the same reasoning activities: think for instance of learning processes. Hence, the fact that there is a clear link between the nonmonotonicity of the consequence relation of ALs and the internal dynamics is an argument in favor of the unifying power of ALs as a formal model for defeasible reasoning. 2 Comparing the Strategies We have seen that the standard format offers two strategies: the reliability and the minimal abnormality strategy. The latter offers for many examples a ‘bolder type’ of reasoning.

Download PDF sample

Adaptive Logics for Defeasible Reasoning: Applications in Argumentation, Normative Reasoning and Default Reasoning by Christian Straßer

by Jason

Rated 4.27 of 5 – based on 20 votes