The Practical Logic of Computer Work Philip E. Agre 98300-202 - PowerPoint PPT Presentation

Oct 08, 2023 •376 likes •469 views

The Practical Logic of Computer Work Philip E. Agre 98300-202 Computationalism vs Connectionism Collection of theories about mind - Theories of representation (model of the world) - Theories of perception (mental model) -

The Practical Logic of Computer Work Philip E. Agre 98300-202 김기문
Computationalism • vs Connectionism • Collection of theories about mind - Theories of representation (model of the world) - Theories of perception (mental model) - Theories of action (execution of plan)
Dissociation • Mind vs world • Mental activity vs perception • Plans vs behavior • The mind vs the body • Abstract ideals vs concrete things
Mind vs World • Mind - “container” metaphor, Lakoff and Johnson (1980) • World - hard to maintain accurate knowledge • World model – covertly conflated • Research “domain”
Mental Activity vs Perception • Symposium paper(1951), Karl Lashley • Behaviorist – stimulus-chaining • Cognitivist movement • The role of perception in organizing behavior
Plans vs Behavior • Plans and the Structure of Behavior (1960) - Miller, Galanter, and Pribram • Prescripted plan vs Plan that unfolds incrementally trough time • TOTE unit “Reactive planning”
The Mind vs The Body • STRIPS model (1972) – Fikes, Hart, and Nilsson • Mind - constructs plans • Body - executes plans • Unintended situation • Rapid alternation
Abstract Ideals vs Concrete Things • Tradition of Fregean semantics • Psychologism – the theory that meaning are mental entities • Platonism – the theory that meanings reside in timeless, extensionless realam of ideals • Mathematical entities
Conclusion • Part of the history of Western thought • World – negative, chaotic principle • Mind – positive, ordering principle • It Doesn’t Work That Way • Recognize the order inherent in the world • Listen to and learn from reality

Recommend

Computational Logic The (ISO-)Prolog Programming Language 1 (ISO-)Prolog A practical logic

Computational Logic The (ISO-)Prolog Programming Language 1 (ISO-)Prolog A practical logic language based on the logic programming paradigm. Main differences with pure logic programming: more control on the execution flow,

625 views • 45 slides

Computational Logic The Prolog Programming Language 1 Prolog A practical logic language

Computational Logic The Prolog Programming Language 1 Prolog A practical logic language based on the logic programming paradigm. Main differences with pure logic programming: more control on the execution flow, depth-first

814 views • 39 slides

Introduction to Logic Alice Gao Lecture 1 Based on work by many people with special thanks to

1/30 Introduction to Logic Alice Gao Lecture 1 Based on work by many people with special thanks to Collin Roberts, Jonathan Buss, Lila Kari and Anna Lubiw. 2/30 Outline Introduction to Logic Learning goals What is logic? Logic in computer

898 views • 30 slides

1 How gates work NOT ( ) NAND ( ) o Transistors can be made to

The digital logic level Bits and Gates ... The digital logic level Level 2 Conventional Machine Level Level 1 Micro Programming Level Computer Science Ground Floor Digitial Logic Level CS240 Computer Organization Department of Computer

83 views • 6 slides

ECE/CS 250 Computer Architecture Summer 2019 Basics of Logic Design: Boolean Algebra, Logic

ECE/CS 250 Computer Architecture Summer 2019 Basics of Logic Design: Boolean Algebra, Logic Gates, and the ALU (Combinational Logic) Tyler Bletsch Duke University Slides are derived from work by Daniel J. Sorin (Duke), Alvy Lebeck (Duke),

979 views • 72 slides

Logic for Computer Science Harald Ganzinger Summer Term 2002 Logic in Computer Science 2

Logic for Computer Science Harald Ganzinger Summer Term 2002 Logic in Computer Science 2 computation is deduction logic programming, relational data bases operational semantics of PLs proof theory mathematics on the computer

2.13k views • 169 slides

Computer Architecture Summer 2020 Basics of Logic Design: Boolean Algebra, Logic Gates, and the

ECE/CS 250 Computer Architecture Summer 2020 Basics of Logic Design: Boolean Algebra, Logic Gates, and the ALU (Combinational Logic) Tyler Bletsch Duke University Slides are derived from work by Daniel J. Sorin (Duke), Alvy Lebeck (Duke),

1k views • 71 slides

Computational Logic The (ISO-)Prolog Programming Language 1 (ISO-)Prolog A practical

Computational Logic The (ISO-)Prolog Programming Language 1 (ISO-)Prolog A practical programming language based on the logic programming paradigm. Main differences with pure logic programming: depth-first search rule,

869 views • 62 slides

Logic in Computer Science Thierry Coquand and Jan Smith Sep. 3, 2007 Logic in Computer Science

Logic in Computer Science Thierry Coquand and Jan Smith Sep. 3, 2007 Logic in Computer Science Mathematical Logic Traditionally mathematical logic was developped by philosophers and mathematicians interested in foundations Boole An

527 views • 7 slides

Gates and Logic: From Transistors to Logic Gates and Logic Circuits CS 3410: Computer System

Gates and Logic: From Transistors to Logic Gates and Logic Circuits CS 3410: Computer System Organization and Programming [K. Bala, A. Bracy, E. Sirer, and H. Weatherspoon] Goals for Today From Switches to Logic Gates to Logic Circuits

434 views • 25 slides

Logic for Computer Science 15 Hoare logic Wouter Swierstra University of Utrecht 1 Last

Logic for Computer Science 15 Hoare logic Wouter Swierstra University of Utrecht 1 Last time Natural deduction 2 This lecture Semantics of computer programs A logic for reasoning about them 3 Syntax of programming language The BNF

796 views • 78 slides

Horn Clauses in Propositional Logic Notions of complexity: In computer science, the efficiency of

Horn Clauses in Propositional Logic Notions of complexity: In computer science, the efficiency of algorithms is a topic of paramount practical importance. The best known algorithm for determining the satisfiability of a set of wffs in

734 views • 29 slides

2/17/16 FAITH AND WORK: A PRACTICAL THEOLOGY OF WORK The Value of Work; Decision Making and

2/17/16 FAITH AND WORK: A PRACTICAL THEOLOGY OF WORK The Value of Work; Decision Making and the Connection of: Spiritual/Personal/Work Life Case Studies Part III 2 Week 6 I. Housekeeping II. Questions: Yours and ours III. Connections

215 views • 6 slides

Logic for Computer Science 05 Predicate logic Wouter Swierstra University of Utrecht 1

Logic for Computer Science 05 Predicate logic Wouter Swierstra University of Utrecht 1 Last time Boolean algebra Computer circuits Binary arithmetic 2 This lecture Predicate logic - Gottlob Frege 3 Organization Dont forget

896 views • 67 slides

Practical and Project Work in Computer Science Education Funded by Chalmers Genie - Program

Practical and Project Work in Computer Science Education Funded by Chalmers Genie - Program Chalmers | Gothenburg University Regina Hebig, Niklas Broberg, Richard Berntsson Svensson Regina Hebig, WIRE Workshop 2020 Motivation 1: Yearly

211 views • 10 slides

2/17/16 FAITH AND WORK: A PRACTICAL THEOLOGY OF WORK The Value of Work; Decision Making and

2/17/16 FAITH AND WORK: A PRACTICAL THEOLOGY OF WORK The Value of Work; Decision Making and the Connection to: Personal, Spiritual, and Worklife 2 Introduction I. Housekeeping II. Questions: Mine, yours and ours III. Connections IV. Key

417 views • 5 slides

ECE/CS 250 Computer Architecture Summer 2019 Basics of Logic Design: Storage Elements and the

ECE/CS 250 Computer Architecture Summer 2019 Basics of Logic Design: Storage Elements and the Register File (Sequential Logic) Tyler Bletsch Duke University Slides are derived from work by Daniel J. Sorin (Duke), Alvy Lebeck (Duke), and

818 views • 60 slides

Logic in Logic Programming: Sequent Calculus, Higher-Orders, and Linear Logic Fourth

Logic in Logic Programming: Sequent Calculus, Higher-Orders, and Linear Logic Fourth International School for Computer Science Researchers Acireale, Sicily 29 June 3 July 1992 Dale Miller Computer Science Department University of

875 views • 86 slides

Additional practical examples: Formalization in Propositional Logic Chiara Ghidini

Additional practical examples: Formalization in Propositional Logic Chiara Ghidini ghidini@fbk.eu 12 March 2013 Chiara Ghidini ghidini@fbk.eu Additional practical examples: Formalization in Propositional Logic Traffic Light Problem Define

553 views • 31 slides

Symbolic Logic Appendix E Computer Security: Art and Science, 2 nd Edition Version 1.1 Slide E-1

Symbolic Logic Appendix E Computer Security: Art and Science, 2 nd Edition Version 1.1 Slide E-1 Outline Propositional logic Mathematical induction Predicate logic Temporal logic systems CTL Computer Security: Art and

466 views • 29 slides

Logic for Computer Science 02 Propositions Wouter Swierstra University of Utrecht 1 Last

Logic for Computer Science 02 Propositions Wouter Swierstra University of Utrecht 1 Last time Organisation What is logic? Why study logic? How to reason about programs? 2 Today Propositional logic Truth

1.19k views • 104 slides

Practical proof reconstruction for first-order logic and set-theoretical constructions Cl

Practical proof reconstruction for first-order logic and set-theoretical constructions Cl ement Hurlin January 25, 2007 Outline 1 Introduction Two different worlds Proof reconstruction General procedure Targeted languages 2 Quantifier

1.02k views • 43 slides

Justification Logic Who? Natalia Kotsani - based on the work of S. Artemov (The Logic of

Justification Logic Who? Natalia Kotsani - based on the work of S. Artemov (The Logic of Justification, 2008) When? 24 October 2012 Table of contents 1. Introduction An example What is Justification Logic Why Justification Logic

392 views • 20 slides

Boolean Logic Invented by George Boole Boolean logic is the basis for modern computer logic.

Boolean Logic Invented by George Boole Boolean logic is the basis for modern computer logic. Works only with binary values What is a Boolean Variable? A variable (cell) that holds either true or false Can be thought of conceptually

524 views • 4 slides