Generic formats for prioritized adaptive logics, with applications in deontic logic, abduction and belief revision

[1]  Christian Straßer,et al.  A deontic logic framework allowing for factual detachment , 2011, J. Appl. Log..

[2]  Christian Strasser.  Adaptive logic characterizations of defeasible reasoning with applications in argumentation, normative reasoning and default reasoning. , 2011 .

[3]  Lou Goble.  A Proposal for Dealing with Deontic Dilemmas , 2004, DEON.

[4]  Diderik Batens,et al.  In Defence of a Programme for Handling Inconsistencies , 2002 .

[5]  J. Meheus.  Clausius’ Discovery of the First Two Laws of Thermodynamics. A Paradigm of Reasoning from Inconsistencies. , 1999, Philosophica.

[6]  Frederik Van De Putte,et al.  Avoiding Deontic Explosion by Contextually Restricting Aggregation , 2010, DEON.

[7]  Stefan Brass,et al.  Deduction with Supernormal Defaults , 1991, Nonmonotonic and Inductive Logic.

[8]  Peter Verdée.  Modelling defeasible reasoning by means of adaptive logic games , 2012, Log. J. IGPL.

[9]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[10]  Diderik Batens,et al.  On a Logic of Induction , 2005 .

[11]  Guido Boella,et al.  Institutions with a hierarchy of authorities in distributed dynamic environments , 2008, Artificial Intelligence and Law.

[12]  Diderik Batens,et al.  On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit , 2009 .

[13]  Dongmo Zhang,et al.  Characterizing Relevant Belief Revision Operators , 2010, Australasian Conference on Artificial Intelligence.

[14]  David Makinson,et al.  Friendliness and Sympathy in Logic , 2007 .

[15]  Diderik Batens.  A procedural criterion for final derivability in inconsistency-adaptive logics , 2005, J. Appl. Log..

[16]  Jörg Hansen,et al.  Deontic logics for prioritized imperatives , 2006, Artificial Intelligence and Law.

[17]  John F. Horty,et al.  Moral dilemmas and nonmonotonic logic , 1994, J. Philos. Log..

[18]  Yemima Ben-menahem.  The inference to the best explanation , 1990 .

[19]  Daniel Lehmann,et al.  Another perspective on default reasoning , 1995, Annals of Mathematics and Artificial Intelligence.

[20]  Peter Verdée,et al.  Adaptive logics using the minimal abnormality strategy are $$\Pi^1_1$$ -complex , 2009, Synthese.

[21]  Hans Rott,et al.  Preferential belief change using generalized epistemic entrenchment , 1992, J. Log. Lang. Inf..

[22]  D. Batens.  Narrowing down suspicion in inconsistent premise sets. , 2006 .

[23]  Gerhard Brewka.  Reasoning about Priorities in Default Logic , 1994, AAAI.

[24]  Christian Straßer.  An adaptive logic framework for conditional obligations and deontic dilemmas , 2010 .

[25]  Diderik Batens,et al.  The Basic Inductive Schema, Inductive Truisms, and the Research-Guiding Capacities of the Logic of Inductive Generalization , 2004 .

[26]  Stephan van der Waart van Gulik,et al.  A Generic Framework for Adaptive Vague Logics , 2008, Stud Logica.

[27]  Gerhard Schurz,et al.  Patterns of abduction , 2008, Synthese.

[28]  Holger Andreas,et al.  A Structuralist Theory of Belief Revision , 2011, J. Log. Lang. Inf..

[29]  R Fox,et al.  Moral dilemmas. , 1998, Journal of the Royal Society of Medicine.

[30]  Jerusa Marchi,et al.  Prime forms and minimal change in propositional belief bases , 2010, Annals of Mathematics and Artificial Intelligence.

[31]  Diderik Batens,et al.  Some Adaptive Logics for Diagnosis , 2003 .

[32]  Diderik Batens,et al.  Adaptive Cn logics , 2009 .

[33]  Sanjay Modgil,et al.  Reasoning about preferences in argumentation frameworks , 2009, Artif. Intell..

[34]  Henry Prakken,et al.  A System for Defeasible Argumentation, with Defeasible Priorities , 1996, Artificial Intelligence Today.

[35]  Guilin Qi,et al.  Prime Implicate-based Belief Revision Operators , 2008, ECAI.

[36]  Jörg Hansen.  Prioritized conditional imperatives: problems and a new proposal , 2007, Autonomous Agents and Multi-Agent Systems.

[37]  P. Thagard,et al.  Computational Philosophy of Science , 1988 .

[38]  D. Batens.  A General Characterization of Adaptive Logics , 2001 .

[39]  David Makinson,et al.  On the logic of theory change: Safe contraction , 1985, Stud Logica.

[40]  G. Harman,et al.  The Problem of Induction , 2006 .

[41]  Diderik Batens,et al.  Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case , 2002, J. Appl. Non Class. Logics.

[42]  Peter A. Flach,et al.  Abductive and inductive reasoning: background and issues , 2000 .

[43]  Peter Gärdenfors,et al.  Relations between the logic of theory change and nonmonotonic logic , 1989, The Logic of Theory Change.

[44]  Mathieu Beirlaen,et al.  Tolerating deontic conflicts by adaptively restricting inheritance , 2012 .

[45]  Diderik Batens,et al.  Yes fellows, most human reasoning is complex , 2007, Synthese.

[46]  Diderik Batens,et al.  A Rich Paraconsistent Extension Of Full Positive Logic , 2004 .

[47]  N. Goodman.  Fact, Fiction, and Forecast , 1955 .

[48]  Liza Verhoeven.  All premises are equal, but some are more equal than others. , 2001 .

[49]  Yoav Shoham,et al.  A semantical approach to nonmonotonic logics , 1987, LICS 1987.

[50]  Stephan van der Waart van Gulik,et al.  Modeling sorites reasoning with adaptive fuzzy logic , 2008, Fuzzy Sets Syst..

[51]  Frederik Van De Putte.  Hierarchic adaptive logics , 2012, Log. J. IGPL.

[52]  Christian Straßer.  An adaptive logic for rational closure , 2014 .

[53]  Lou Goble,et al.  Preference semantics for deontic logic part II – Multiplex models , 2004 .

[54]  Diderik Batens,et al.  A Formal Logic for Abductive Reasoning , 2006, Log. J. IGPL.

[55]  David Makinson.  Propositional relevance through letter-sharing , 2009, J. Appl. Log..

[56]  Lorenzo Magnani,et al.  Abductive Cognition - The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning , 2009, Cognitive Systems Monographs.

[57]  Diderik Batens,et al.  A Universal Logic Approach to Adaptive Logics , 2007, Logica Universalis.

[58]  Dagmar Provijn.  Bloody Analogical Reasoning , 2014 .

[59]  C. Hempel,et al.  Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. , 1966 .

[60]  Kiyosi Itô.  Encyclopedic dictionary of mathematics (2nd ed.) , 1993 .

[61]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[62]  Maonian Wu,et al.  Algorithms and application in decision-making for the finest splitting of a set of formulae , 2010, Knowl. Based Syst..

[63]  Christian Straßer,et al.  Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach , 2011, J. Log. Comput..

[64]  André Fuhrmann,et al.  Theory contraction through base contraction , 1991, J. Philos. Log..

[65]  Mary-Anne Williams,et al.  On the Logic of Theory Base Change , 1994, JELIA.

[66]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[67]  Atocha Aliseda,et al.  Abductive Reasoning: Logical Investigations into Discovery and Explanation , 2006 .

[68]  Wendy S. Parker,et al.  A Material Theory of Induction , 2003 .

[69]  Liza Verhoeven.  Proof Theories for Some Prioritized Consequence Relations , 2003 .

[70]  Diderik Batens,et al.  Towards a Dialogic Interpretation of Dynamic Proofs , 2009 .

[71]  John K. Slaney,et al.  Realistic Belief Revision , 1995, WOCFAI.

[72]  Benjamin N. Grosof,et al.  Prioritizing Multiple, Contradictory Sources in Common-Sense Learning by Being Told; or, Advice-Take , 1995 .

[73]  Frederik Van De Putte.  Prime implicates and relevant belief revision , 2013, J. Log. Comput..

[74]  G. Priest.  In Contradiction: A Study of the Transconsistent , 1987 .

[75]  Alexa Zellentin,et al.  3 The right and the good , 2012 .

[76]  Lefteris Farmakis.  Inference to the Best Explanation, 2nd edition , 2004 .

[77]  J. Meheus.  Adaptive logic in scientific discovery: the case of Clausius , 1993 .

[78]  Diderik Batens,et al.  Logics for Qualitative Inductive Generalization , 2011, Stud Logica.

[79]  Paul Thagard,et al.  Variability and confirmation , 1982 .

[80]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[81]  Joseph John Thomson,et al.  Determination , 2014, ATZ worldwide.

[82]  Gabriella Pigozzi,et al.  Ten Philosophical Problems in Deontic Logic , 2007, Normative Multi-agent Systems.

[83]  D. D. Jongh,et al.  Preference, priorities and belief , 2009 .

[84]  John F. Horty,et al.  Reasoning with Moral Conflicts , 2003 .

[85]  Lou Goble,et al.  A logic for deontic dilemmas , 2005, J. Appl. Log..

[86]  Diderik Batens,et al.  Blocks: the clue to dynamic aspects of logic , 1997 .

[87]  Audun Stolpe,et al.  Relevance, Derogation and Permission , 2010, DEON.

[88]  Joke Meheus,et al.  Analogical Reasoning in Creative Problem Solving Processes: Logico-Philosophical Perspectives , 2000 .

[89]  Rafal Urbaniak,et al.  Capturing dynamic conceptual frames , 2010, Log. J. IGPL.

[90]  Sven Ove Hansson,et al.  A Textbook Of Belief Dynamics , 1999 .

[91]  Diderik Batens.  A dynamic semantics for inconsistency-adaptive logics. , 1998 .

[92]  Christian Straßer,et al.  Three formats of prioritized adaptive logics: a comparative study , 2013, Log. J. IGPL.

[93]  Carlos E. Alchourrón,et al.  Hierarchies of Regulations and their Logic , 1981 .

[94]  David Makinson,et al.  Parallel interpolation, splitting, and relevance in belief change , 2007, Journal of Symbolic Logic.

[95]  Stephan van der Waart van Gulik,et al.  Fuzzy Logic, Concepts and Semantic Transformers , 2009 .

[96]  Peter Verdée,et al.  Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic , 2011, WoLLIC.

[97]  Diderik Batens.  The Need for Adaptive Logics In Epistemology , 2004, Logic, Epistemology, and the Unity of Science.

[98]  Leon van der Torre,et al.  Preference-based argumentation: Arguments supporting multiple values , 2008, Int. J. Approx. Reason..

[99]  Christian Straßer,et al.  Non-Adjunctive Deontic Logics That Validate Aggregation as Much as Possible∗ , 2010 .

[100]  Diderik Batens,et al.  Embedding and Interpolation for some Paralogics. The Propositional Case , 1999, Reports Math. Log..

[101]  Philip D. Welch,et al.  The Undecidability of Propositional Adaptive Logic , 2006, Synthese.

[102]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[103]  Torben Braüner,et al.  First-order modal logic , 2007, Handbook of Modal Logic.

[104]  Rohit Parikh,et al.  Relevance sensitive belief structures , 2000, Annals of Mathematics and Artificial Intelligence.

[105]  Lou Goble,et al.  Multiplex semantics for deontic logic , 2000 .

[106]  Sven Ove Hansson,et al.  Logic of belief revision , 2011 .

[107]  Peter K. Schotch,et al.  Non - Kripkean Deontic Logic , 1981 .

[108]  David Makinson,et al.  Respecting relevance in belief change , 2006 .

[109]  R. Parikh.  Beliefs, belief revision, and splitting languages , 1999 .

[110]  Joke Meheus.  An adaptive logic for pragmatic truth , 2002 .

[111]  Sven Ove Hansson.  Kernel Contraction , 1994, J. Symb. Log..

[112]  B. V. Fraassen.  Values and the Heart's Command , 1973 .

[113]  J. Mill.  A System Of Logic, Ratiocinative And Inductive , 2019 .

[114]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

[115]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[116]  Henri Prade,et al.  A Practical Approach to Revising Prioritized Knowledge Bases , 2002, Stud Logica.

[117]  M. Dummett.  Elements of Intuitionism , 2000 .

[118]  D. Batens,et al.  On Classical Adaptive Logics of Induction , 2003 .

[119]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[120]  Maarten Van Dyck,et al.  Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction , 2002 .

[121]  Lou Goble,et al.  Preference semantics for deontic logic part I — Simple models , 2003 .

[122]  Nicholas Rescher,et al.  On Inferences from Inconsistent Premises , 1970 .

[123]  Diderik Batens,et al.  A survey of inconsistency-adaptive logics , 2000 .

[124]  Tjerk Gauderis,et al.  Modelling Abduction in Science by means of a Modal Adaptive Logic , 2013 .

[125]  Philip Kitcher,et al.  Precis of The Advancement of Science@@@The Advancement of Science: Science without Legend, Objectivity without Illusions. , 1995 .

[126]  Sven Ove Hansson,et al.  A survey of multiple contraction , 1994 .

[127]  G. L..  Collected Papers , 1912, Nature.

[128]  Diderik Batens,et al.  Extending the Realm of Logic: The Adaptive-Logic Programme , 2004 .

[129]  Peter Jackson,et al.  Computing prime implicates , 1992, CSC '92.