Switch to: References

Add citations

You must login to add citations.
  1. Embedding modal nonmonotonic logics into default logic.Robert Milnikel - 2003 - Studia Logica 75 (3):377 - 382.
    We present a straightforward embedding of modal nonmonotonic logics into default logic.
    Download  
     
    Export citation  
     
    Bookmark  
  • Conservative augmentation of classical theories.J. D. Mackenzie - 1986 - Australasian Journal of Philosophy 64 (2):150 – 157.
    Download  
     
    Export citation  
     
    Bookmark  
  • On nonmonotonic reasoning with the method of sweeping presumptions.Steven O. Kimbrough & Hua Hua - 1991 - Minds and Machines 1 (4):393-416.
    Reasoning almost always occurs in the face of incomplete information. Such reasoning is nonmonotonic in the sense that conclusions drawn may later be withdrawn when additional information is obtained. There is an active literature on the problem of modeling such nonmonotonic reasoning, yet no category of method-let alone a single method-has been broadly accepted as the right approach. This paper introduces a new method, called sweeping presumptions, for modeling nonmonotonic reasoning. The main goal of the paper is to provide an (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Defeasible reasoning and logic programming.Timothy R. Colburn - 1991 - Minds and Machines 1 (4):417-436.
    The general conditions of epistemic defeat are naturally represented through the interplay of two distinct kinds of entailment, deductive and defeasible. Many of the current approaches to modeling defeasible reasoning seek to define defeasible entailment via model-theoretic notions like truth and satisfiability, which, I argue, fails to capture this fundamental distinction between truthpreserving and justification-preserving entailments. I present an alternative account of defeasible entailment and show how logic programming offers a paradigm in which the distinction can be captured, allowing for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A neurosymbolic cognitive architecture framework for handling novelties in open worlds.Shivam Goel, Panagiotis Lymperopoulos, Ravenna Thielstrom, Evan Krause, Patrick Feeney, Pierrick Lorang, Sarah Schneider, Yichen Wei, Eric Kildebeck, Stephen Goss, Michael C. Hughes, Liping Liu, Jivko Sinapov & Matthias Scheutz - 2024 - Artificial Intelligence 331 (C):104111.
    Download  
     
    Export citation  
     
    Bookmark  
  • Non-Monotonic Reasoning in Medieval Theology: Problems and Assumptions.Marcin Trepczyński - 2022 - Studia Humana 11 (3-4):53-66.
    Some interesting cases of non-monotonic reasoning have already been identified in medieval theological texts. Jacob Archambault proved in 2015 that the argumentation presented by St Anselm of Canterbury in his Proslogion has non-monotonic “embeddings”. My own contribution from 2011 indicated that we can argue that a non-monotonic logic underlies some discussions provided by St Thomas Aquinas in his Summa theologiae, and showed that Boethius of Dacia used non-monotonic reasoning in his De aeternitate mundi. In this article, I would like to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Grounded fixpoints and their applications in knowledge representation.Bart Bogaerts, Joost Vennekens & Marc Denecker - 2015 - Artificial Intelligence 224 (C):51-71.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Semantics and complexity of recursive aggregates in answer set programming.Wolfgang Faber, Gerald Pfeifer & Nicola Leone - 2011 - Artificial Intelligence 175 (1):278-298.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • From systems to logic in the early development of nonmonotonic reasoning.Erik Sandewall - 2011 - Artificial Intelligence 175 (1):416-427.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Of Hubert Dreyfus and dead horses: some thoughts on Dreyfus' What Computers Still Can't Do.Timothy Koschmann - 1996 - Artificial Intelligence 80 (1):129-141.
    Download  
     
    Export citation  
     
    Bookmark  
  • Results on translating defaults to circumscription.Tomasz Imielinski - 1987 - Artificial Intelligence 32 (1):131-146.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Variable precision logic.Ryszard S. Michalski & Patrick H. Winston - 1986 - Artificial Intelligence 29 (2):121-146.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A first-order conditional logic for prototypical properties.James P. Delgrande - 1987 - Artificial Intelligence 33 (1):105-130.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • On the relationship between circumscription and negation as failure.Michael Gelfond, Halina Przymusinska & Teodor Przymusinski - 1989 - Artificial Intelligence 38 (1):75-94.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • The effect of knowledge on belief.David Poole - 1991 - Artificial Intelligence 49 (1-3):281-307.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • A logic of knowledge and justified assumptions.Fangzhen Lin & Yoav Shoham - 1992 - Artificial Intelligence 57 (2-3):271-289.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Autoepistemic logic revisited.Robert C. Moore - 1993 - Artificial Intelligence 59 (1-2):27-30.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Minimal knowledge problem: A new approach.Grigori Schwarz & Mirosław Truszczyński - 1994 - Artificial Intelligence 67 (1):113-141.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Uniform semantic treatment of default and autoepistemic logics.Marc Denecker, Victor W. Marek & Mirosław Truszczyński - 2003 - Artificial Intelligence 143 (1):79-122.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Dynamic reasoning with qualified syllogisms.Daniel G. Schwartz - 1997 - Artificial Intelligence 93 (1-2):103-167.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • From environments to representations—a mathematical theory of artificial perceptions.Z. Arzi-Gonczarowski & D. Lehmann - 1998 - Artificial Intelligence 102 (2):187-247.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.
    Download  
     
    Export citation  
     
    Bookmark   443 citations  
  • On decision-theoretic foundations for defaults.Ronen I. Brafman & Nir Friedman - 2001 - Artificial Intelligence 133 (1-2):1-33.
    Download  
     
    Export citation  
     
    Bookmark  
  • Default reasoning from conditional knowledge bases: Complexity and tractable cases.Thomas Eiter & Thomas Lukasiewicz - 2000 - Artificial Intelligence 124 (2):169-241.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Logic in knowledge representation and reasoning: Central topics via readings.Luis M. Augusto - manuscript
    Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.
    Download  
     
    Export citation  
     
    Bookmark  
  • From the History of Science to the History of Knowledge - and Back.Jürgen Renn - 2015 - Centaurus 57 (1):37-53.
    The history of science can be better understood against the background of a history of knowledge comprising not only theoretical but also intuitive and practical knowledge. This widening of scope necessitates a more concise definition of the concept of knowledge, relating its cognitive to its material and social dimensions. The history of knowledge comprises the history of institutions in which knowledge is produced and transmitted. This is an essential but hitherto neglected aspect of cultural evolution. Taking this aspect into account (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)Formalizing falsification: Three delete operations.Rüdiger Schätz - 1990 - Mathematical Logic Quarterly 36 (5):455-470.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Formalizing falsification: Three delete operations.Rüdiger Schätz - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):455-470.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Review of Ernest Davis: Representations of Commonsense Knowledge. [REVIEW]Barry Smith - 1994 - Minds and Machines 4 (2):245-249.
    Review of a compendium of alternative formal representations of common-sense knowledge. The book is centered largely on formal representations drawn from first-order logic, and thus lies in the tradition of Kenneth Forbus, Patrick Hayes and Jerry Hobbs.
    Download  
     
    Export citation  
     
    Bookmark  
  • 1995 European Summer Meeting of the Association for Symbolic Logic.Johann A. Makowsky - 1997 - Bulletin of Symbolic Logic 3 (1):73-147.
    Download  
     
    Export citation  
     
    Bookmark  
  • Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.Rosati Riccardo - 1999 - Journal of Logic, Language and Information 8 (2):187-203.
    We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into two families of modal formalism for nonmonotonic reasoning, McDermott and Doyle's nonmonotonic modal logics and ground nonmonotonic modal logics. First, we prove that Halpern and Moses's logic can be embedded into all ground logics; moreover, the translation employed allows for establishing a lower bound (3p) for the problem of skeptical reasoning in all ground logics. Then, we show a translation of Halpern and Moses's logic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Nonmonotonic Reasoning and Causation.Yoav Shoham - 1990 - Cognitive Science 14 (2):213-252.
    It is suggested that taking into account considerations that traditionally fall within the scope of computer science in general, and artificial intelligence in particular, sheds new light on the subject of causation. It is argued that adopting causal notions con be viewed as filling a computational need: They allow reasoning with incomplete information, facilitate economical representations, and afford relatively efficient methods for reasoning about those representations. Specifically, it is proposed that causal reasoning is intimately bound to nonmonotonic reasoning. An account (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Semantics-based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.
    In this paper we discuss Gabbay's idea of basing nonmonotonic deduction on semantic consequence in intuitionistic logic extended by a consistency operator and Turner's suggestion of replacing the intuitionistic base system by Kleene's three-valued logic. It is shown that a certain counterintuitive feature of these approaches can be avoided by using Nelson's constructive logic N instead of intuitionistic logic or Kleene's system. Moreover, in N a more general notion of consistency can be defined and nonmonotonic deduction can thus be based (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Toward a cognitive psychology of science.Barry Gholson & Arthur Houts - 1989 - Social Epistemology 3 (2):107 – 127.
    Download  
     
    Export citation  
     
    Bookmark  
  • What should default reasoning be, by default?Jeff Pelletier - unknown
    This is a position paper concerning the role of empirical studies of human default reasoning in the formalization of AI theories of default reasoning. We note that AI motivates its theoretical enterprise by reference to human skill at default reasoning, but that the actual research does not make any use of this sort of information and instead relies on intuitions of individual investigators. We discuss two reasons theorists might not consider human performance relevant to formalizing default reasoning: (a) that intuitions (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • A two-level system of knowledge representation based on evidential probability.Henry E. Kyburg - 1991 - Philosophical Studies 64 (1):105 - 114.
    Download  
     
    Export citation  
     
    Bookmark  
  • Is logicist cognitive science possible?Alan Garnham - 1993 - Mind and Language 8 (1):49-71.
    This paper argues against Oaksford and Chater's claim that logicist cognitive science is not possible. It suggests that there arguments against logicist cognitive science are too closely tied to the account of Pylyshyn and of Fodor, and that the correct way of thinking about logicist cognitive science is in a mental models framework.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • (1 other version)A social contract account for CSR as an extended model of corporate governance (II): Compliance, reputation and reciprocity. [REVIEW]Lorenzo Sacconi - 2007 - Journal of Business Ethics 75 (1):77 - 96.
    This essay seeks to give a contractarian foundation to the concept of Corporate Social Responsibility (CSR), meant as an extended model of corporate governance of the firm. Whereas, justificatory issues have been discussed in a related paper (Sacconi, L.: 2006b, this journal), in this essay I focus on the implementation of and compliance with this normative model. The theory of reputation games, with reference to the basic game of trust, is introduced in order to make sense of self-regulation as a (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • (1 other version)A Social Contract Account for CSR as an Extended Model of Corporate Governance : Compliance, Reputation and Reciprocity.Lorenzo Sacconi - 2007 - Journal of Business Ethics 75 (1):77-96.
    This essay seeks to give a contractarian foundation to the concept of Corporate Social Responsibility, meant as an extended model of corporate governance of the firm. Whereas, justificatory issues have been discussed in a related paper, in this essay I focus on the implementation of and compliance with this normative model. The theory of reputation games, with reference to the basic game of trust, is introduced in order to make sense of self-regulation as a way to implement the social contract (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Revisiting $\mathbb{Z}$.Mauricio Osorio, José Luis Carballido & Claudia Zepeda - 2014 - Notre Dame Journal of Formal Logic 55 (1):129-155.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The theory of nomic probability.John L. Pollock - 1992 - Synthese 90 (2):263 - 299.
    This article sketches a theory of objective probability focusing on nomic probability, which is supposed to be the kind of probability figuring in statistical laws of nature. The theory is based upon a strengthened probability calculus and some epistemological principles that formulate a precise version of the statistical syllogism. It is shown that from this rather minimal basis it is possible to derive theorems comprising (1) a theory of direct inference, and (2) a theory of induction. The theory of induction (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Using approximate reasoning to represent default knowledge.Ronald R. Yager - 1987 - Artificial Intelligence 31 (1):99-112.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On embedding default logic into Moore's autoepistemic logic.Grigori Schwarz - 1996 - Artificial Intelligence 80 (2):349-359.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Inheritance comes of age: applying nonmonotonic techniques to problems in industry.Leora Morgenstern - 1998 - Artificial Intelligence 103 (1-2):237-271.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Heuristics, justification, and defeasible reasoning.Timothy R. Colburn - 1995 - Minds and Machines 5 (4):467-487.
    Heuristics can be regarded as justifying the actions and beliefs of problem-solving agents. I use an analysis of heuristics to argue that a symbiotic relationship exists between traditional epistemology and contemporary artificial intelligence. On one hand, the study of models of problem-solving agents usingquantitative heuristics, for example computer programs, can reveal insight into the understanding of human patterns of epistemic justification by evaluating these models'' performance against human problem-solving. On the other hand,qualitative heuristics embody the justifying ability of defeasible rules, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Foundations of a functional approach to knowledge representation.Hector J. Levesque - 1984 - Artificial Intelligence 23 (2):155-212.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • Assumptions, beliefs and probabilities.Kathryn Blackmond Laskey & Paul E. Lehner - 1989 - Artificial Intelligence 41 (1):65-77.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Nonmonotonicity in (the metamathematics of) arithmetic.Karl-Georg Niebergall - 1999 - Erkenntnis 50 (2-3):309-332.
    This paper is an attempt to bring together two separated areas of research: classical mathematics and metamathematics on the one side, non-monotonic reasoning on the other. This is done by simulating nonmonotonic logic through antitonic theory extensions. In the first half, the specific extension procedure proposed here is motivated informally, partly in comparison with some well-known non-monotonic formalisms. Operators V and, more generally, U are obtained which have some plausibility when viewed as giving nonmonotonic theory extensions. In the second half, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On the relation between default and modal nonmonotonic reasoning.Alexander Bochman - 1998 - Artificial Intelligence 101 (1-2):1-34.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Invitation to Autoepistemology.Lloyd Humberstone - 2002 - Theoria 68 (1):13-51.
    The phrase ‘autoepistemic logic’ was introduced in Moore [1985] to refer to a study inspired in large part by criticisms in Stalnaker [1980] of a particular nonmonotonic logic proposed by McDermott and Doyle.1 Very informative discussions for those who have not encountered this area are provided by Moore [1988] and the wide-ranging survey article Konolige [1994], and the scant remarks in the present introductory section do not pretend to serve in place of those treatments as summaries of the field. A (...)
    Download  
     
    Export citation  
     
    Bookmark