We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byHolly Arnold
Modified over 3 years ago
CIDOC CRM:SIG presentation© CIDOC 2015 CRM inf : the Argumentation Model Stephen Stead Paveprime Ltd and Southampton University Oxford, UK, February 2015
CIDOC CRM:SIG presentation© CIDOC 2015 Agenda How do we accumulate knowledge What do we accumulate An example Unique feature of CRMinf Conclusion
CIDOC CRM:SIG presentation© CIDOC 2015 Knowledge Accumulation Observation –What? How? When? Adoption –From whom? Inference/Deduction –Based on what? How?
CIDOC CRM:SIG presentation© CIDOC 2015 Produces Beliefs –Who –When About What –Set of propositions What –True/False/Unknown I2 Belief Somebodies belief in something J5 holds to be J4 that I4 Proposition Set The Something I6 Belief Value True
CIDOC CRM:SIG presentation© CIDOC 2015 An example (British Museum) J1 used as premise J5 holds to be J4 that J2 concluded that P14 carried out by I5 Inference Making Evolution Decision I2 Belief SdS Belief in Evolution A of Misc 4 E39 Actor Person SdS I4 Proposition Set Evolution A I6 Belief Value True J5 holds to be J4 that J2 concluded that I2 Belief SdS Belief in Evolution B of Misc 4 I4 Proposition Set Evolution B I6 Belief Value False J5 holds to be J4 that J2 concluded that I2 Belief SdS Belief in Evolution C of Misc 4 I4 Proposition Set Evolution C I6 Belief Value False J3 applies I2 Belief BM Belief in Spatial Relations of Misc 4 J5 holds to be J4 that I4 Proposition Set S1 I6 Belief Value True I3 Inference Logic Catalogue Text Rules
CIDOC CRM:SIG presentation© CIDOC 2015 Unique feature of CRMinf FALSE!
CIDOC CRM:SIG presentation© CIDOC 2015 Conclusion CRMinf documents:- –Inference Chains –Dead Ends
-- in other words, logic is
Four Rules of Aristotelian Logic 1. Rule of Identity: A is A 2. Rule of Non-Contradiction: A is not (-A) 3. Rule of Excluded Middle: Either A or (-A)
Making Inferences Drawing conclusions from two premises: When it rains, the grass gets wet. The grass is wet. Can we assume that it rained? Can we jump.
Gettier and the analysis of knowledge Michael Lacewing
Rules of Inferences Section 1.5. Definitions Argument: is a sequence of propositions (premises) that end with a proposition called conclusion. Valid Argument:
Reasoning Forward and Backward Chaining Andrew Diniz da Costa
Hume’s Problem of Induction. Most of our beliefs about the world have been formed from inductive inference. (e.g., all of science, folk physics/psych)
Husserl I. The Realm of Ideas Philosophy 157 ©2002, G. J. Mattey.
BUS 290: Critical Thinking for Managers
Chapter 1 The Logic of Compound Statements. Section 1.3 Valid & Invalid Arguments.
Logic 3 Tautological Implications and Tautological Equivalences
Essential Deduction Techniques of Constructing Formal Expressions and Evaluating Attempts to Create Valid Arguments.
Essential Deduction Techniques of Constructing Formal Expressions Evaluating Attempts to Create Valid Arguments.
BASIC CONCEPTS OF ARGUMENTS
Inductive and Deductive Reasoning Geometry 1.0 – Students demonstrate understanding by identifying and giving examples of inductive and deductive reasoning.
1.5 Rules of Inference.
0 Validity & Invalidity (Exercises) December 23, 2005.
The Critical Nouns and Their Definitions Critical Vocabulary of the Common Core.
1 Exploring time and space in the annotation of museum catalogues: The Sloane virtual exhibition experience Stephen Stead Vienna November 2014 University.
Question of the Day! We shared a lot of examples of illogical arguments! But how do you make a LOGICAL argument? What does your argument need? What.
© 2019 SlidePlayer.com Inc. All rights reserved.