View topic on PhilPapers for more information
Related categories

29 found
Order:
More results on PhilPapers
  1. 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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. The Qualitative Thesis.David Boylan & Ginger Schultheis - 2022 - Journal of Philosophy 119 (4):196-229.
    The Qualitative Thesis says that if you leave open P, then you are sure of if P, then Q just in case you are sure of the corresponding material conditional. We argue the Qualitative Thesis provides compelling reasons to accept a thesis that we call Conditional Locality, which says, roughly, the interpretation of an indicative conditional depends, in part, on the conditional’s local embedding environment. In the first part of the paper, we present an argument—due to Ben Holguín—showing that, without (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. White Hole Observation: An Experimental Result.Yang I. Pachankis - 2022 - International Journal of Innovative Science and Research Technology 7 (2):779-790.
    The article presents the empirical confirmation to the black hole and white hole juxtapose theory. The author based the experiment on the multi- mission multi-spectral space telescope data conducted remotely with the NASA Data Challenge and Harvard- Smithsonian Micro-Observatory. Since the loss of the original manuscript, the author reformulated the mathematics during the research. The observation developed a resonance observation technique that observed the white hole to the moon’s direction with the sun. The data reduction of the white hole and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Knowability Relative to Information.Peter Hawke & Franz Berto - 2021 - Mind 130 (517):1-33.
    We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   14 citations  
  5. Misleading higher-order evidence, conflicting ideals, and defeasible logic.Aleks Knoks - 2021 - Ergo: An Open Access Journal of Philosophy 8:141--74.
    Thinking about misleading higher-order evidence naturally leads to a puzzle about epistemic rationality: If one’s total evidence can be radically misleading regarding itself, then two widely-accepted requirements of rationality come into conflict, suggesting that there are rational dilemmas. This paper focuses on an often misunderstood and underexplored response to this (and similar) puzzles, the so-called conflicting-ideals view. Drawing on work from defeasible logic, I propose understanding this view as a move away from the default metaepistemological position according to which rationality (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Forms and Norms of Indecision in Argumentation Theory.Daniela Schuster - 2021 - Deontic Logic and Normative Systems, 15th International Conference, DEON 2020/2021.
    One main goal of argumentation theory is to evaluate arguments and to determine whether they should be accepted or rejected. When there is no clear answer, a third option, being undecided, has to be taken into account. Indecision is often not considered explicitly, but rather taken to be a collection of all unclear or troubling cases. However, current philosophy makes a strong point for taking indecision itself to be a proper object of consideration. This paper aims at revealing parallels between (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Simple Hyperintensional Belief Revision.F. Berto - 2019 - Erkenntnis 84 (3):559-575.
    I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   20 citations  
  8. A multi-succedent sequent calculus for logical expressivists.Daniel Kaplan - 2018 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2017. College Publications. pp. 139-153.
    Expressivism in logic is the view that logical vocabulary plays a primarily expressive role: that is, that logical vocabulary makes perspicuous in the object language structural features of inference and incompatibility (Brandom, 1994, 2008). I present a precise, technical criterion of expressivity for a logic (§2). I next present a logic that meets that criterion (§3). I further explore some interesting features of that logic: first, a representation theorem for capturing other logics (§3.1), and next some novel logical vocabulary for (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. The Logic of Reasons.Shyam Nair & John Horty - 2018 - In Daniel Star (ed.), Oxford Handbook of Reasons and Normativity. Oxford University Press. pp. 67-84.
    In this chapter, we begin by sketching in the broadest possible strokes the ideas behind two formal systems that have been introduced with to goal of explicating the ways in which reasons interact to support the actions and conclusions they do. The first of these is the theory of defeasible reasoning developed in the seminal work of Pollock; the second is a more recent theory due to Horty, which adapts and develops the default logic introduced by Reiter to provide an (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  10. The logic of epistemic justification.Martin Smith - 2018 - Synthese 195 (9):3857-3875.
    Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well known to invalidate. But (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   12 citations  
  11. The Reasoning View and Defeasible Practical Reasoning.Samuel Asarnow - 2017 - Philosophy and Phenomenological Research 95 (3):614-636.
    According to the Reasoning View about normative reasons, facts about normative reasons for action can be understood in terms of facts about the norms of practical reasoning. I argue that this view is subject to an overlooked class of counterexamples, familiar from debates about Subjectivist theories of normative reasons. Strikingly, the standard strategy Subjectivists have used to respond to this problem cannot be adapted to the Reasoning View. I think there is a solution to this problem, however. I argue that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  12. Impossible Worlds and the Logic of Imagination.Francesco Berto - 2017 - Erkenntnis 82 (6):1277-1297.
    I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   39 citations  
  13. When Structural Principles Hold Merely Locally.Ulf Hlobil - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 53-67.
    In substructural logics, structural principles may hold in some fragments of a consequence relation without holding globally. I look at this phenomenon in my preferred substructural logic, in which Weakening and Cut fail but which is supra-intuitionistic. I introduce object language operators that keep track of the admissibility of Weakening and of intuitionistic implications. I end with some ideas about local transitivity.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. Sobre a Formalização Lógica de Mudança de Teorias e Anomalias Científicas.Ricardo Silvestre - 2017 - ARGUMENTOS - Revista de Filosofia 1 (17):72-91.
    Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam capazes (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. AGM-Like Paraconsistent Belief Change.Rafael R. Testa, Marcelo E. Coniglio & Marcio M. Ribeiro - 2017 - Logic Journal of the IGPL 25 (4):632-672.
    Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  16. A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105.
    I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity fails, but (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  17. Qualitative probabilistic inference under varied entropy levels.Paul D. Thorn & Gerhard Schurz - 2016 - Journal of Applied Logic 19 (2):87-101.
    In previous work, we studied four well known systems of qualitative probabilistic inference, and presented data from computer simulations in an attempt to illustrate the performance of the systems. These simulations evaluated the four systems in terms of their tendency to license inference to accurate and informative conclusions, given incomplete information about a randomly selected probability distribution. In our earlier work, the procedure used in generating the unknown probability distribution (representing the true stochastic state of the world) tended to yield (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  18. 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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. A Utility Based Evaluation of Logico-probabilistic Systems.Paul D. Thorn & Gerhard Schurz - 2014 - Studia Logica 102 (4):867-890.
    Systems of logico-probabilistic (LP) reasoning characterize inference from conditional assertions interpreted as expressing high conditional probabilities. In the present article, we investigate four prominent LP systems (namely, systems O, P, Z, and QC) by means of computer simulations. The results reported here extend our previous work in this area, and evaluate the four systems in terms of the expected utility of the dispositions to act that derive from the conclusions that the systems license. In addition to conforming to the dominant (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  20. Arguments Whose Strength Depends on Continuous Variation.James Franklin - 2013 - Informal Logic 33 (1):33-56.
    Both the traditional Aristotelian and modern symbolic approaches to logic have seen logic in terms of discrete symbol processing. Yet there are several kinds of argument whose validity depends on some topological notion of continuous variation, which is not well captured by discrete symbols. Examples include extrapolation and slippery slope arguments, sorites, fuzzy logic, and those involving closeness of possible worlds. It is argued that the natural first attempts to analyze these notions and explain their relation to reasoning fail, so (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Ampliative Inference Under Varied Entropy Levels.Paul D. Thorn & Gerhard Schurz - 2013 - In Christoph Beierle & Gabriele Kern-Isberner (eds.), Proceedings of the 4th Workshop on Dynamics of Knowledge and Belief (DKB-2013). Fakultät für Mathematik und Informatik, FernUniversität in Hagen. pp. 77-88.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. A theory of presumption for everyday argumentation.David M. Godden & Douglas N. Walton - 2007 - Pragmatics and Cognition 15 (2):313-346.
    The paper considers contemporary models of presumption in terms of their ability to contribute to a working theory of presumption for argumentation. Beginning with the Whatelian model, we consider its contemporary developments and alternatives, as proposed by Sidgwick, Kauffeld, Cronkhite, Rescher, Walton, Freeman, Ullmann-Margalit, and Hansen. Based on these accounts, we present a picture of presumptions characterized by their nature, function, foundation and force. On our account, presumption is a modal status that is attached to a claim and has the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   30 citations  
  23. Reasoning from Conflicting Sources.Gilbert Plumer & Kenneth Olson - 2007 - In Hans V. Hansen, Christopher W. Tindale, J. Anthony Blair, Ralph H. Johnson & David M. Godden (eds.), Dissensus and the Search for Common Ground. Proceedings 2007 [CD-ROM]. Ontario Society for the Study of Argumentation. pp. 1-9.
    One might ask of two or more texts—what can be inferred from them, taken together? If the texts happen to contradict each other in some respect, then the unadorned answer of standard logic is EVERYTHING. But it seems to be a given that we often successfully reason with inconsistent information from multiple sources. The purpose of this paper is to attempt to develop an adequate approach to accounting for this given.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. On An Error In Grove's Proof.Koji Tanaka & Graham Priest - 1997 - Logique Et Analyse 158:215-217.
    Nearly a decade has past since Grove gave a semantics for the AGM postulates. The semantics, called sphere semantics, provided a new perspective of the area of study, and has been widely used in the context of theory or belief change. However, the soundness proof that Grove gives in his paper contains an error. In this note, we will point this out and give two ways of repairing it.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Situated nonmonotonic temporal reasoning with BABY-SIT.Erkan Tin & Varol Akman - 1997 - AI Communications 10 (2):93-109.
    After a review of situation theory and previous attempts at 'computational' situation theory, we present a new programming environment, BABY-SIT, which is based on situation theory. We then demonstrate how problems requiring formal temporal reasoning can be solved in this framework. Specifically, the Yale Shooting Problem, which is commonly regarded as a canonical problem for nonmonotonic temporal reasoning, is implemented in BABY-SIT using Yoav Shoham's causal theories.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. The logic of counteraction.Erkan Tin & Varol Akman - 1993 - Elektrik 1 (3):167-181.
    We extend causal theories and study actions in domains involving multiple agents. Causal theories, invented by Yoav Shoham, are based on a temporal nonmonotonic logic and have computationally tractable aspects. Since Shoham's formalism does not provide an adequate mechanism for representing simultaneous actions and specifying their consequences, we introduce the notion of counteractions while preserving the efficiency and model-theoretic properties of causal theories.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. Computing with causal theories.Erkan Tin & Varol Akman - 1992 - International Journal of Pattern Recognition and Artificial Intelligence 6 (4):699-730.
    Formalizing commonsense knowledge for reasoning about time has long been a central issue in AI. It has been recognized that the existing formalisms do not provide satisfactory solutions to some fundamental problems, viz. the frame problem. Moreover, it has turned out that the inferences drawn do not always coincide with those one had intended when one wrote the axioms. These issues call for a well-defined formalism and useful computational utilities for reasoning about time and change. Yoav Shoham of Stanford University (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. Knowledge Bases and Neural Network Synthesis.Todd R. Davies - 1991 - In Hozumi Tanaka (ed.), Artificial Intelligence in the Pacific Rim: Proceedings of the Pacific Rim International Conference on Artificial Intelligence. IOS Press. pp. 717-722.
    We describe and try to motivate our project to build systems using both a knowledge based and a neural network approach. These two approaches are used at different stages in the solution of a problem, instead of using knowledge bases exclusively on some problems, and neural nets exclusively on others. The knowledge base (KB) is defined first in a declarative, symbolic language that is easy to use. It is then compiled into an efficient neural network (NN) representation, run, and the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  29. On probabilistic representation of non-probabilistic belief revision.Sten Lindström & Wlodek Rabinowicz - 1989 - Journal of Philosophical Logic 18 (1):69 - 101.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   26 citations