Logic for Robotics: Defeasible Reasoning and Non-monotonicity
|
|
- Robyn Casey
- 5 years ago
- Views:
Transcription
1 Logic for Robotics: Defeasible Reasoning and Non-monotonicity
2 The Plan I. Explain and argue for the role of nonmonotonic logic in robotics and II. Briefly introduce some non-monotonic logics III. Fun, speculative stuff.
3 Introduction A. Robots! Robots are (physical, virtual, generally electromechanical) agents designed to perform tasks on their own or with (ideally minimized) guidance (or, from another angle, to amplify the power of people to perform tasks by performing parts or subtasks for us autonomously or semi-autonomously). No knock-down arguments for precise definitions are forthcoming here, but autonomous or semiautonomous agency seems to be a crucial feature of robothood.
4 B. Logic! Introduction The ability to reason (represent the world and infer things about it - e.g. changes in the local environment that result from actions and events) seems to be required for autonomous or semiautonomous agency. If we are leaving a task to a robot, we want to be able to trust it to do its job with some degree of accuracy. Suppose we want an autonomous robot for painting houses. We need the robot to be able to (among other things) recognize when a house is the right color or it might end up painting the house forever. More complicated tasks more reasoning More autonomy more reasoning Reasoning (representation and inference) is pretty much what logic is about.
5 Consequence I.1 Logic Language is the most notable format for reasoning The pieces of language we use for reasoning: Arguments Premises {true sentences or known sentences} Conclusions {sentences that follow } Conclusions are consequences of premises (they are derivable/provable from the premises, they are semantically or logically entailed by the premises, any interpretation that satisfies the premises satisfies the conclusions...) The line between premises and conclusions signifies the consequence relation. Also symbols like :.,, and words like therefore, it follows that..., so... etc. The consequence relation: the relation between premises and conclusions that makes it right to infer the conclusions from the premises. Truth preservation, warrant transmission, etc.
6 Validity The property we want our arguments to have; the feature we want a consequence relation to have. An argument is valid iff, in every possible situation where the premises are true, the conclusion is true. An argument is invalid if there is even one situation where the premises are true and the conclusions are false. Interpretations = possible situations Gather up all the sentences in the world, make them either true or false (but not neither and not both) that's an interpretation. Then take the premises of your argument and the conclusion, and see if, in every interpretation, conditions for validity hold. Inference Rules Schematic rules that are shaped like valid arguments Modus Ponens, Modus Tollens...
7 Formalization Using mathematical tools, especially algebra and set theory, to analyze arguments Symbols and structures made of symbols (expressions, formulas) represent parts of (sentences which are parts of) arguments Abstraction from content we can figure out what is shared by all good arguments, and we can classify argument forms (e.g., inference rules). Suppose: If Ralph is in the sun for a little while, then he will get sunburned. Suppose: Ralph has been in the sun for a little while. Conclude: He will get sunburned. Modus Ponens If P, then Q. P :. Q
8 Logic is Active Main idea: we can use the tools we have already developed/discovered to study new parts of reasoning. Propositional Logic (PL) Sentences (propositions) are represented by symbols {P, Q, R, } Connectives are isolated for study as things especially relevant to good form {not (~), and(^), or (v), if...then ( ), if and only if (iff, )}
9 PL is great Complete, consistent, expressive, decidable There are some arguments that PL just cannot analyze, and those arguments are very common in natural language All intelligent agents deserve rights, all robots are intelligent agents, Foodmotron is a robot :. Foodmotron is an intelligent agent and Foodmotron deserves rights P and Q and R :. S First Order Logic (FOL) can handle the arguments PL can't Quantification and Predication All (x), There-is(x), P(x), Q(x), and all the connectives
10 Analyzing the Foodmotron argument: Intelligent Agent = I, Deserves rights = D*, Robot = R All(x)Ix Dx, All(x)Rx Ix, R(f) :. I(f), D(f), I(f) and D(f) 1. (x)ix Dx 2. (x)rx Ix 3. Rf 4. If Df Universal Instantiation 1 5. Rf If Universal Instantiation 2 6. If Modus Ponens 3,5 7. Df Modus Ponens 4, 6 C. If ^ Df Conjunction Introduction 6, 7 *It would be more precise to analyze the predicate deserves rights as a binary relation between x and some y such that y is a right, i.e., (There-is(y) y is a right) and D(x,y) - but this is just an example, and it's convenient.
11 C. Robot Logic! Bridge Logic can be used for specifying, at a high or abstract level, the reasoning that we want robots to be able to do (and consequently, it characterizes the capabilities we need to design and program robots with). What kind of logic do we need to describe (and prescribe) the reasoning that robots do? First-Order Logic (FOL) seems the obvious candidate: It's deductively powerful. It's expressive. It's complete. It (arguably) characterizes the best (arguably) reasoning that people do (mathematical theorem proving).
12 C. Robot Logic The Set-up. Unfortunately, FOL and its consequence relation have some features that make it completely unsuitable for the task of characterizing a lot of interesting, good reasoning that humans and robots need to do. Keep in mind: Logic is Active Consequence (the relation between premises and conclusions) and Validity. We can have different kinds of consequence relations that still have validity. Valid arguments in FOL have problematic features and valid arguments in other logics may not have those features.
13 Monotonicity Structural Rules The consequence relation in a logic can be abstractly characterized with structural rules. Supraclassicality: if Γ φ then Γ φ. Reflexivity: if φ Γ then Γ φ; Cut: If Γ φ and Γ, φ ψ then Γ ψ; Monotony/Monotonicity: If Γ φ and Γ Δ then Δ φ If a formula (Phi) is a consequence of set of assumed or premise formulas (Gamma), and Gamma is a subset of a new, larger set of formulas (Delta), then Phi is a consequence of Delta. No matter what you add to your original set of premises, you can always validly infer your original conclusions.
14 Monotonicity is a property of the consequence relation in FOL (and all classical logics) Monotonicity: If T1, therefore, P is valid, no addition to T1 can make the inference to P invalid. Conclusions are never invalidated as premises increase. Conclusions are cumulative no take backs. Extending sets of premises/assumptions can never reduce the number of derivable/valid/entailed/provable conclusions (consequences). If a formula P is a consequence of a set of formulas, T1, then for any extension of T1 with another set T2, P is a consequence of the union of T1 and T2.
15 Think about it like this: Suppose that a formula P validly follows from a set of formulas T1, i.e., the argument T1 therefore P is valid. To extend T1, we add a non-empty set of new formulas (at least one new formula) to T1. Let's call this non-empty set T2. The resulting set (at least one formula larger than T1) is the union of T1 and T2. T2 is either consistent with T1 (does not contradict a formula in T1 or a consequence of T1) or inconsistent with T1. If T2 is consistent with T1, then we can ignore T2 and still derive P as a consequence of T1. Since T2 doesn't contradict anything in T1 or P, in any situation where T1 was true before adding T2, T1 is still true and in any situation where P was true before adding T2, P is still true. So, if T1 therefore P was valid before, it's valid now! Generally, inconsistency is to be avoided. In FOL, if T2 is inconsistent with T1, then we can prove anything from T1 together with T2. In classical logics, including FOL, any and every arbitrary sentence is a consequence of inconsistency (arguably) that's what makes inconsistency bad! In either of the two possible cases, we can never retract P.
16 A set of formulas is inconsistent if it contains a contradiction or entails a contradiction. We'll look at both cases. {P, ~P,} 1. P 2. P v Q 3. ~P 4. Q For any arbitrary Q at all! {...P...} 1. ~P 2. P 3. P v Q 4. ~P 5. Q For any arbitrary Q at all!
17 Why monotonicity is problematic (for robots and for us): Argument 1: Defeasible Reasoning Nonmonotonic Argument 2: Intelligent Agency Defeasible Reasoning
18 Defeasible reasoning = reasoning with a consequence relation that can be defeated when a defeasible consequence relation holds between premises and conclusions, the conclusions can be invalidated when we learn something new. Some conclusions make sense until we acquire new information. It's clear that defeasible reasoning is nonmonotonic. Monotonic = no matter what new premises you add, your original conclusion is still valid Defeasible = adding new premises can make your original conclusion invalid
19 Most human reasoning is defeasible reasoning Defeasible Arguments T1 = {If x is A, there is n probability that x is B, x is A} {Most As are B, x is A} {Typically, normally, generically we can safely assume As are B, x is A} x is B*. It can be the case that x is not-b even though every premise in T1 is true. Improbable things happen, x may not be like most other As, x may be atypical, abnormal, not generic or just a surprise. These arguments are good, but in what way? *Distinct from inferring that there is n probability that x is B, which should follow non-monotonically Default Assumptions make these arguments work.
20 Defaults Generics - Birds (most birds, birds in the context of this sentence) fly. Prototypes - Prototypical birds fly. Psychological? Typicality, Normality Birds fly if they are not atypical or abnormal. Probability - N% of birds fly. No-risk or Safe Guess - It's safe to assume birds fly. Consistency - In the absence of contradictory evidence, birds fly. Autoepistemology - If birds didn't fly, I'd know it, and I don't know that they don't fly.
21 Abduction T1 = {P is true, Q would explain P} Q is true Q could be false and all premises in T1 can still be true! Belief Revision {P, P Q} ~Q ~{P, P Q} ~P or ~(P Q)
22 Why is this defeasible reasoning stuff relevant to robotics? We want to design intelligent agents for performing tasks. More complicated tasks more reasoning More exactly, the less able a robot is to represent and infer about the world it operates in, the less useful it is. A robot unable to perform complex reasoning would only be able to complete tasks in a very simple world.. The actual world is very much not simple. More autonomy more reasoning We want to minimize our input to the robot and let it make its own decisions. That's not happening without some smarts. We can control the reasoning a robot does by using a logic or a consequence relation to control the conclusions the robot draws from the things we let it know.
23 Designing an intelligent agent: Intelligence, not omniscience P. Airplanes fly, p is an airplane C. p flies Unless its wings are full of holes, its engine is wrecked, it's out of fuel,..., it's a life-size model, it's made of cake,..., it's on the moon,... P is generic; there are massive numbers of exceptions to the rule. It's hard to represent this argument in FOL: either we treat Airplanes fly as a (false) universal claim or the robot would have to list all of the possible exceptions as part of its premises and confirm them before it could infer C. All(x)(Ax Fx) but that's just false, so C can't be concluded! All(x)((Ax ^ ~Hx ^ ~Ex ^ ~Gx ^ ^~Mx) Fx) almost everything about the airplane has to be confirmed before C can be concluded.
24 The more complex the world is, the more exceptions there are to generic rules. It's just unfeasible to explicitly program in all exceptions to generic statements using FOL and then expect the robot to confirm (prove) every exception does not hold for every inference the robot might make about particular objects in a complex world. Without defaults, there are inferences the robot just can't make without vast amounts of information. Avoiding Contradiction: If a robot uses monotonic reasoning and can't guarantee consistency by explicitly representing all exceptions, then the only way it can avoid ending up with contradictory beliefs (or beliefs ) is to reason defeasibly. Suppose the robot infers P from T1. Suppose it finds out that P is false. Then what? It can't take back P. It can never correct its error.
25 The Frame Problem If the robot is to perform a complex task, it will have to keep track of the effects of its actions, and it will have to represent the invariance of the properties of unaffected things. Most properties don't change without being acted on: if the robot performs an action that changes an object's color, the action will usually not change the object's position. It will also not change the location of other objects. It will also not Of course, there are exceptions. The list of invariances is as large as the world is complicated; we don't want to have to explicitly represent every unchanging fact. The fact that things that aren't explicitly changed stay the same is a default assumption every action leaves facts unchanged unless it is possible to infer that the action changes it.
26 II. Non-monotonic Logic Non-monotonic logic is the project of using logical tools we already have at our disposal to formalize defeasible reasoning. We want argument forms that allow us to figure out when we have valid arguments that also allow us to take back conclusions. We want our inferences to be good, even though we reserve the right to take them back.
27 Non-monotonic Logics, Formalisms Default Rules/Logic Closed World Assumption Autoepistemic Logic Preferred Models, Circumscription Inheritance Networks
28 Default Rules If {A1,...,An} and ~{B1,...,Bn}, then conclude C. Normal Default Rule = Consistency Test If {A1,...,An} and ~(~C), then conclude C. A(x):M(B1(x),...,Bn(x)) C(x) A(x) = the prerequisite C(x) = the consequent M(B1(x),...,Bm(x)) = the justification M = It is consistent to assume that... B1(x),...,Bm(x) = some set of things it is consistent to assume. If it's consistent to assume C, then go ahead and conclude C.
29 Default Logic P. (x is an A: M(x is a B)) x is a B P. (x is an airplane: M(x flies)) C. x flies. We can infer C defeasibly from P because the default rule says that, given our premises, and the satisfaction of the consistency condition, we can conclude C. If we add new premises that make it inconsistent to conclude C, the consistency condition does not hold. x is an A = premise, M(x is a B) = condition of the rule that can fail to hold if we get new information We can retain validity of the original argument (any situation where x is an A and it's consistent to assume x is a B is a situation where x is a B), and we can take back our conclusions.
30 Systems For Defaults Closed World Assumption :M~P ~P If it's not inconsistent to infer ~P, go ahead and infer it. Autoepistemic Logic Modal Logic The extension of a set of premises S = {P P follows in system K45 from the union of S and the positive and negative introspective closures of the subset, S0, of S} Q follows from P defeasibly if Q follows from the union of P plus all the things I know and all the things I don't know I could always learn something new that invalidates Q. P:If ~Q were the case, I'd know it, and I don't know it Q
31 More Systems for Defaults Preferred Models choose the smallest set of interpretations that makes the premises true, then see if those interpretations make the conclusion true This results in assuming that whatever we are not assuming (or proving) is false. Technically very difficult: Second-Order Logic (at least for Circumscription)
32 Inheritance Networks Is-A A B = As are Bs, generally Image taken from Stanford Encyclopedia of Philosophy
33 III. The Interesting Stuff Defeasible reasoning is a key component of human epistemic/cognitive abilities. Suppose some nonmonotonic logic or system really is the theory of human reasoning. If we imbue robots with programs that instantiate these logics, we've opened up the possibility that robots can really possess our abilities. Intelligent Agency Rights? Moral Status? Robot rights? A function of the moral importance of the tasks they perform? They should not be interfered with in their performance of morally important tasks. Suppose a robot is so complex that it performs a wide and varied assortment of morally important tasks does this enmesh it in a network of moral rights and obligations?
34 III. More interesting stuff There is more than one approach to defeasible reasoning: Logical Epistemological Pollock's System of Defeasible Reasoning, OSCAR Project The Web of Belief and the AGM Theory of Belief Revision
35 III. Even More... Logic as robotic enhancement of thought Artificial Intelligences, Theorem Proving programs, Automated Proof procedures... robots? Extended Cognition Thesis Regimentation Virtual Machines Logical Formalization, Deductive Procedures Turning complicated reasoning problems into smaller, more symbolic problems that can be solved with simple, mechanical routines. Symbolize, check for valid argument form, if not found, compile loopholes/counterexamples. Little programs or Ais (robots?) in your brain.
36 Things to Read Reiter, Ray, 1980, A logic for default reasoning, Artificial Intelligence, 13: McDermott, Drew and Doyle, Jon, 1982, Non-Monotonic Logic I, Artificial Intelligence, 13: McCarthy, J., 1980, Circumscription A Form of Non-Monotonic Reasoning, Artificial Inteligence, 13: Moore, Robert C., 1993, Autoepistemic logic revisited, Artificial Intelligence, 59(1-2): Stanford Encyclopedia of Philosophy Articles Non-monotonic Logic Defeasible Reasoning Logic and Artificial Intelligence Classical Logic The Frame Problem Quine, Willard van Orman, and Ullian, J. S., 1982, The Web of Belief, New York: Random House. Alchourrón, C., Gärdenfors, P. and Makinson, D., 1982, On the logic of theory change: contraction functions and their associated revision functions, Theoria, 48: Pollock, John L. 1987, Defeasible Reasoning, Cognitive Science, 11: , 1995, Cognitive Carpentry, Cambridge, Mass.: MIT Press.
All They Know: A Study in Multi-Agent Autoepistemic Reasoning
All They Know: A Study in Multi-Agent Autoepistemic Reasoning PRELIMINARY REPORT Gerhard Lakemeyer Institute of Computer Science III University of Bonn Romerstr. 164 5300 Bonn 1, Germany gerhard@cs.uni-bonn.de
More informationNegative Introspection Is Mysterious
Negative Introspection Is Mysterious Abstract. The paper provides a short argument that negative introspection cannot be algorithmic. This result with respect to a principle of belief fits to what we know
More informationInformalizing Formal Logic
Informalizing Formal Logic Antonis Kakas Department of Computer Science, University of Cyprus, Cyprus antonis@ucy.ac.cy Abstract. This paper discusses how the basic notions of formal logic can be expressed
More informationLogic I or Moving in on the Monkey & Bananas Problem
Logic I or Moving in on the Monkey & Bananas Problem We said that an agent receives percepts from its environment, and performs actions on that environment; and that the action sequence can be based on
More informationFoundations of Non-Monotonic Reasoning
Foundations of Non-Monotonic Reasoning Notation S A - from a set of premisses S we can derive a conclusion A. Example S: All men are mortal Socrates is a man. A: Socrates is mortal. x.man(x) mortal(x)
More informationArtificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture - 03 So in the last
More informationLogic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:
Sentential Logic Semantics Contents: Truth-Value Assignments and Truth-Functions Truth-Value Assignments Truth-Functions Introduction to the TruthLab Truth-Definition Logical Notions Truth-Trees Studying
More information(Refer Slide Time 03:00)
Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about
More informationModule 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur
Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown
More informationCircumscribing Inconsistency
Circumscribing Inconsistency Philippe Besnard IRISA Campus de Beaulieu F-35042 Rennes Cedex Torsten H. Schaub* Institut fur Informatik Universitat Potsdam, Postfach 60 15 53 D-14415 Potsdam Abstract We
More informationAnnouncements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into First-Order Logic
Announcements CS243: Discrete Structures First Order Logic, Rules of Inference Işıl Dillig Homework 1 is due now Homework 2 is handed out today Homework 2 is due next Tuesday Işıl Dillig, CS243: Discrete
More informationPowerful Arguments: Logical Argument Mapping
Georgia Institute of Technology From the SelectedWorks of Michael H.G. Hoffmann 2011 Powerful Arguments: Logical Argument Mapping Michael H.G. Hoffmann, Georgia Institute of Technology - Main Campus Available
More informationFormalizing a Deductively Open Belief Space
Formalizing a Deductively Open Belief Space CSE Technical Report 2000-02 Frances L. Johnson and Stuart C. Shapiro Department of Computer Science and Engineering, Center for Multisource Information Fusion,
More informationA Model of Decidable Introspective Reasoning with Quantifying-In
A Model of Decidable Introspective Reasoning with Quantifying-In Gerhard Lakemeyer* Institut fur Informatik III Universitat Bonn Romerstr. 164 W-5300 Bonn 1, Germany e-mail: gerhard@uran.informatik.uni-bonn,de
More informationOther Logics: What Nonclassical Reasoning Is All About Dr. Michael A. Covington Associate Director Artificial Intelligence Center
Covington, Other Logics 1 Other Logics: What Nonclassical Reasoning Is All About Dr. Michael A. Covington Associate Director Artificial Intelligence Center Covington, Other Logics 2 Contents Classical
More informationUnderstanding Truth Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002
1 Symposium on Understanding Truth By Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002 2 Precis of Understanding Truth Scott Soames Understanding Truth aims to illuminate
More informationDoes Deduction really rest on a more secure epistemological footing than Induction?
Does Deduction really rest on a more secure epistemological footing than Induction? We argue that, if deduction is taken to at least include classical logic (CL, henceforth), justifying CL - and thus deduction
More informationLogic and Pragmatics: linear logic for inferential practice
Logic and Pragmatics: linear logic for inferential practice Daniele Porello danieleporello@gmail.com Institute for Logic, Language & Computation (ILLC) University of Amsterdam, Plantage Muidergracht 24
More informationPHI 1500: Major Issues in Philosophy
PHI 1500: Major Issues in Philosophy Session 3 September 9 th, 2015 All About Arguments (Part II) 1 A common theme linking many fallacies is that they make unwarranted assumptions. An assumption is a claim
More informationVarieties of Apriority
S E V E N T H E X C U R S U S Varieties of Apriority T he notions of a priori knowledge and justification play a central role in this work. There are many ways in which one can understand the a priori,
More informationRevisiting the Socrates Example
Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified
More informationA New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance System
A New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance System Qutaibah Althebyan, Henry Hexmoor Department of Computer Science and Computer Engineering University
More informationSemantic Foundations for Deductive Methods
Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the
More information1. Introduction Formal deductive logic Overview
1. Introduction 1.1. Formal deductive logic 1.1.0. Overview In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special
More informationChapter 1. Introduction. 1.1 Deductive and Plausible Reasoning Strong Syllogism
Contents 1 Introduction 3 1.1 Deductive and Plausible Reasoning................... 3 1.1.1 Strong Syllogism......................... 3 1.1.2 Weak Syllogism.......................... 4 1.1.3 Transitivity
More informationQuantificational logic and empty names
Quantificational logic and empty names Andrew Bacon 26th of March 2013 1 A Puzzle For Classical Quantificational Theory Empty Names: Consider the sentence 1. There is something identical to Pegasus On
More informationKnowledge, Time, and the Problem of Logical Omniscience
Fundamenta Informaticae XX (2010) 1 18 1 IOS Press Knowledge, Time, and the Problem of Logical Omniscience Ren-June Wang Computer Science CUNY Graduate Center 365 Fifth Avenue, New York, NY 10016 rwang@gc.cuny.edu
More information16. Universal derivation
16. Universal derivation 16.1 An example: the Meno In one of Plato s dialogues, the Meno, Socrates uses questions and prompts to direct a young slave boy to see that if we want to make a square that has
More informationAn alternative understanding of interpretations: Incompatibility Semantics
An alternative understanding of interpretations: Incompatibility Semantics 1. In traditional (truth-theoretic) semantics, interpretations serve to specify when statements are true and when they are false.
More informationAnnouncements. CS311H: Discrete Mathematics. First Order Logic, Rules of Inference. Satisfiability, Validity in FOL. Example.
Announcements CS311H: Discrete Mathematics First Order Logic, Rules of Inference Instructor: Işıl Dillig Homework 1 is due now! Homework 2 is handed out today Homework 2 is due next Wednesday Instructor:
More informationA BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS
A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS 0. Logic, Probability, and Formal Structure Logic is often divided into two distinct areas, inductive logic and deductive logic. Inductive logic is concerned
More informationLOGIC: An INTRODUCTION to the FORMAL STUDY of REASONING. JOHN L. POLLOCK University of Arizona
LOGIC: An INTRODUCTION to the FORMAL STUDY of REASONING JOHN L. POLLOCK University of Arizona 1 The Formal Study of Reasoning 1. Problem Solving and Reasoning Human beings are unique in their ability
More informationON CAUSAL AND CONSTRUCTIVE MODELLING OF BELIEF CHANGE
ON CAUSAL AND CONSTRUCTIVE MODELLING OF BELIEF CHANGE A. V. RAVISHANKAR SARMA Our life in various phases can be construed as involving continuous belief revision activity with a bundle of accepted beliefs,
More informationSOME PROBLEMS IN REPRESENTATION OF KNOWLEDGE IN FORMAL LANGUAGES
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 30(43) 2012 University of Bialystok SOME PROBLEMS IN REPRESENTATION OF KNOWLEDGE IN FORMAL LANGUAGES Abstract. In the article we discuss the basic difficulties which
More informationExercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014
Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional
More informationComments on Truth at A World for Modal Propositions
Comments on Truth at A World for Modal Propositions Christopher Menzel Texas A&M University March 16, 2008 Since Arthur Prior first made us aware of the issue, a lot of philosophical thought has gone into
More informationThe Role of Logic in Philosophy of Science
The Role of Logic in Philosophy of Science Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium Diderik.Batens@UGent.be March 8, 2006 Introduction For Logical Empiricism
More informationArtificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur
Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied
More informationOn Priest on nonmonotonic and inductive logic
On Priest on nonmonotonic and inductive logic Greg Restall School of Historical and Philosophical Studies The University of Melbourne Parkville, 3010, Australia restall@unimelb.edu.au http://consequently.org/
More informationSelections from Aristotle s Prior Analytics 41a21 41b5
Lesson Seventeen The Conditional Syllogism Selections from Aristotle s Prior Analytics 41a21 41b5 It is clear then that the ostensive syllogisms are effected by means of the aforesaid figures; these considerations
More informationParadox of Deniability
1 Paradox of Deniability Massimiliano Carrara FISPPA Department, University of Padua, Italy Peking University, Beijing - 6 November 2018 Introduction. The starting elements Suppose two speakers disagree
More informationINTRODUCTION. This week: Moore's response, Nozick's response, Reliablism's response, Externalism v. Internalism.
GENERAL PHILOSOPHY WEEK 2: KNOWLEDGE JONNY MCINTOSH INTRODUCTION Sceptical scenario arguments: 1. You cannot know that SCENARIO doesn't obtain. 2. If you cannot know that SCENARIO doesn't obtain, you cannot
More informationHow Gödelian Ontological Arguments Fail
How Gödelian Ontological Arguments Fail Matthew W. Parker Abstract. Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer
More informationA Generalization of Hume s Thesis
Philosophia Scientiæ Travaux d'histoire et de philosophie des sciences 10-1 2006 Jerzy Kalinowski : logique et normativité A Generalization of Hume s Thesis Jan Woleński Publisher Editions Kimé Electronic
More informationPostulates for conditional belief revision
Postulates for conditional belief revision Gabriele Kern-Isberner FernUniversitat Hagen Dept. of Computer Science, LG Prakt. Informatik VIII P.O. Box 940, D-58084 Hagen, Germany e-mail: gabriele.kern-isberner@fernuni-hagen.de
More informationWarrant and accidentally true belief
Warrant and accidentally true belief ALVIN PLANTINGA My gratitude to Richard Greene and Nancy Balmert for their perceptive discussion of my account of warrant ('Two notions of warrant and Plantinga's solution
More informationOn the formalization Socratic dialogue
On the formalization Socratic dialogue Martin Caminada Utrecht University Abstract: In many types of natural dialogue it is possible that one of the participants is more or less forced by the other participant
More information2.1 Review. 2.2 Inference and justifications
Applied Logic Lecture 2: Evidence Semantics for Intuitionistic Propositional Logic Formal logic and evidence CS 4860 Fall 2012 Tuesday, August 28, 2012 2.1 Review The purpose of logic is to make reasoning
More informationArtificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur
Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 10 Inference in First Order Logic I had introduced first order
More information9 Knowledge-Based Systems
9 Knowledge-Based Systems Throughout this book, we have insisted that intelligent behavior in people is often conditioned by knowledge. A person will say a certain something about the movie 2001 because
More informationArtificial Intelligence I
Artificial Intelligence I Matthew Huntbach, Dept of Computer Science, Queen Mary and Westfield College, London, UK E 4NS. Email: mmh@dcs.qmw.ac.uk. Notes may be used with the permission of the author.
More informationWhat is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece
What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history
More informationLogic Appendix: More detailed instruction in deductive logic
Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,
More informationTWO VERSIONS OF HUME S LAW
DISCUSSION NOTE BY CAMPBELL BROWN JOURNAL OF ETHICS & SOCIAL PHILOSOPHY DISCUSSION NOTE MAY 2015 URL: WWW.JESP.ORG COPYRIGHT CAMPBELL BROWN 2015 Two Versions of Hume s Law MORAL CONCLUSIONS CANNOT VALIDLY
More informationSemantic Entailment and Natural Deduction
Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.
More information1.2. What is said: propositions
1.2. What is said: propositions 1.2.0. Overview In 1.1.5, we saw the close relation between two properties of a deductive inference: (i) it is a transition from premises to conclusion that is free of any
More informationUC Berkeley, Philosophy 142, Spring 2016
Logical Consequence UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Intuitive characterizations of consequence Modal: It is necessary (or apriori) that, if the premises are true, the conclusion
More informationRussell: On Denoting
Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of
More informationRichard L. W. Clarke, Notes REASONING
1 REASONING Reasoning is, broadly speaking, the cognitive process of establishing reasons to justify beliefs, conclusions, actions or feelings. It also refers, more specifically, to the act or process
More informationWhat would count as Ibn Sīnā (11th century Persia) having first order logic?
1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā
More informationBelief as Defeasible Knowledge
Belief as Defeasible Knowledge Yoav ShoharrT Computer Science Department Stanford University Stanford, CA 94305, USA Yoram Moses Department of Applied Mathematics The Weizmann Institute of Science Rehovot
More informationReductio ad Absurdum, Modulation, and Logical Forms. Miguel López-Astorga 1
International Journal of Philosophy and Theology June 25, Vol. 3, No., pp. 59-65 ISSN: 2333-575 (Print), 2333-5769 (Online) Copyright The Author(s). All Rights Reserved. Published by American Research
More informationWhat is a counterexample?
Lorentz Center 4 March 2013 What is a counterexample? Jan-Willem Romeijn, University of Groningen Joint work with Eric Pacuit, University of Maryland Paul Pedersen, Max Plank Institute Berlin Co-authors
More informationNON-NUMERICAL APPROACHES TO PLAUSIBLE INFERENCE
CHAPTER 8 NON-NUMERICAL APPROACHES TO PLAUSIBLE INFERENCE INTRODUCTION by Glenn Shafer and Judea Pearl Though non-numerical plausible reasoning was studied extensively long before artificial intelligence
More information2.3. Failed proofs and counterexamples
2.3. Failed proofs and counterexamples 2.3.0. Overview Derivations can also be used to tell when a claim of entailment does not follow from the principles for conjunction. 2.3.1. When enough is enough
More informationA Recursive Semantics for Defeasible Reasoning
A Recursive Semantics for Defeasible Reasoning John L. Pollock Department of Philosophy University of Arizona Tucson, Arizona 85721 pollock@arizona.edu http://www.u.arizona.edu/~pollock Abstract One of
More informationA Recursive Semantics for Defeasible Reasoning
A Recursive Semantics for Defeasible Reasoning John L. Pollock 1 Reasoning in the Face of Pervasive Ignorance One of the most striking characteristics of human beings is their ability to function successfully
More information1. Introduction. Against GMR: The Incredulous Stare (Lewis 1986: 133 5).
Lecture 3 Modal Realism II James Openshaw 1. Introduction Against GMR: The Incredulous Stare (Lewis 1986: 133 5). Whatever else is true of them, today s views aim not to provoke the incredulous stare.
More informationStudy Guides. Chapter 1 - Basic Training
Study Guides Chapter 1 - Basic Training Argument: A group of propositions is an argument when one or more of the propositions in the group is/are used to give evidence (or if you like, reasons, or grounds)
More informationConstructive Logic, Truth and Warranted Assertibility
Constructive Logic, Truth and Warranted Assertibility Greg Restall Department of Philosophy Macquarie University Version of May 20, 2000....................................................................
More informationTOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
CDD: 160 http://dx.doi.org/10.1590/0100-6045.2015.v38n2.wcear TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY WALTER CARNIELLI 1, ABÍLIO RODRIGUES 2 1 CLE and Department of
More informationPhilosophy 5340 Epistemology. Topic 6: Theories of Justification: Foundationalism versus Coherentism. Part 2: Susan Haack s Foundherentist Approach
Philosophy 5340 Epistemology Topic 6: Theories of Justification: Foundationalism versus Coherentism Part 2: Susan Haack s Foundherentist Approach Susan Haack, "A Foundherentist Theory of Empirical Justification"
More informationLecturer: Xavier Parent. Imperative logic and its problems. by Joerg Hansen. Imperative logic and its problems 1 / 16
Lecturer: Xavier Parent by Joerg Hansen 1 / 16 Topic of the lecture Handbook chapter ", by J. Hansen Imperative logic close to deontic logic, albeit different Complements the big historical chapter in
More informationCommentary on Scriven
University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 8 Jun 3rd, 9:00 AM - Jun 6th, 5:00 PM Commentary on Scriven John Woods Follow this and additional works at: http://scholar.uwindsor.ca/ossaarchive
More informationA Solution to the Gettier Problem Keota Fields. the three traditional conditions for knowledge, have been discussed extensively in the
A Solution to the Gettier Problem Keota Fields Problem cases by Edmund Gettier 1 and others 2, intended to undermine the sufficiency of the three traditional conditions for knowledge, have been discussed
More informationTruth and Modality - can they be reconciled?
Truth and Modality - can they be reconciled? by Eileen Walker 1) The central question What makes modal statements statements about what might be or what might have been the case true or false? Normally
More informationPollock s Theory of Defeasible Reasoning
s Theory of Defeasible Reasoning Jonathan University of Toronto Northern Institute of Philosophy June 18, 2010 Outline 1 2 Inference 3 s 4 Success Stories: The of Acceptance 5 6 Topics 1 Problematic Bayesian
More informationCognitivism about imperatives
Cognitivism about imperatives JOSH PARSONS 1 Introduction Sentences in the imperative mood imperatives, for short are traditionally supposed to not be truth-apt. They are not in the business of describing
More informationFrom Necessary Truth to Necessary Existence
Prequel for Section 4.2 of Defending the Correspondence Theory Published by PJP VII, 1 From Necessary Truth to Necessary Existence Abstract I introduce new details in an argument for necessarily existing
More information9.1 Intro to Predicate Logic Practice with symbolizations. Today s Lecture 3/30/10
9.1 Intro to Predicate Logic Practice with symbolizations Today s Lecture 3/30/10 Announcements Tests back today Homework: --Ex 9.1 pgs. 431-432 Part C (1-25) Predicate Logic Consider the argument: All
More informationEpistemological Foundations for Koons Cosmological Argument?
Epistemological Foundations for Koons Cosmological Argument? Koons (2008) argues for the very surprising conclusion that any exception to the principle of general causation [i.e., the principle that everything
More informationPHILOSOPHY OF LOGIC AND LANGUAGE OVERVIEW LOGICAL CONSTANTS WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH
PHILOSOPHY OF LOGIC AND LANGUAGE WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH OVERVIEW Last week, I discussed various strands of thought about the concept of LOGICAL CONSEQUENCE, introducing Tarski's
More informationCoordination Problems
Philosophy and Phenomenological Research Philosophy and Phenomenological Research Vol. LXXXI No. 2, September 2010 Ó 2010 Philosophy and Phenomenological Research, LLC Coordination Problems scott soames
More informationIn Defense of Radical Empiricism. Joseph Benjamin Riegel. Chapel Hill 2006
In Defense of Radical Empiricism Joseph Benjamin Riegel A thesis submitted to the faculty of the University of North Carolina at Chapel Hill in partial fulfillment of the requirements for the degree of
More informationINTERMEDIATE LOGIC Glossary of key terms
1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include
More informationLogic for Computer Science - Week 1 Introduction to Informal Logic
Logic for Computer Science - Week 1 Introduction to Informal Logic Ștefan Ciobâcă November 30, 2017 1 Propositions A proposition is a statement that can be true or false. Propositions are sometimes called
More informationEmpty Names and Two-Valued Positive Free Logic
Empty Names and Two-Valued Positive Free Logic 1 Introduction Zahra Ahmadianhosseini In order to tackle the problem of handling empty names in logic, Andrew Bacon (2013) takes on an approach based on positive
More informationHere s a very dumbed down way to understand why Gödel is no threat at all to A.I..
Comments on Godel by Faustus from the Philosophy Forum Here s a very dumbed down way to understand why Gödel is no threat at all to A.I.. All Gödel shows is that try as you might, you can t create any
More information2 Lecture Summary Belief change concerns itself with modelling the way in which entities (or agents) maintain beliefs about their environment and how
Introduction to Belief Change Maurice Pagnucco Department of Computing Science Division of Information and Communication Sciences Macquarie University NSW 2109 E-mail: morri@ics.mq.edu.au WWW: http://www.comp.mq.edu.au/οmorri/
More informationTruth At a World for Modal Propositions
Truth At a World for Modal Propositions 1 Introduction Existentialism is a thesis that concerns the ontological status of individual essences and singular propositions. Let us define an individual essence
More information3.3. Negations as premises Overview
3.3. Negations as premises 3.3.0. Overview A second group of rules for negation interchanges the roles of an affirmative sentence and its negation. 3.3.1. Indirect proof The basic principles for negation
More informationClass 33: Quine and Ontological Commitment Fisher 59-69
Philosophy 240: Symbolic Logic Fall 2008 Mondays, Wednesdays, Fridays: 9am - 9:50am Hamilton College Russell Marcus rmarcus1@hamilton.edu Re HW: Don t copy from key, please! Quine and Quantification I.
More informationUnit VI: Davidson and the interpretational approach to thought and language
Unit VI: Davidson and the interpretational approach to thought and language October 29, 2003 1 Davidson s interdependence thesis..................... 1 2 Davidson s arguments for interdependence................
More informationArtificial Intelligence. Clause Form and The Resolution Rule. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence Clause Form and The Resolution Rule Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 07 Lecture 03 Okay so we are
More informationJELIA Justification Logic. Sergei Artemov. The City University of New York
JELIA 2008 Justification Logic Sergei Artemov The City University of New York Dresden, September 29, 2008 This lecture outlook 1. What is Justification Logic? 2. Why do we need Justification Logic? 3.
More informationAn overview of formal models of argumentation and their application in philosophy
An overview of formal models of argumentation and their application in philosophy Henry Prakken Department of Information and Computing Sciences, Utrecht University & Faculty of Law, University of Groningen,
More informationLogic I, Fall 2009 Final Exam
24.241 Logic I, Fall 2009 Final Exam You may not use any notes, handouts, or other material during the exam. All cell phones must be turned off. Please read all instructions carefully. Good luck with the
More informationWhat is Physicalism? Meet Mary the Omniscient Scientist
What is Physicalism? Jackson (1986): Physicalism is not the noncontroversial thesis that the actual world is largely physical, but the challenging thesis that it is entirely physical. This is why physicalists
More informationAn Inferentialist Conception of the A Priori. Ralph Wedgwood
An Inferentialist Conception of the A Priori Ralph Wedgwood When philosophers explain the distinction between the a priori and the a posteriori, they usually characterize the a priori negatively, as involving
More informationForeknowledge, evil, and compatibility arguments
Foreknowledge, evil, and compatibility arguments Jeff Speaks January 25, 2011 1 Warfield s argument for compatibilism................................ 1 2 Why the argument fails to show that free will and
More information