© r. born.

Slides:



Advertisements
Similar presentations
The Quest for Correctness Joseph Sifakis VERIMAG Laboratory 2nd Sogeti Testing Academy April 29th 2009.
Advertisements

Modelling with expert systems. Expert systems Modelling with expert systems Coaching modelling with expert systems Advantages and limitations of modelling.
OWL Lists Nick Drummond Or Making reasoners work hard.
Program Theory and Logic Models (1) CHSC 433 Module 2/Chapter 5 Part 1 L. Michele Issel, PhD UIC School of Public Health.
–scheduled tasks –Custom security realms.
CHAPTER 13 Inference Techniques. Reasoning in Artificial Intelligence n Knowledge must be processed (reasoned with) n Computer program accesses knowledge.
CSE 202 – Formal Languages and Automata Theory 1 REGULAR LANGUAGE.
Qualitative data Analysis : An introduction Carol Grbich Chapter 8. Postmodernist influences.
Def: A process to gain knowledge through thought, experience, and proof of results.
AIDEN YEH, PH.D. WENZAO URSULINE COLLEGE OF LANGUAGES Writing from Research researchwriting2012.pbworks.com/w/file/fetch/ /Researchwriting1.ppt.
Types of Social Inquiry Sociology 487 Autumn 2004 Professor Liana Sayer Jill Harrison, Graduate Teaching Assistant.
The Semantic Web Week 13 Module Website: Lecture: Knowledge Acquisition / Engineering Practical: Getting to know.
PURPOSES AND DESIGNS ©2006 William Holmes. DIFFERENT PURPOSES Assessing Merit Program Improvement Oversight/Compliance Knowledge Development.
CSCI 5582 Fall 2006 CSCI 5582 Artificial Intelligence Lecture 9 Jim Martin.
Logical Agents Chapter 7. Why Do We Need Logic? Problem-solving agents were very inflexible: hard code every possible state. Search is almost always exponential.
CSCI 5582 Fall 2006 CSCI 5582 Artificial Intelligence Lecture 8 Jim Martin.
Chapter 1 Conducting & Reading Research Baumgartner et al Chapter 1 Nature and Purpose of Research.
PSYC512: Research Methods PSYC512: Research Methods Lecture 4 Brian P. Dyre University of Idaho.
Models of Human Performance Dr. Chris Baber. 2 Objectives Introduce theory-based models for predicting human performance Introduce competence-based models.
Chapter 4 Research Design.
Argumentation - 1 We often encounter situations in which someone is trying to persuade us of a point of view by presenting reasons for it. We often encounter.
Formal Aspects of Computer Science – Week 12 RECAP Lee McCluskey, room 2/07
Ideology and Translation. Definitions The set of factual and evaluative beliefs – that is, the knowledge and the opinions – of a group (van Dijk in Calzada.
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
Knowledge representation methods جلسه سوم. KR is AI bottleneck The most important ingredient in any expert system is knowledge. The power of expert systems.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
Ch1 AI: History and Applications Dr. Bernard Chen Ph.D. University of Central Arkansas Spring 2011.
ASSESSING CLAIMS TO KNOWLEDGE How do we assess claims to knowledge in social research?
CHAPTER 4, research design
Origins of Research Questions and Process What do research projects look like?
CHAPTER 1 HUMAN INQUIRY AND SCIENCE. Chapter Outline  Looking for Reality  The Foundation of Social Science  Some Dialectics of Social Research  Quick.
Part I – The Study of Sociology Chapter 2: Asking and Answering Sociological Questions Lecture #3.
THE SUPPORTING ROLE OF ONTOLOGY IN A SIMULATION SYSTEM FOR COUNTERMEASURE EVALUATION Nelia Lombard DPSS, CSIR.
Chapter 4 Research Design. Chapter Outline Three Purposes of Research The Logic of Nomothetic Explanation Necessary and Sufficient Causes Units of Analysis.
AF1.1 L1-2 Using models for and in explanations Compare features or parts of objects, living things or events.
1 Work Package 2 Identification and Formalization of Knowledge  “(The report proposes) a generic technique for defining programming model specific abstractions.
Formal Specification: a Roadmap Axel van Lamsweerde published on ICSE (International Conference on Software Engineering) Jing Ai 10/28/2003.
Introduction to Research Methods
Issues in Temporal and Causal Inference Pei Wang Temple University, USA Patrick Hammer Graz University of Technology, Austria.
CSE 202 – Formal Languages and Automata Theory 1 REGULAR EXPRESSION.
CHAPTER 1 HUMAN INQUIRY AND SCIENCE. Chapter Outline  Looking for Reality  The Foundation of Social Science  Some Dialectics of Social Research  Quick.
COMPUTER SYSTEM FUNDAMENTAL Genetic Computer School INTRODUCTION TO ARTIFICIAL INTELLIGENCE LESSON 11.
Knowledge Representation. A knowledge base can be organised in several different configurations to facilitate fast inferencing Knowledge Representation.
CHAPTER 1 HUMAN INQUIRY AND SCIENCE
Engineering Fundamentals and Problem Solving, 6e
Constructing hypotheses & research design
Computer Science cpsc322, Lecture 20
Ontology From Wikipedia, the free encyclopedia
Formal Language Theory
Chapter 1 Definition Theory Causality
Intelligent Agents Chapter 2.
Knowledge Representation
STM & LTM FEATURE SUPPORTING RESEARCH EVALUATIVE POINTS CAPACITY STM =
Ontology.
Research Methods:Overview
Logical Agents Chapter 7.
What is a Theory of Human Nature?
AIDEN YEH, PH.D. WENZAO URSULINE COLLEGE OF LANGUAGES
How science works (adapted from Coombs, 1983)
Ernest Davis Automating Commonsense Reasoning for Science
3-1 Objectives Provide students with tools that will help them analyze media messages, particularly in the area of substance use and gambling activities.
Ontology.
Psychology in AI Jakub Jura
Levels for 20 mark questions
2/24/2019.
Scientific Revolution: Vocabulary
CALCULATE Use numbers given in the question to work out an answer. Always show working.
Deniz Beser A Fundamental Tradeoff in Knowledge Representation and Reasoning Hector J. Levesque and Ronald J. Brachman.
Expert Knowledge Based Systems
8/2/2019.
Presentation transcript:

© r. born

P Reasons ; Causes ; Q* R S E M E K F Q?? [Q*] Q? [Q] Q evaluation R S computation E M E D I A L O G U E EXPLANATIONs Scissors of Knowledge K F Q?? [Q*] Q? Causes ; P Q* causation Q [Q] © r. born

P := problem, starting position/situation, ingredients LEGEND : P := problem, starting position/situation, ingredients Q := quest, (specified) search for solution / inquest of the holy Grail E := experience, experts knowledge, effective knowledge, first person experience (s) [individually and collectively, cf shared meanings] K := rules, routines, downloadings of past experiences and frames/frameworks, check-lists © r. born

F := folk knowledge / -theories, every day (life) experiences -- the „Though“ (= Martin Buber) / second person experiences or - approaches M := meta-knowledge // metal models // explanatory knowledge // (structure) models, formal semantics R := representative value, description S := description of solution/value, stearing value = control value © r. born

© r. born

© r. born

E E K Scissors of Knowledge F Q? Q?? © r. born

© r. born

© r. born

E F Scissors-of-Knowledge K © r. born

regularities in the world Descriptions / Languages (realm of) REASONS : computations (descriptions of) initial conditions (descriptions of) consequences, results (assumptions about) regularities in the world logical transitions E F Scissors - of -Knowledge K (problem) situations causal transitions events (realm of) CAUSES : Selections of Reality © r. born