CIDOC CRM:SIG presentation© CIDOC 2015 CRM inf : the Argumentation Model Stephen Stead Paveprime Ltd and Southampton University Oxford, UK, February 2015.

Slides:

Advertisements

Similar presentations

-- in other words, logic is

Advertisements

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.

Logic. What is logic? Logic (from the Ancient Greek: λογική, logike) is the use and study of valid reasoning. The study of logic features most prominently.

Research Skills Mr. BETA Aim: How do you conduct proper research for a paper or project? Do Now: In your notebooks, Define: * Argument *

0 Validity & Invalidity (Exercises) All dogs have two heads. 2. All tigers are dogs. ___________________________________ 3. All tigers have two.

Today’s Topics Introduction to Proofs Rules of Inference Rules of Equivalence.

Philosophical Method  Logic: A Calculus For Good Reason  Clarification, Not Obfuscation  Distinctions and Disambiguation  Examples and Counterexamples.

Observation and Inference

Out and About with the CIDOC CRM: The Lessons and Results of the CRM Dissemination and Training programme Stephen Stead, Paveprime Ltd.

CS6133 Software Specification and Verification

What is Reasoning  Logical reasoning is the process of drawing conclusions from premises using rules of inference.  These inference rules are results.

The Ontological Argument

Introduction to Philosophy Lecture 1-b What is Philosophy? (Part 2) By David Kelsey.

Hypothesis Testing Steps for the Rejection Region Method State H 1 and State H 0 State the Test Statistic and its sampling distribution (normal or t) Determine.

1 Scientific Method Learning Target: I can describe the steps in the scientific method.

Section 3.6 Reasoning and Patterns. Deductive Reasoning Deductive reasoning starts with a general rule, which we know to be true. Then from that rule,

Text Table of Contents #5: Evaluating the Argument.

CT214 – Logical Foundations of Computing Darren Doherty Rm. 311 Dept. of Information Technology NUI Galway

A Basic Guide OBSERVATION & INFERENCE.  Inference comes from the verb “to infer” which means to conclude by using logic  Therefore, inference (n.) is.

Uniqueness Quantifier ROI for Quantified Statement.

Text Table of Contents #4: What are the Reasons?.

a valid argument with true premises.

The Critical Nouns and Their Definitions

Gettier and the analysis of knowledge

Annual report and current focus CIDOC CRM SIG

The Reasoning Process Inductive Reasoning

Building an Argumentation Platform for 3D Reconstruction

CRMinf: Argumentation and Scholarly Reading

Jess Architecture Diagram WORKING MEMORY INFERENCE ENGINE EXECUTION ENGINE PATTERN MATCHER RULE BASE Here you can see how all the parts fit.

3 Logic The Study of What’s True or False or Somewhere in Between.

Issue 326 Temporal entities

DESICION TABLE Decision tables are precise and compact way to model complicated logic. Decision table is useful when input and output data can be.

Observation An OBSERVATION is something you identify using one or more of your five senses. OBSERVATIONS give us information about the world around us.

Interesting Features of the CIDOC CRM

CRMinf: the Argumentation Model

2-1 Inductive Reasoning.

Metatheorems Computational Logic Lecture 8

The Critical Nouns and Their Definitions

Supporting Facts by arguments

Formal Methods in Software Engineering

Definitions: Evidence-Based Claims- 1.) the ability to take detailed

6.4 Truth Tables for Arguments

Philosophical Methods

What do you observe?.

Argument Moves from what is know to what is unknown

Modeling Properties of Properties in the CIDOC CRM RDF encoding

Mystery Picture ????????????.

Propositional Logic 1) Introduction Copyright 2008, Scott Gray.

If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.

The CIDOC CRM Recent Developments

If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.

Presentation transcript:

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