Results for 'Adaptive logics'

1000+ found
Order:
  1. Dirk Batens, editorial note 3 Andrzej Wisniewski, questions and inferences 5 Diderik Batens, a general characterization of adaptive logics. 45 Mariusz Urbanski, synthetic tableaux and erotetic search scenarios: Extension and extraction 69. [REVIEW]Liza Verhoeven, All Premises Are Equal, But Some Are More, Erik Weber, Maarten van Dyck & Adaptive Logic - 2001 - Logique Et Analyse 44:1.
  2. An adaptive logic framework for conditional obligations and deontic dilemmas.Christian Straßer - 2010 - Logic and Logical Philosophy 19 (1-2):95-128.
    Lou Goble proposed powerful conditional deontic logics (CDPM) that are able to deal with deontic conflicts by means of restricting the inheritance principle. One of the central problems for dyadic deontic logics is to properly treat the restricted applicability of the principle “strengthening the antecedent”. In most cases it is desirable to derive from an obligation A under condition B, that A is also obliged under condition B and C. However, there are important counterexamples. Goble proposed a weakened (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  76
    Adaptive logics using the minimal abnormality strategy are P 1 1 \pi^1_1 -complex.Peter Verdée - 2009 - Synthese 167 (1):93 - 104.
    In this article complexity results for adaptive logics using the minimal abnormality strategy are presented. It is proven here that the consequence set of some recursive premise sets is $\Pi _1^1 - complete$ . So, the complexity results in (Horsten and Welch, Synthese 158:41–60,2007) are mistaken for adaptive logics using the minimal abnormality strategy.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  4.  36
    An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency.Joke Meheus* - 2006 - Journal of Philosophical Logic 35 (6):539-567.
    In this paper, I present the modal adaptive logic $AJ^{r}$ (based on S5) as well as the discussive logic $D_{2}^{r}$ that is defined from it. $D_{2}^{r}$ is a (nonmonotonic) alternative for Jaśkowski's paraconsistent system D₂. Like D₂, $D_{2}^{r}$ validates all single-premise rules of Classical Logic. However, for formulas that behave consistently, $D_{2}^{r}$ moreover validates all multiple-premise rules of Classical Logic. Importantly, and unlike in the case of D₂, this does not require the introduction of discussive connectives. It is argued (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  77
    Adaptive Logic as a Modal Logic.Patrick Allo - 2013 - Studia Logica 101 (5):933-958.
    Modal logics have in the past been used as a unifying framework for the minimality semantics used in defeasible inference, conditional logic, and belief revision. The main aim of the present paper is to add adaptive logics, a general framework for a wide range of defeasible reasoning forms developed by Diderik Batens and his co-workers, to the growing list of formalisms that can be studied with the tools and methods of contemporary modal logic. By characterising the class (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  51
    The adaptive logic of compatibility.Diderik Batens & Joke Meheus - 2000 - Studia Logica 66 (3):327-348.
    This paper describes the adaptive logic of compatibility and its dynamic proof theory. The results derive from insights in inconsistency-adaptive logic, but are themselves very simple and philosophically unobjectionable. In the absence of a positive test, dynamic proof theories lead, in the long run, to correct results and, in the short run, sometimes to final decisions but always to sensible estimates. The paper contains a new and natural kind of semantics for S5from which it follows that a specific (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  7.  19
    Hierarchic adaptive logics.Frederik Van De Putte - 2012 - Logic Journal of the IGPL 20 (1):45-72.
    This article discusses the proof theory, semantics and meta-theory of a class of adaptive logics, called hierarchic adaptive logics. Their specific characteristics are illustrated throughout the article with the use of one exemplary logic HKx, an explicans for reasoning with prioritized belief bases. A generic proof theory for these systems is defined, together with a less complex proof theory for a subclass of them. Soundness and a restricted form of completeness are established with respect to a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Two Adaptive Logics of Norm-Propositions.Mathieu Beirlaen & Christian Straßer - 2013 - Journal of Applied Logic 11 (2):147-168.
    We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  42
    Adaptive Logic Characterizations of Input/Output Logic.Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte - 2016 - Studia Logica 104 (5):869-916.
    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 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  89
    Vagueness-adaptive logic: A pragmatical approach to sorites paradoxes.Bart Van Kerkhove & Guido Vanackere - 2003 - Studia Logica 75 (3):383-411.
    This paper defends a pragmatical approach to vagueness. The vagueness-adaptive logic VAL is a good reconstruction of and an excellent, instrument for human reasoning processes in which vague predicates are involved. Apart from its proof-theory and semantics, a Sorites-treating model based on it is presented, disarming the paradox. The paper opens perspectives with respect to the construction of theories by means of vague predicates.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11.  11
    Adaptive Logics for Defeasible Reasoning: Applications in Argumentation, Normative Reasoning and Default Reasoning.Christian Strasser - 2013 - Cham, Switzerland: Springer.
    This book presents adaptive logics as an intuitive and powerful framework for modeling defeasible reasoning. It examines various contexts in which defeasible reasoning is useful and offers a compact introduction into adaptive logics. The author first familiarizes readers with defeasible reasoning, the adaptive logics framework, combinations of adaptive logics, and a range of useful meta-theoretic properties. He then offers a systematic study of adaptive logics based on various applications. The book (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  20
    The Adaptive Logic of Moral Luck.Justin W. Martin & Fiery Cushman - 2016 - In Wesley Buckwalter & Justin Sytsma (eds.), Blackwell Companion to Experimental Philosophy. Malden, MA: Blackwell. pp. 190–202.
    Moral luck is a puzzling aspect of our psychology: Why do we punish outcomes that were not intended (i.e. accidents)? Prevailing psychological accounts of moral luck characterize it as an accident or error, stemming either from a re‐evaluation of the agent's mental state or from negative affect aroused by the bad outcome itself. While these models have strong evidence in their favor, neither can account for the unique influence of accidental outcomes on punishment judgments, compared with other categories of moral (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  13. Inconsistency-Adaptive Logics.Diderik Batens - 1999 - In Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Springer. pp. 445-472.
  14.  11
    Adaptive Logics for Defeasible Reasoning.Christian Straßer - 2014 - Springer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  15. A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
    . In this paper, adaptive logics are studied from the viewpoint of universal logic (in the sense of the study of common structures of logics). The common structure of a large set of adaptive logics is described. It is shown that this structure determines the proof theory as well as the semantics of the adaptive logics, and moreover that most properties of the logics can be proved by relying solely on the structure, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   63 citations  
  16.  60
    Discussive adaptive logics: Handling internal and external inconsistencies.Joke Meheus - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):211-223.
    In this paper, I present the discussive adaptive logic DLI r . As is the case for other discussive logics, the intended application context of DLI r is the interpretation of discussions. What is new about the system is that it does not lead to explosion when some of the premises are self-contradictory. It is argued that this is important in view of the fact that human reasoners are not logically omniscient, and hence, that it may not be (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  23
    Some Adaptive Logics for Diagnosis.Diderik Batens, Joke Meheus, Dagmar Provijn & Liza Verhoeven - 2003 - Logic and Logical Philosophy 11:39-65.
    A logic of diagnosis proceeds in terms of a set of data and one or more (prioritized) sets of expectancies. In this paper we generalize the logics of diagnosis from [27] and present some alternatives. The former operate on the premises and expectancies themselves, the latter on their consequences.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  18.  34
    Computability Issues for Adaptive Logics in Multi-Consequence Standard Format.Sergei P. Odintsov & Stanislav O. Speranski - 2013 - Studia Logica 101 (6):1237-1262.
    In a rather general setting, we prove a number of basic theorems concerning computational complexity of derivability in adaptive logics. For that setting, the so-called standard format of adaptive logics is suitably adopted, and the corresponding completeness results are established in a very uniform way.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  19
    Adaptive Logic in Scientific Discovery: the Case of Claudius.Joke Meheus - 1993 - Logique and Analyse 143:359-389.
  20.  54
    Deductive and ampliative adaptive logics as tools in the study of creativity.Joke Meheus - 1999 - Foundations of Science 4 (3):325-336.
    In this paper, I argue that logic hasan important role to play in the methodological studyof creativity. I also argue, however, that onlyspecial kinds of logic enable one to understand thereasoning involved in creative processes. I show thatdeductive and ampliative adaptive logics areappropriate tools in this respect.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  21
    Adaptive Logics and the Integration of Induction and Deduction.Joke Meheus - 2004 - Vienna Circle Institute Yearbook 11:93-120.
    The aim of this paper is twofold. First, I want to argue that the distinction between induction and deduction is less clear-cut than traditionally assumed, and that, moreover, most reasoning processes in the sciences involve an integration of inductive and deductive steps. Next, I want to show how so-called adaptive logics may lead to a better understanding of this integrated use of induction and deduction.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  5
    Ambiguity-adaptive logic.Guido Vanackere - 1997 - Logique Et Analyse 159:261-280.
  23.  60
    The Undecidability of Propositional Adaptive Logic.Leon Horsten & Philip Welch - 2007 - Synthese 158 (1):41-60.
    We investigate and classify the notion of final derivability of two basic inconsistency-adaptive logics. Specifically, the maximal complexity of the set of final consequences of decidable sets of premises formulated in the language of propositional logic is described. Our results show that taking the consequences of a decidable propositional theory is a complicated operation. The set of final consequences according to either the Reliability Calculus or the Minimal Abnormality Calculus of a decidable propositional premise set is in general (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  24.  8
    An adaptive logic for relevant classical deduction.Hans Lycke - 2007 - Journal of Applied Logic 5 (4):602-612.
  25. An Adaptive Logic Based on Jaskowski's Logic D2.Marek Nasieniewski - 2004 - Logique Et Analyse 47.
     
    Export citation  
     
    Bookmark  
  26.  6
    Adaptive Logic Characterizations of Defeasible Reasoning With Applicationsin Argumentation, Normative Reasoning and Default Reasoning.Christian Straßer - 2010 - Dissertation, Ghent University
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  10
    An adaptive logic framework for conditional obligations and deontic dilemmas.Christian Strasser - 2010 - Logic and Logical Philosophy 19 (1-2):95-128.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Adaptive logics for question evocation.Joke Meheus - 2001 - Logique Et Analyse 173 (175):135-164.
  29. Indexed adaptive logics.Joachim Van Meirvenne - 1994 - Logique Et Analyse 145:41-55.
  30. An adaptive logic for Rational Closure.Christian Straßer - 2009 - In Walter Carnielli, Marcello E. Coniglio & Itala M. Loffredo D’Ottaviano (eds.), The Many Sides of Logic. College Publications. pp. 47-67.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  31.  42
    Causal Discovery and the Problem of Ignorance. An Adaptive Logic Approach.Bert Leuridan - 2009 - Journal of Applied Logic 7 (2):188-205.
    In this paper, I want to substantiate three related claims regarding causal discovery from non-experimental data. Firstly, in scientific practice, the problem of ignorance is ubiquitous, persistent, and far-reaching. Intuitively, the problem of ignorance bears upon the following situation. A set of random variables V is studied but only partly tested for (conditional) independencies; i.e. for some variables A and B it is not known whether they are (conditionally) independent. Secondly, Judea Pearl’s most meritorious and influential algorithm for causal discovery (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  14
    Adaptive logics: a parametric approach.F. Van De Putte & C. Strasser - 2014 - Logic Journal of the IGPL 22 (6):905-932.
  33. Adaptive logics: a parametric approach.Frederik Van De Putte & Christian Straßer - 2014 - Logic Journal of the IGPL 22 (6):905--932.
     
    Export citation  
     
    Bookmark  
  34. A general characterization of adaptive logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
  35.  13
    Adaptive logics for non-explanatory and explanatory diagnostic reasoning.Dagmar Provijn & Erik Weber - 2002 - In L. Magnani, N. J. Nersessian & C. Pizzi (eds.), Logical and Computational Aspects of Model-Based Reasoning. Kluwer Academic Publishers. pp. 117--142.
  36.  55
    Modelling Abduction in Science by means of a Modal Adaptive Logic.Tjerk Gauderis - 2013 - Foundations of Science 18 (4):611-624.
    Scientists confronted with multiple explanatory hypotheses as a result of their abductive inferences, generally want to reason further on the different hypotheses one by one. This paper presents a modal adaptive logic MLA s that enables us to model abduction in such a way that the different explanatory hypotheses can be derived individually. This modelling is illustrated with a case study on the different hypotheses on the origin of the Moon.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  37.  11
    Nástin koncepce adaptivních logik [An Outline of the Concept of Adaptive Logics].Tomáš Ondráček & Jan Štěpánek - 2016 - Pro-Fil 17 (1):16-35.
    The aim of the paper is to introduce the concept of adaptive logics (AL) or rather adaptive logical approach. In the introduction, a motivation and an emergence of AL are briefly discussed. In the second part of the paper, specifics of AL are analysed – especially nonmonotonic character, internal and external dynamics, as well as the structure of AL, namely the distinction between upper limit logic and lower limit logic. In this part, the dynamic proof is also (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. Adaptive Logic and Covering Law Explanations.Erik Weber & Maarten Van Dyck - 2001 - Logique Et Analyse 44:237.
     
    Export citation  
     
    Bookmark  
  39.  75
    Minimally abnormal models in some adaptive logics.Diderik Batens - 2000 - Synthese 125 (1-2):5-18.
    In an adaptive logic APL, based on a (monotonic) non-standardlogic PL the consequences of can be defined in terms ofa selection of the PL-models of . An important property ofthe adaptive logics ACLuN1, ACLuN2, ACLuNs1, andACLuNs2 logics is proved: whenever a model is not selected, this isjustified in terms of a selected model (Strong Reassurance). Theproperty fails for Priest's LP m because its way of measuring thedegree of abnormality of a model is incoherent – correcting thisdelivers (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  40. Empirical progress and ampliative adaptive logics.Joke Meheus - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):193-217.
    In this paper, I present two ampliative adaptive logics: LA and LAk. LA is an adaptive logic for abduction that enables one to generate explanatory hypotheses from a set of observational statements and a set of background assumptions. LAk is based on LA and has the peculiar property that it selects those explanatory hypotheses that are empirically most successful. The aim of LAk is to capture the notion of empirical progress as studied by Theo Kuipers.
     
    Export citation  
     
    Bookmark   8 citations  
  41. On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics.Sergei P. Odintsov & Stanislav O. Speranski - 2012 - Logic and Logical Philosophy 21 (3):209-228.
    The present paper is devoted to computational aspects of propositional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of derivability in such logics, namely in cases of CLuN r and CLuN m , i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectively.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  27
    The undecidability of propositional adaptive logic.Leon Horsten & Philip Welch - 2009 - Synthese 169 (1):217-218.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43.  39
    Adaptively applying modus ponens in conditional logics of normality.Christian Straßer - 2012 - Journal of Applied Non-Classical Logics 22 (1):125-148.
    This paper presents an adaptive logic enhancement of conditional logics of normality that allows for defeasible applications of Modus Ponens to conditionals. In addition to the possibilities these logics already offer in terms of reasoning about conditionals, this way they are enriched by the ability to perform default inferencing. The idea is to apply Modus Ponens defeasibly to a conditional and a fact on the condition that it is ‘safe' to do so concerning the factual and conditional (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  55
    The Need for Adaptative Logics in Epistemology.Diderik Batens - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 459-485.
  45.  55
    Shortcuts and dynamic marking in the tableau method for adaptive logics.Diderik Batens & Joke Meheus - 2001 - Studia Logica 69 (2):221-248.
    Adaptive logics typically pertain to reasoning procedures for which there is no positive test. In [7], we presented a tableau method for two inconsistency-adaptive logics. In the present paper, we describe these methods and present several ways to increase their efficiency. This culminates in a dynamic marking procedure that indicates which branches have to be extended first, and thus guides one towards a decision — the conclusion follows or does not follow — in a very economical (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  46.  24
    Modelling def+easible reasoning by means of adaptive logic games.Peter Verdée - 2012 - Logic Journal of the IGPL 20 (2):417-437.
    In this article, I present a dynamic logic game for defeasible reasoning. I argue that, as far as defeasible reasoning is concerned, one should distinguish between practical and ideal rationality. Starting from the adaptive logic framework, I formalize both rationality notions by means of logic games. The presented adaptive logic games are based on (i) standard logic games on the one hand and (ii) dynamic proof procedures for adaptive logic on the other hand. The games are similar (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  28
    Causal discovery using adaptive logics. Towards a more realistic heuristics for human causal learning.Maarten Van Dyck - 2004 - Logique Et Analyse 185 (188):5-32.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  31
    Two New Strategies for Inconsistency-Adaptive Logics.Kristof De Clercq - 2000 - Logic and Logical Philosophy 8:65-80.
    In this paper I present two new strategies for inconsistencyadaptive logics: the reliable sufficient information strategy of ACLuN3 andthe minimally abnormal sufficient information strategy of ACLuN4. I giveproof theory and semantics for both ACLuN3 and ACLuN4. I also compare them with the well-known inconsistency-adaptive logics ACLuN1 andACLuN2.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  49.  39
    Contextual Problem Solving and Adaptive Logics in Creative Processes.Diderik Batens - 1999 - Philosophica 64 (2).
    Creativity is commonly seen as beyond the scope of rationality. In the present paper, it is argued that available insights in epistemology and available results in logic enable us to incorporate creativity within an independently sensible view on human rationality.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  13
    Hypotheses testing in adaptive logics: an application to medical diagnosis.A. Aliseda & L. Leonides - 2013 - Logic Journal of the IGPL 21 (6):915-930.
1 — 50 / 1000