Results for 'adaptive logics'

1000+ found
Order:
  1. 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 (6 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  2. 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   1 citation  
  3.  86
    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 (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  4.  9
    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  
  5.  24
    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 (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  16
    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  
  7. Inconsistency-Adaptive Modal Logics. On How to Cope with Modal Inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
    In this paper, I will characterize a new class of inconsistency-adaptive logics, namely inconsistency-adaptive modal logics. These logics cope with inconsistencies in a modal context. More specifically, when faced with inconsistencies, inconsistency-adaptive modal logics avoid explosion, but still allow the derivation of sufficient consequences to adequately explicate the part of human reasoning they are intended for.
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  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   2 citations  
  9.  50
    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 (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  10.  32
    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 (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  11.  15
    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   8 citations  
  12.  14
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  12
    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   1 citation  
  14.  8
    Party Contributions From Non-Classical Logics.Contributions From Non-Classical Logics - 2004 - In S. Rahman J. Symons (ed.), Logic, Epistemology, and the Unity of Science. Kluwer Academic Publisher. pp. 457.
  15.  25
    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  
  16.  11
    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 (10 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  17.  48
    Adaptive Fuzzy Logics for Contextual Hedge Interpretation.Stephan van der Waart van Gulik - 2009 - Journal of Logic, Language and Information 18 (3):333-356.
    The article presents several adaptive fuzzy hedge logics. These logics are designed to perform a specific kind of hedge detection. Given a premise set Γ that represents a series of communicated statements, the logics can check whether some predicate occurring in Γ may be interpreted as being (implicitly) hedged by technically, strictly speaking or loosely speaking, or simply non-hedged. The logics take into account both the logical constraints of the premise set as well as conceptual (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  18.  26
    A Generic Framework for Adaptive Vague Logics.Peter Verdée & Stephan van der Waart van Gulik - 2008 - Studia Logica 90 (3):385-405.
    In this paper, we present a generic format for adaptive vague logics. Logics based on this format are able to (1) identify sentences as vague or non-vague in light of a given set of premises, and to (2) dynamically adjust the possible set of inferences in accordance with these identifications, i.e. sentences that are identified as vague allow only for the application of vague inference rules and sentences that are identified as non-vague also allow for the application (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19. 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.
  20. Inconsistency-Adaptive Logics.Diderik Batens - 1999 - In Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Springer. pp. 445-472.
  21.  21
    A General Characterization of Adaptive Logics.Diderik Batens - 2001 - Logique Et Analyse 173 (175):45-68.
  22.  20
    Extending the Standard Format of Adaptive Logics to the Prioritized Case.Frederik Van De Putte & Christian Straßer - 2012 - Logique Et Analyse 120.
  23.  4
    A Procedural Criterion for Final Derivability in Inconsistency-Adaptive Logics.Diderik Batens - 2005 - Journal of Applied Logic 3 (1):221-250.
  24.  15
    Adaptive Logics for Question Evocation.Joke Meheus - 2001 - Logique Et Analyse 173 (175):135-164.
  25.  5
    A Proof Procedure for Adaptive Logics.P. Verdee - 2013 - Logic Journal of the IGPL 21 (5):743-766.
  26.  5
    Three Formats of Prioritized Adaptive Logics: A Comparative Study.F. Van De Putte & C. Strasser - 2013 - Logic Journal of the IGPL 21 (2):127-159.
  27.  10
    Hypotheses Testing in Adaptive Logics: An Application to Medical Diagnosis.A. Aliseda & L. Leonides - 2013 - Logic Journal of the IGPL 21 (6):915-930.
  28.  16
    New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency.Diderik Batens - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 101--122.
  29.  22
    A Dynamic Semantics for Inconsistency-Adaptive Logics.Diderik Batens - 1998 - Bulletin of the Section of Logic 27 (15-8):5l.
  30.  18
    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   1 citation  
  31.  23
    Contextual Problem Solving and Adaptive Logics in Creative Processes.Diderik Batens - 1999 - Philosophica 64.
    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  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  4
    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.
  33.  3
    Adaptive Logics: A Parametric Approach.F. Van De Putte & C. Strasser - 2014 - Logic Journal of the IGPL 22 (6):905-932.
  34. On Classical Adaptive Logics of Induction* Diderik Batens and Lieven Haesaert.Logique A. Analyse - 2001 - Logique Et Analyse 44:255.
     
    Export citation  
     
    Bookmark  
  35. Causal Discovery Using Adaptive Logics. Towards More Realistic Heuristics for Human Causal Learning.Maarten Dyck - 2004 - Logique Et Analyse 47.
     
    Export citation  
     
    Bookmark  
  36. Indexed Adaptive Logics.Joachim Van Meirvenne - 1994 - Logique Et Analyse 145:41-55.
  37.  27
    A Generic Framework for Adaptive Vague Logics.Peter Verdée & Stephan der Waart van Gulivank - 2008 - Studia Logica 90 (3):385 - 405.
    In this paper, we present a generic format for adaptive vague logics. Logics based on this format are able to (1) identify sentences as vague or non-vague in light of a given set of premises, and to (2) dynamically adjust the possible set of inferences in accordance with these identifications, i.e. sentences that are identified as vague allow only for the application of vague inference rules and sentences that are identified as non-vague also allow for the application (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  28
    Adaptive Fuzzy Logics for Contextual Hedge Interpretation.Stephan der Waart van Gulivank - 2009 - Journal of Logic, Language and Information 18 (3).
    The article presents several adaptive fuzzy hedge logics . These logics are designed to perform a specific kind of hedge detection. Given a premise set Γ that represents a series of communicated statements, the logics can check whether some predicate occurring in Γ may be interpreted as being (implicitly) hedged by technically , strictly speaking or loosely speaking , or simply non-hedged. The logics take into account both the logical constraints of the premise set as (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  9
    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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  91
    The Dynamics of Relevance: Adaptive Belief Revision.Van De Putte Frederik & Verdée Peter - 2012 - Synthese 187 (S1):1-42.
    This paper presents eight (previously unpublished) adaptive logics for belief revision, each of which define a belief revision operation in the sense of the AGM framework. All these revision operations are shown to satisfy the six basic AGM postulates for belief revision, and Parikh's axiom of Relevance. Using one of these logics as an example, we show how their proof theory gives a more dynamic flavor to belief revision than existing approaches. It is argued that this turns (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Majority Merging by Adaptive Counting.Giuseppe Primiero & Joke Meheus - 2008 - Synthese 165 (2):203 - 223.
    The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADM c (Adaptive Doxastic Merging by Counting) consists in the formulation of the conflicts arising from the belief bases of the agents involved in the procedure. A strategy is then defined both semantically and proof-theoretically which selects the consistent contents answering to a majority principle. The results obtained are proven to be equivalent to a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  42.  6
    A Generic Framework for Adaptive Vague Logics.Peter Verdée & Stephan Gulik - 2008 - Studia Logica 90 (3):385-405.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  16
    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 (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  35
    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 (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45.  40
    A Conditional Logic for Abduction.Mathieu Beirlaen & Atocha Aliseda - 2014 - Synthese 191 (15):3733-3758.
    We propose a logic of abduction that (i) provides an appropriate formalization of the explanatory conditional, and that (ii) captures the defeasible nature of abductive inference. For (i), we argue that explanatory conditionals are non-classical, and rely on Brian Chellas’s work on conditional logics for providing an alternative formalization of the explanatory conditional. For (ii), we make use of the adaptive logics framework for modeling defeasible reasoning. We show how our proposal allows for a more natural reading (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46. 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 (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  20
    Logics for Qualitative Inductive Generalization.Diderik Batens - 2011 - Studia Logica 97 (1):61 - 80.
    The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attention is also paid to ways of handling background knowledge, introducing mere conjectures, and the research guiding capabilities of the logics.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  58
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Abduction of Generalizations.Tjerk Gauderis & Frederik Van De Putte - 2012 - Theoria : An International Journal for Theory, History and Fundations of Science 27 (3):345-363.
    _Abduction of generalizations_ is the process in which explanatory hypotheses are formed for an observed, yet puzzling generalization such as ``pineapples taste sweet" or ``rainbows appear when the sun breaks through the rain". This phenomenon has received little attention in formal logic and philosophy of science. The current paper remedies this lacuna by first giving an overview of some general characteristics of this process, elaborating on its ubiquity in scientific and daily life reasoning. Second, the adaptive logic $\LAG$ is (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  45
    Capturing Dynamic Conceptual Frames.Rafal Urbaniak - 2010 - Logic Journal of the IGPL 18 (3):430-455.
    The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic conceptual frames. I first explain one of the most recent theories of concepts developed by cognitivists, in which a crucial part is played by the notion of a dynamic frame. Next, I describe how a dynamic frame may be captured by a finite set of first-order formulas and how a formalized (...) framework for reasoning within a dynamic frame can be developed. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000