the practical logic of computer work
play

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) -

  1. The Practical Logic of Computer Work Philip E. Agre 98300-202 김기문

  2. 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)

  3. Dissociation • Mind vs world • Mental activity vs perception • Plans vs behavior • The mind vs the body • Abstract ideals vs concrete things

  4. Mind vs World • Mind - “container” metaphor, Lakoff and Johnson (1980) • World - hard to maintain accurate knowledge • World model – covertly conflated • Research “domain”

  5. Mental Activity vs Perception • Symposium paper(1951), Karl Lashley • Behaviorist – stimulus-chaining • Cognitivist movement • The role of perception in organizing behavior

  6. 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”

  7. The Mind vs The Body • STRIPS model (1972) – Fikes, Hart, and Nilsson • Mind - constructs plans • Body - executes plans • Unintended situation • Rapid alternation

  8. 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

  9. 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

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
Cyber Security White Oak 2019 RYAN BOWMAN AGENDA Avoiding Scams Preventing Malware

Cyber Security White Oak 2019 RYAN BOWMAN AGENDA Avoiding Scams Preventing Malware

Cyber Security White Oak 2019 RYAN BOWMAN AGENDA Avoiding Scams Preventing Malware Securing Your Computer and Network AVOIDING SCAMS (The Fundamentals) Be skeptical Question everything Trust no one Believe

859 views • 21 slides
Danielle de Ferrari Sarah de Ferrari Source: Spotify Source: Spotify, 2014 Source: Mashable,

Danielle de Ferrari Sarah de Ferrari Source: Spotify Source: Spotify, 2014 Source: Mashable,

Bryce Simantel Christine Osazuwa Danielle de Ferrari Sarah de Ferrari Source: Spotify Source: Spotify, 2014 Source: Mashable, 2013 Source: Spotify, 2013 WEAKNESSES STRENGTHS High frequency in audio & visual Supports the

921 views • 27 slides
BLOCKCHAIN & BIG DATA: THE FUTURE OF BRAND PROTECTION OR HYPE? Mike Tobin, DSS Jim Reiman,

BLOCKCHAIN & BIG DATA: THE FUTURE OF BRAND PROTECTION OR HYPE? Mike Tobin, DSS Jim Reiman,

BLOCKCHAIN & BIG DATA: THE FUTURE OF BRAND PROTECTION OR HYPE? Mike Tobin, DSS Jim Reiman, Sun Chemical January 31, 2018 THE ISSUE Brand protection strategies & tactics were developed to combat a nuisance level problem- not a $960

249 views • 12 slides
The Gingin & Red Gully EP-389 Development Perth Basin Western Australia Background Wharf

The Gingin & Red Gully EP-389 Development Perth Basin Western Australia Background Wharf

The Gingin & Red Gully EP-389 Development Perth Basin Western Australia Background Wharf Resources Plc was incorporated in 2005 with the purpose of carrying out oil and gas exploration in Australia. Western Australias sedimentary

384 views • 19 slides
Business Secrets Of Steve Jobs Presentation Secrets And Innovation Secrets All In One Book

Business Secrets Of Steve Jobs Presentation Secrets And Innovation Secrets All In One Book

Business Secrets Of Steve Jobs Presentation Secrets And Innovation Secrets All In One Book Ebook Bundle Gallo Carmine.pdf Business Secrets Of Steve Jobs Presentation Secrets And Innovation Secrets All In One Book Ebook Bundle Gallo Carmine

1.07k views • 51 slides
Workshop 23909 1 Scope of the indirect fee regime The indirect fee regime should be

Workshop 23909 1 Scope of the indirect fee regime The indirect fee regime should be

Workshop 23909 1 Scope of the indirect fee regime The indirect fee regime should be implemented in all Croatian ports that are open to public traffic The indirect fee regime shall apply to ship related waste 2 Exemptions

526 views • 19 slides
Imple me ntation of the ac quis c o mmunitair e in the E ne r gy Community I. Ove r vie w of

Imple me ntation of the ac quis c o mmunitair e in the E ne r gy Community I. Ove r vie w of

Imple me ntation of the ac quis c o mmunitair e in the E ne r gy Community I. Ove r vie w of the de ve lopme nts on the ope ning of e ne r gy mar ke ts in WBs T he c urre nt E U e ne rg y ac q uis , sta rte d in the 1990ie s, wa s b urde

820 views • 22 slides
Security of Gas Supply- Transmission Gas Network Development Plans Alija Kari, Head of

Security of Gas Supply- Transmission Gas Network Development Plans Alija Kari, Head of

Security of Gas Supply- Transmission Gas Network Development Plans Alija Kari, Head of Development Department USAID EIA Security of Gas Supply in Bosna and Herzegovina, Jahorina 02. - 03. 07. 2018 Regulation (EU) 2017/1938 concerning

336 views • 15 slides

More recommend