29 found
Order:
  1. Ranking Theory.Gabriele Kern-Isberner, Niels Skovgaard-Olsen & Wolfgang Spohn - 2021 - In Markus Knauff & Wolfgang Spohn (eds.), The Handbook of Rationality. London: MIT Press. pp. 337-345.
    Ranking theory is one of the salient formal representations of doxastic states. It differs from others in being able to represent belief in a proposition (= taking it to be true), to also represent degrees of belief (i.e. beliefs as more or less firm), and thus to generally account for the dynamics of these beliefs. It does so on the basis of fundamental and compelling rationality postulates and is hence one way of explicating the rational structure of doxastic states. Thereby (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  74
    Prioritized and Non-prioritized Multiple Change on Belief Bases.Marcelo A. Falappa, Gabriele Kern-Isberner, Maurício D. L. Reis & Guillermo R. Simari - 2012 - Journal of Philosophical Logic 41 (1):77-113.
    In this article we explore multiple change operators, i.e., operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, where both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of postulates and we present different constructions: kernel changes and partial meet changes.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3.  41
    Structural Inference from Conditional Knowledge Bases.Gabriele Kern-Isberner & Christian Eichhorn - 2014 - Studia Logica 102 (4):751-769.
    There are several approaches implementing reasoning based on conditional knowledge bases, one of the most popular being System Z (Pearl, Proceedings of the 3rd conference on theoretical aspects of reasoning about knowledge, TARK ’90, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, pp. 121–135, 1990). We look at ranking functions (Spohn, The Laws of Belief: Ranking Theory and Its Philosophical Applications, Oxford University Press, Oxford, 2012) in general, conditional structures and c-representations (Kern-Isberner, Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  13
    Explanations, belief revision and defeasible reasoning.Marcelo A. Falappa, Gabriele Kern-Isberner & Guillermo R. Simari - 2002 - Artificial Intelligence 141 (1-2):1-28.
    We present different constructions for nonprioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept of explanation in a deductive way. Second, we define multiple revision operators with respect to sets of sentences (representing explanations), giving representation theorems. Finally, we relate the formulated operators with argumentative systems and default reasoning frameworks.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  5.  10
    Conditionals in Nonmonotonic Reasoning and Belief Revision: Considering Conditionals as Agents.Gabriele Kern-Isberner - 2001 - Springer Verlag.
    This book covers lymphoproliferative disorders in patients with congenital or acquired immunodeficiencies. Acquired immunodeficiencies are caused by infections with the human immunodeficiency virus or arise following immunosuppressive therapy administered after organ transplantation or to treat connective tissue diseases such as rheumatoid arthritis. It was recently discovered that various diseases or therapeutic modalities that induce a state of immunosuppression may cause virally driven lymphoproliferations. This book summarizes for the first time this group of immunodeficiency-associated lymphoproliferations.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  6.  19
    Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba & Matthias Thimm - 2023 - Artificial Intelligence 317 (C):103876.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  13
    Combining probabilistic logic programming with the power of maximum entropy.Gabriele Kern-Isberner & Thomas Lukasiewicz - 2004 - Artificial Intelligence 157 (1-2):139-202.
  8.  9
    Characterizing the principle of minimum cross-entropy within a conditional-logical framework.Gabriele Kern-Isberner - 1998 - Artificial Intelligence 98 (1-2):169-208.
  9.  18
    A kinematics principle for iterated revision.Gabriele Kern-Isberner, Meliha Sezgin & Christoph Beierle - 2023 - Artificial Intelligence 314 (C):103827.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  83
    Stratified Belief Bases Revision with Argumentative Inference.Marcelo Alejandro Falappa, Alejandro Javier García, Gabriele Kern-Isberner & Guillermo Ricardo Simari - 2013 - Journal of Philosophical Logic 42 (1):161-193.
    We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon revision but stored in a stratum or layer containing information perceived as having a lower value. In this manner, if the revision of one layer leads to the rejection of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  23
    Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models.Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner & Steven Kutsch - 2021 - Artificial Intelligence 297 (C):103489.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  26
    What kind of independence do we need for multiple iterated belief change.Gabriele Kern-Isberner & Daniela Huvermann - 2017 - Journal of Applied Logic 22:91-119.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  40
    Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning.Marco Ragni, Christian Eichhorn, Tanja Bock, Gabriele Kern-Isberner & Alice Ping Ping Tse - 2017 - Minds and Machines 27 (1):79-117.
    The knowledge representation and reasoning of both humans and artificial systems often involves conditionals. A conditional connects a consequence which holds given a precondition. It can be easily recognized in natural languages with certain key words, like “if” in English. A vast amount of literature in both fields, both artificial intelligence and psychology, deals with the questions of how such conditionals can be best represented and how these conditionals can model human reasoning. On the other hand, findings in the psychology (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Qualitative Probabilistic Inference with Default Inheritance.Paul D. Thorn, Christian Eichhorn, Gabriele Kern-Isberner & Gerhard Schurz - 2015 - In Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni & Frieder Stolzenburg (eds.), Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning. pp. 16-28.
    There are numerous formal systems that allow inference of new conditionals based on a conditional knowledge base. Many of these systems have been analysed theoretically and some have been tested against human reasoning in psychological studies, but experiments evaluating the performance of such systems are rare. In this article, we extend the experiments in [19] in order to evaluate the inferential properties of c-representations in comparison to the well-known Systems P and Z. Since it is known that System Z and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  38
    Handling conditionals adequately in uncertain reasoning and belief revision.Gabriele Kern-Isberner - 2002 - Journal of Applied Non-Classical Logics 12 (2):215-237.
    Conditionals are most important objects in knowledge representation, commonsense reasoning and belief revision. Due to their non-classical nature, however, they are not easily dealt with. This paper presents a new approach to conditionals, which is apt to capture their dynamic power particularly well. We show how this approach can be applied to represent conditional knowledge inductively, and to guide revisions of epistemic states by sets of beliefs. In particular, we generalize system-Z* as an appropriate counterpart to maximum entropy-representations in a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  20
    Dynamics of Knowledge and Belief.Christoph Beierle & Gabriele Kern-Isberner - 2016 - Journal of Applied Logic 19:51-53.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  13
    Editorial: Dynamics of knowledge and belief.Christoph Beierle & Gabriele Kern-Isberner - 2010 - Logic Journal of the IGPL 18 (4):485-487.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Proceedings of the 4th Workshop on Dynamics of Knowledge and Belief (DKB-2013).Christoph Beierle & Gabriele Kern-Isberner (eds.) - 2013 - Fakultät für Mathematik und Informatik, FernUniversität in Hagen.
     
    Export citation  
     
    Bookmark  
  19. Proceedings of the KI 2015 Workshop on Formal and Cognitive Reasoning.Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni & Frieder Stolzenburg (eds.) - 2015
     
    Export citation  
     
    Bookmark  
  20.  17
    Using inductive reasoning for completing OCF-networks.Christian Eichhorn & Gabriele Kern-Isberner - 2015 - Journal of Applied Logic 13 (4):605-627.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  68
    Conditional indifference and conditional preservation.Gabriele Kern-Isberner - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):85-106.
    The idea of preserving conditional beliefs emerged recently as a new paradigm apt to guide the revision of epistemic states. Conditionals are substantially different from propositional beliefs and need specific treatment. In this paper, we present a new approach to conditionals, capturing particularly well their dynamic part as revision policies. We thoroughly axiomatize a principle of conditional preservation as an indifference property with respect to conditional structures of worlds. This principle is developed in a semi-quantitative setting, so as to reveal (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  22.  20
    Editorial.Gabriele Kern-Isberner & Wilhelm Rödder - 2006 - Logic Journal of the IGPL 14 (3):409-411.
    This special issue “Inferences and Information Processing in a Conditional Framework“ is dedicated to conditionals as central objects for inferencing and information processing. It presents selected revised papers of the Workshop on Conditionals, Information, and Inference, CII'04, held in Ulm, Germany, co-located with the German national conference on AI, KI'2004.Conditional statements If A then B carry a very special kind of information that can not be captured by interpreting them as material implications. Roughly speaking, the premise, A, provides a context (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  1
    How to expand your beliefs in an uncertain world: a probabilistic model.Gabriele Kern-Isberner, Thomas Lukasiewicz & Emil Weydert - 2001 - In Gabriele Kern-Isberner, Thomas Lukasiewicz & Emil Weydert (eds.), Ki-2001 Workshop: Uncertainty in Artificial Intellligence.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. (1 other version) Ki-2001 Workshop: Uncertainty in Artificial Intellligence. Informatik-berichte (8/2001).Gabriele Kern-Isberner, Thomas Lukasiewicz & Emil Weydert (eds.) - 2001
    No categories
     
    Export citation  
     
    Bookmark  
  25. Proceedings of Nmr2016.Gabriele Kern-Isberner & Renata Wassermann (eds.) - 2016
    No categories
     
    Export citation  
     
    Bookmark  
  26.  36
    Reasoning with Imperfect Information and Knowledge.Gabriele Kern-Isberner, Igor Douven, Markus Knauff & Henri Prade - 2017 - Minds and Machines 27 (1):7-9.
  27.  12
    Belief base change operations for answer set programming.Patrick Krümpelmann & Gabriele Kern-Isberner - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 294--306.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  16
    A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics.Nico Potyka, Christoph Beierle & Gabriele Kern-Isberner - 2015 - Journal of Applied Logic 13 (4):414-440.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  21
    Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Henri Prade, Markus Knauff, Igor Douven & Gabriele Kern-Isberner - 2017 - Minds and Machines 27 (1):37-77.
    This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark