Human Computing Steve Russ Department of Computer Science University of Warwick, UK.

Slides:



Advertisements
Similar presentations
Zina OLeary (2009) The Essential Guide to Doing Your Research Project. London: Sage Chapter 1 Taking the Leap into the Research World Zina OLeary.
Advertisements

Approaches, Tools, and Applications Islam A. El-Shaarawy Shoubra Faculty of Eng.
LECTURE 6 COGNITIVE THEORIES OF CONSCIOUSNESS
ARCHITECTURES FOR ARTIFICIAL INTELLIGENCE SYSTEMS
Clarke, R. J (2001) S951-02: 1 Critical Issues in Information Systems BUSS 951 Seminar 2 Theories and their Methods.
Soc 3306a Lecture 2 Overview of Social Enquiry. Choices Facing the Researcher What is the problem to be investigated? What questions should be answered?
Dissolving dualities in mind, music and mechanism Meurig Beynon Computer Science University of Warwick.
Embodied Interaction By Matthew Dunlap. Overview In this presentation I will explore Paul Dourish’s idea of Embodied Interaction, looking into its: –
Chapter 1 Introduction. “How do I send picture by ?” “Click on Attach button, or paper clip icon, select the picture and click attach” The instructions.
© Curriculum Foundation1 Section 3 Assessing Skills Section 3 Assessing Skills There are three key questions here: How do we know whether or not a skill.
The Semantic Web Week 13 Module Website: Lecture: Knowledge Acquisition / Engineering Practical: Getting to know.
Overview of The Operations Research Modeling Approach.
Embodied Interaction By Matthew Dunlap Define Artifacts? Overview Next.
Constructivism Constructivism — particularly in its "social" forms — suggests that the learner is much more actively involved in a joint enterprise with.
COMP 3009 Introduction to AI Dr Eleni Mangina
Sabine Mendes Lima Moura Issues in Research Methodology PUC – November 2014.
Cognitive Development. Jean Piaget Constructivism Theory.
Science Inquiry Minds-on Hands-on.
Computational Thinking Related Efforts. CS Principles – Big Ideas  Computing is a creative human activity that engenders innovation and promotes exploration.
Big Ideas and Problem Solving in Junior Math Instruction
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
Formal Methods 1. Software Engineering and Formal Methods  Every software engineering methodology is based on a recommended development process  proceeding.
By: Er. Sukhwinder kaur.  Computation Computation  Algorithm Algorithm  Objectives Objectives  What do we study in Theory of Computation ? What do.
Computational Thinking The VT Community web site:
Chapter 6: Objections to the Physical Symbol System Hypothesis.
Artificial Intelligence Introductory Lecture Jennifer J. Burg Department of Mathematics and Computer Science.
Situated Learning where you are is part of what you know and how you learn.
Cognitive Apprenticeship “Mastering knowledge” CLICK TO START.
Overview of Formal Methods. Topics Introduction and terminology FM and Software Engineering Applications of FM Propositional and Predicate Logic Program.
Ontology Summit 2015 Track C Report-back Summit Synthesis Session 1, 19 Feb 2015.
The roots of innovation Future and Emerging Technologies (FET) Future and Emerging Technologies (FET) The roots of innovation Proactive initiative on:
The Learning Sciences and Constructivism. Learning Sciences: interdisciplinary science based in psychology, education, computer science, philosophy, sociology,
Naresh Malhotra, David Birks and Peter Wills, Marketing Research, 4th Edition, © Pearson Education Limited 2012 Slide 6.1 Chapter 6 Exploratory Research.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
1 Introduction to Software Engineering Lecture 1.
EDN:204– Learning Process 30th August, 2010 B.Ed II(S) Sci Topics: Cognitive views of Learning.
Human Computing Steve Russ Week 10 lecture for CS405 December 2009.
On the futility of attempts to formalize clustering within conventional formal frameworks Lev Goldfarb ETS group Faculty of Computer Science UNB Fredericton,
Legitimate Knowledge It is through discursive activity that knowledge is legitimated and power is bestowed Knowledge both creates and is created by Power.
Qualitative Research Topic : Analysis is Ongoing (P.272~290) MA1C0109 Owen 楊勝雄.
1 CS 385 Fall 2006 Chapter 1 AI: Early History and Applications.
Constructivism A learning theory for today’s classroom.
Traditions of Communication Theory
Theory of Programming Languages Introduction. What is a Programming Language? John von Neumann (1940’s) –Stored program concept –CPU actions determined.
CREATING A CLASSROOM COMMUNITY: INQUIRY AND DIALOGUE 2 March 2010.
Question paper 1997.
Data Structures and Algorithms Dr. Tehseen Zia Assistant Professor Dept. Computer Science and IT University of Sargodha Lecture 1.
Literacy and Numeracy Benchmarks Prepared by SAPDC Learning Facilitator Team.
Research for Nurses: Methods and Interpretation Chapter 1 What is research? What is nursing research? What are the goals of Nursing research?
Thinking behind the environment for Making Construals (MCE)
Development of Research Methodologies in Various Disciplines By Dr Ranu Varshney & Mrs. Nisha Chaturbedi.
Radical Constructivism + Intersubjectivity = Social Constructivism?
Artificial Intelligence: Research and Collaborative Possibilities a presentation by: Dr. Ernest L. McDuffie, Assistant Professor Department of Computer.
 managing self managing self  relating to others relating to others  participating and contributing participating and contributing  thinking thinking.
CMPB454 ARTIFICIAL INTELLIGENCE (AI) CHAPTER 1.1 Background Information CHAPTER 1.1 Background Information Instructor: Alicia Tang Y. C.
WHAT IS RESEARCH? According to Redman and Morry,
INTRODUCTION TO COGNITIVE SCIENCE NURSING INFORMATICS CHAPTER 3 1.
Unit 5 Seminar Cognitive Development Developmental Theories (Piaget and Vygotsky)
Choosing a Formal Method Mike Weissert COSC 481. Outline Introduction Reasons For Choosing Formality Application Characteristics Criteria For A Successful.
Cognitive explanations of learning Esther Fitzpatrick.
Informatics for Scientific Data Bio-informatics and Medical Informatics Week 9 Lecture notes INF 380E: Perspectives on Information.
Done by Fazlun Satya Saradhi. INTRODUCTION The main concept is to use different types of agent models which would help create a better dynamic and adaptive.
RESEARCH METHODOLOGY Research and Development Research Approach Research Methodology Research Objectives Engr. Hassan Mehmood Khan.
Constructivism is a theory based on observation and scientific study about how people learn. It is a teaching philosophy based on the concept that learning.
Sub-fields of computer science. Sub-fields of computer science.
Object-Oriented Software Engineering Using UML, Patterns, and Java,
Research and Methodology
Reflections Scott Klemmer · 03 June 2008
Department of Computer Science Abdul Wali Khan University Mardan
Debate issues Sabine Mendes Lima Moura Issues in Research Methodology
Presentation transcript:

Human Computing Steve Russ Department of Computer Science University of Warwick, UK

The Plato quote.... Why, on what lines will you look, Socrates, for a thing of whose nature you know nothing at all? Pray, what sort of thing, amongst those you know not, will you treat us to as the object of your search? Or even supposing, at the best, that you hit upon it, how will you know it is the thing you did not know? Plato Meno

What’s the Problem? Current conceptions of computing or computation such as: Execution of an algorithm; Formal symbol manipulation; Information processing; etc do not offer any adequate account (or theory) of the computing activities that we use, participate in, or rely upon every day. The gulf between ‘theory’ and practice is enormous and embarrassing to a ‘science’, as our students know very well. See Brian Cantwell-Smith The Foundations of Computing (2002)

2 More Critics …. Winograd & Flores, Understanding Computers and Cognition (1986) [Ch.2 ‘…computers … have been shaped by a rationalistic tradition that needs to be re-examined and challenged…’] Peter Naur, Knowing, and the Mystique of Logic and Rules (1992) Peter Wegner, Interactive Computation: the New Paradigm (2006) Willard McCarty, Humanities Computing (2005)

3 What’s Human Computing? Thomas Hobbes (around 1660) claimed that reasoning was a form of calculation. The idea of human computing is to broaden the conception of computing to include understanding and sense-making. It thus requires the close and essential integration of human processing with machine processing. It is the same idea as Empirical Modelling.

Human Computing We are familiar with computing as specified in formal and abstracted ways, when logic, language and mathematics are used for description and exploited in reasoning and modelling. Human computing is complementary and makes immediate, raw, experience fundamental. Not the alternation of human and computer interaction, but the continuous engagement and negotiation of the human with the computer.

9 Experience ‘as of now’ The artefacts we build on the computer are themselves a source of immediate experience which can be compared – through interaction – with experience of their referent. This drives their incremental development and gives grounds for confidence in their reliability. The computer as a medium with which to think and explore allows for personal expression of a kind that is prior to programming.

7 Modelling before Programming Central focus of interest is on a construal: a personal, provisional, model which is the basis for the developing computer artefact. (cf David Gooding) Three main concepts which guide our analysis, development and tools are: observables, dependency, agency Initial modelling is prior to ‘programming’

Focus of conventional Computer Science computation = execution of algorithm (cf. mechanism + automation) semantics and development are machine-oriented interaction shaped by pre-conceived interpretation abstract machines: formal and theory-driven mathematics and logic context is public, committed and rigid behaviour is primary state-as-abstracted is derived product as circumscribed system program development specification of requirement object-oriented design abstract data types high-level language and compilation testing maintenance correctness Turing Machine ı Algorithm Automata +efficiency Formal languages ı pushdown automata ı finite automata

Empirical Modelling: a broader view of computing computation = making sense of phenomena observation and experiment and information processing (human computing) semantics and construction are experience-oriented personal engagement interpretation shaped with the world: by free interaction informal, intuitive, exploratory imagination and memory context is personal, provisional state-as-experienced is primary behaviour is derived process in open environment Model or artefact construction domain of interest conflation of design, development, use O bservable, D ependency, A gency in definitive scripts in appropriate notations driven by interaction particular situations faithfulness personal interest Construal and interpretation efficacy personal experience and expression, perception, observation, dependency and agency, sensory stimuli

A simple example....

The JUGS program Simple BASIC program with a ‘clear functionality’ Challenge to model our (provisional) understanding of what ‘users’ might experience and learn from such an environment Immediate benefit of being ported to many platforms and languages. (cf Cartwright and BBC) Wider generic benefit of exploiting other interpretations – both plausible and implausible.

Sense-making in mathematics, in the physical world, social interactions and music...

Model, Program, Knowledge Human computing (or EM) contrasts with conventional computing with regard both to computation and to knowledge. Compare: ‘knowing a city’ and ‘knowing how to use the underground’, with ‘familiarity with EM model’ and ‘familiarity with program’ [in regard to ontological and computational differences] and also with ‘real’ personal knowledge grounded in experience and ‘complete propositional knowledge’ (as sought in GOFAI)

Human Computing and Philosophy Much insight and inspiration has come from many works by William James, especially his Essays in Radical Empiricism. Some concepts due to Heidegger such as ‘breakdown’ and ‘thrownness’ seem natural and suggestive for our approach. Many themes from phenomenology (deriving from Husserl, Brentano, and others) as developed by Paul Dourish, Don Ihde, for example, in relation to HCI and technology are important. The ‘process philosophy’ of Bergson and Whitehead (for example) is also relevant to our work. Our approach has strong connections with activity theory (Vygotsky), constructionism (Piaget, Papert,etc) and constructivism (Latour).

Further reading Meurig Beynon, ‘Radical Empiricism, Empirical Modelling and the nature of knowing’ Meurig Beynon, Steve Russ, Willard McCarty, ‘Human Computing – Modelling with Meaning’ Meurig Beynon, Steve Russ, ‘Experimenting with Computing’ Can all be downloaded from:

5 Human Computing not new The hope is that, in not too many years human brains and computing machines will be coupled together very tightly and that the resulting partnership will think as no human brain has ever thought …. JCR Licklider Man-Computer Symbiosis 1960

6 Licklider again The main aims are (1) to let computers facilitate formulative thinking … and (2) to enable men and computers to cooperate in making decisions and controlling complex situations without inflexible dependence on predetermined programs. JCR Licklider Man-Computer Symbiosis. 1960