Two Perspectives on Logic
|
|
- Kathleen Hope West
- 6 years ago
- Views:
Transcription
1 LOGIC IN PLAY
2 Two Perspectives on Logic World description: tracing the structure of reality. Structured social activity: conversation, argumentation,...!!!
3 Compatible and Interacting Views Process Product ambiguity in natural language: e.g., Logische Aufbau der Welt Our purpose today: explore the process perspective. Processes and activities bring actors to the fore. Games are a natural prism for this purpose.
4 I Logic and Games: A Natural Combination
5 Evaluation Games Dispute about truth and falsity of ϕ in model M played between Verifier and Falsifier., Verifier s choice,, for Falsifier, role switch General: logical constants mirror spectrum of game operations.
6 Truth, Falsity and Winning Strategies Fact A first-order formula ϕ is true in model M ( ) iff Verifier has a winning strategy in game(ϕ, M) Excluded Middle ϕ ϕ Evaluation games are determined: one of the two players has a winning strategy.
7 Zermelo s Theorem Fact Two-player zero-sum games with finite depth are determined. Proof: Excluded Middle unpacked, x y Rxy x y Rxy, Computable solution: coloring algorithm. Game equilibrium definable in modal fixed-point logic: WIN i <=>!
8 Logic and Game Equivalence When are two games the same? Distribution says this is so if players have the same powers. Natural alternative looks at how : players actions and choices. Then game invariance is like modal process bisimulation that can simulate strategies step by step on each side.
9 Invariances and Zoom Levels Invariance under transformations and origins of language. Different natural levels of identity, different logics of games. Zoom levels in describing structure: logicians can dig deep into detail, but also soar in the sky seeing patterns from far above.
10 Entanglement in Two Directions Logic and games form a natural combination. Two directions: Logic => Games Games => Logic logics of games logics as games Iterations are possible, too: L(G(L)), G(L(G)), Main topic for today: logic of games.
11 More On Logic as Games Evaluation games are just one example. Argumentation is a game. Computation is a game. Proofs are strategies for winning such games. Dual reading: laws of logic as game-theoretic principles.!
12 II Logic of Intelligent Agency Games are played by agents: These display a wide range of abilities, that can all be studied in logic. We now explore a few basic features of interactive agency. The resulting logics apply far beyond games.
13 Many Information Sources The Restaurant Three people order drinks: water, beer, wine. A new waiter comes with 3 glasses. There are 6 ways these could be distributed. Solved by 2 questions, 1 inference zhi wen shuo qin Knowledge comes from: hearing from others, proof, or experience.!!!
14 Social Knowledge About Others Intelligence seldom comes alone. Asking a question: knowledge about others. Logical structure abounds, with new notions. For instance, common knowledge in groups: C G ϕ (ϕ E G C G ϕ)
15 Three Card Game John, Mary, Paul get one card each: John Red, Mary White, Paul Blue Mary asks John: Do you have the blue card? Who knows what now? John answers: No. Who knows what now?
16 Information Change and Updates John and Mary know the cards, Paul does not. But Paul knows that they know, and in fact, this is common knowledge in the group.
17 Dynamic Logics of Information All informational acts satisfy precise logical axioms. Learning laws describe what happens to one s existing knowledge through an informational event: [!ϕ]k i ψ (ϕ K i (ϕ [!ϕ]ψ)) Cooperation of philosophy, linguistics, and computer science.!!!
18 Proven Methods, Broader Scope!!!!! Mathematical methods of logic still apply.! Information dynamics has laws extending our usual repertoire.
19 From Information Processing to Agency Agency and games are more than information processing: Reasoning toward the bold-face (or any other) strategy involves knowledge, action, but also preferences and beliefs. Messy, irrational? To the contrary.
20 Benchmark: Backward Induction Backward Induction algorithm Iteratively remove strictly dominated nodes, until we reach the root. Logical form: rationality-in-belief, definable in fixed-point logics, or even high-level modal logic of preference and best action.
21 Players Can Do Much More Logical activities: before, during, and after a game. Pregame deliberation Postgame rationalization During the game: observing informational events, but also Dealing with surprises, belief revision, hypotheses about variety of player types. Game-theoretic methods such as Forward Induction.
22 Dynamic Logic of Belief Revision Our actions are driven by belief as much as knowledge. [!ϕ]β ι ψ (ϕ Β ι ϕ [!ϕ]ψ) + " [ ϕ]β ψ χ (Ε(ϕ [ ϕ]ψ) Β ϕ [ ϕ]ψ [ ϕ]χ) ( Ε(ϕ [ ϕ]ψ) Β [ ϕ]ψ [ ϕ]χ)" Logical laws describe new beliefs as new information comes in. This can come in a great variety of formats/policies: either in hard totally reliable form!ϕ or as soft plausibility ϕ. From always being correct to intelligent correction.
23 Logicians/Philosophers of Science
24 Long Term Phenomena Sui Generis Single informational actions form longer histories of games. Strategies are plans enforcing histories, obeying logical laws: {G, i}ϕ {G, j}always {G, i}ϕ) Histories, finite or infinite, show new structure of their own, such as success or failure in converging to a fixed-point when running an update or deliberation procedure. Surprising scenarios: self-fulfilling, self-refuting assertions. Can be dealt with in dynamic temporal logics of agency. The same in formal learning theory with limit learning, or in many social scenarios other than games. Current challenge: interfacing with dynamical systems.
25 Theory of Play Logic + Game Theory * = Theory of Play. Challenges include: * describe relevant variety of logical tasks, * find the underlying (static and) dynamic laws, * determine natural kinds of agent diversity. Logic also works outside of pure settings, but the right laws may be more subtle to find. * + a bit of computer science.
26 III Illustrations All Around The agency perspective can be taken to virtually any topic at this congress or beyond to find new issues or connect old ones. We merely give a few examples.
27 Epistemology: Foundation or Correction Traditional emphasis on secure cumulative knowledge claims. But mistakes and recoveries show logical ability at its best. Correction is the more exciting goal, not just correctness. Old ideal : foundations, safe haven once and for all. But in games and agency, also more dynamic view: Logic is the immune system of the mind.
28 Natural Language The medium with which we describe the world, but also, and perhaps primarily, communicate with each other.!!! Language as agency: all the earlier topics apply. Language of agency. Above our dynamic logics, higher zoom level for reasoning about beliefs, decisions, actions. Natural logic with cue words like hope, fear, ought,
29 Game Theory!! A new look at many game-theoretic themes, such as information-dynamic scenarios for game solution. One example. Even the very notion of game identity at stake. It becomes player-dependent, e.g., because of agents preferences and beliefs, and this shows in the logic.
30 Game Equivalence for Rational Players is not Backward Induction-equivalent to More general equivalence between games + play styles?
31 Agents Inside Logic Itself Agent types inside logic. Logical systems as used. Major challenge. Give up hidden uniformity assumptions. Find parameters for different agents using the same system. Example: memory, automata and pebble games. Example: agents with inferential resources. What if agents are very different (say, human versus machine)? Related. Reconsider the current diversity of logics as diversity of cooperating or competing agents.
32 IV Logic Meets Reality Logic as source of computational devices that change our world. Logic and the empirical facts of human cognition. Logic and the needs of society.
33 Strategic Interaction and New Games Original motivation: sabotaging algorithmic tasks. Rational agents should also cope with such changes. Teaching Game Try to escape!! NEMO children At same time: new logic with model changing in evaluation.
34 Games and Cognition Use (new) games as a free lab to see how humans behave. More generally, mixed forms of natural and designed behavior. Turing extended: games a universal model for cognition? (Helsinki 1990)
35 Normative versus Descriptive Cognitive psychology, neuroscience: rivals, or partners? The traditional challenges to logic: mistakes, emotion. Recently also: mindless animal models perform just as well. Dividing line: logic is normative, cognitive science descriptive. But * All our logics were normative, but to create relevant logic, normative and descriptive perspectives must come together. Logic of agency goes beyond Is, Ought to study Improve. Requires interaction of descriptive and normative stances.
36 Agent-Rich Conclusion There is a lot of logical content to agency, with games as a striking example. The perspective of agency is fun to explore in itself. And it suggest new perspectives on many existing things.
37 Agent-Free Conclusion
Reasoning About Strategies
Reasoning About Strategies Johan van Benthem 1 University of Amsterdam and Stanford University Abstract. Samson Abramsky has placed landmarks in the world of logic and games that I have long admired. In
More informationA review of Reasoning About Rational Agents by Michael Wooldridge, MIT Press Gordon Beavers and Henry Hexmoor
A review of Reasoning About Rational Agents by Michael Wooldridge, MIT Press 2000 Gordon Beavers and Henry Hexmoor Reasoning About Rational Agents is concerned with developing practical reasoning (as contrasted
More information8.F The Possibility of Mistakes: Trembling Hand Perfection
February 4, 2015 8.F The Possibility of Mistakes: Trembling Hand Perfection back to games of complete information, for the moment refinement: a set of principles that allow one to select among equilibria.
More informationGame Theory: The Basics. Theory of Games and Economics Behavior John Von Neumann and Oskar Morgenstern (1943)
Game Theory: The Basics The following is based on Games of Strategy, Dixit and Skeath, 1999. Topic 8 Game Theory Page 1 Theory of Games and Economics Behavior John Von Neumann and Oskar Morgenstern (1943)
More informationA paradox for supertask decision makers
A paradox for supertask decision makers Andrew Bacon January 25, 2010 Abstract I consider two puzzles in which an agent undergoes a sequence of decision problems. In both cases it is possible to respond
More informationTutorial 1. (ii) There are finite many possible positions. (iii) The players take turns to make moves.
1 Tutorial 1 1. Combinatorial games. Recall that a game is called a combinatorial game if it satisfies the following axioms. (i) There are 2 players. (ii) There are finite many possible positions. (iii)
More informationGame Solution, Epistemic Dynamics and Fixed-Point Logics
Fundamenta Informaticae XXI (2010) 1001 1023 1001 IOS Press Game Solution, pistemic Dynamics and Fixed-Point Logics Johan van Benthem ILLC, University of msterdam johan@science.uva.nl mélie Gheerbrant
More informationEC3224 Autumn Lecture #02 Nash Equilibrium
Reading EC3224 Autumn Lecture #02 Nash Equilibrium Osborne Chapters 2.6-2.10, (12) By the end of this week you should be able to: define Nash equilibrium and explain several different motivations for it.
More informationLogic and Artificial Intelligence Lecture 18
Logic and Artificial Intelligence Lecture 18 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationLogics for Analyzing Games
Logics for Analyzing Games Johan van Benthem and Dominik Klein In light of logic s historical roots in dialogue and argumentation, games and logic are a natural fit. Argumentation is a game-like activity
More informationDynamic Games: Backward Induction and Subgame Perfection
Dynamic Games: Backward Induction and Subgame Perfection Carlos Hurtado Department of Economics University of Illinois at Urbana-Champaign hrtdmrt2@illinois.edu Jun 22th, 2017 C. Hurtado (UIUC - Economics)
More informationLeandro Chaves Rêgo. Unawareness in Extensive Form Games. Joint work with: Joseph Halpern (Cornell) Statistics Department, UFPE, Brazil.
Unawareness in Extensive Form Games Leandro Chaves Rêgo Statistics Department, UFPE, Brazil Joint work with: Joseph Halpern (Cornell) January 2014 Motivation Problem: Most work on game theory assumes that:
More informationReading Robert Gibbons, A Primer in Game Theory, Harvester Wheatsheaf 1992.
Reading Robert Gibbons, A Primer in Game Theory, Harvester Wheatsheaf 1992. Additional readings could be assigned from time to time. They are an integral part of the class and you are expected to read
More informationIntroduction to (Networked) Game Theory. Networked Life NETS 112 Fall 2016 Prof. Michael Kearns
Introduction to (Networked) Game Theory Networked Life NETS 112 Fall 2016 Prof. Michael Kearns Game Theory for Fun and Profit The Beauty Contest Game Write your name and an integer between 0 and 100 Let
More informationGame Theory. Wolfgang Frimmel. Dominance
Game Theory Wolfgang Frimmel Dominance 1 / 13 Example: Prisoners dilemma Consider the following game in normal-form: There are two players who both have the options cooperate (C) and defect (D) Both players
More informationAlternation in the repeated Battle of the Sexes
Alternation in the repeated Battle of the Sexes Aaron Andalman & Charles Kemp 9.29, Spring 2004 MIT Abstract Traditional game-theoretic models consider only stage-game strategies. Alternation in the repeated
More informationFebruary 11, 2015 :1 +0 (1 ) = :2 + 1 (1 ) =3 1. is preferred to R iff
February 11, 2015 Example 60 Here s a problem that was on the 2014 midterm: Determine all weak perfect Bayesian-Nash equilibria of the following game. Let denote the probability that I assigns to being
More informationIdeas beyond Number. Teacher s guide to Activity worksheets
Ideas beyond Number Teacher s guide to Activity worksheets Learning objectives To explore reasoning, logic and proof through practical, experimental, structured and formalised methods of communication
More informationAdvanced Microeconomics: Game Theory
Advanced Microeconomics: Game Theory P. v. Mouche Wageningen University 2018 Outline 1 Motivation 2 Games in strategic form 3 Games in extensive form What is game theory? Traditional game theory deals
More informationTopic 1: defining games and strategies. SF2972: Game theory. Not allowed: Extensive form game: formal definition
SF2972: Game theory Mark Voorneveld, mark.voorneveld@hhs.se Topic 1: defining games and strategies Drawing a game tree is usually the most informative way to represent an extensive form game. Here is one
More informationGame Theory and Randomized Algorithms
Game Theory and Randomized Algorithms Guy Aridor Game theory is a set of tools that allow us to understand how decisionmakers interact with each other. It has practical applications in economics, international
More informationArtificial Intelligence
Artificial Intelligence Chapter 1 Chapter 1 1 Outline What is AI? A brief history The state of the art Chapter 1 2 What is AI? Systems that think like humans Systems that think rationally Systems that
More informationDecidability of the PAL Substitution Core
Decidability of the PAL Substitution Core LORI Workshop, ESSLLI 2010 Wes Holliday, Tomohiro Hoshi, and Thomas Icard Logical Dynamics Lab, CSLI Department of Philosophy, Stanford University August 20, 2010
More informationMultiagent Systems: Intro to Game Theory. CS 486/686: Introduction to Artificial Intelligence
Multiagent Systems: Intro to Game Theory CS 486/686: Introduction to Artificial Intelligence 1 1 Introduction So far almost everything we have looked at has been in a single-agent setting Today - Multiagent
More informationCSCI 699: Topics in Learning and Game Theory Fall 2017 Lecture 3: Intro to Game Theory. Instructor: Shaddin Dughmi
CSCI 699: Topics in Learning and Game Theory Fall 217 Lecture 3: Intro to Game Theory Instructor: Shaddin Dughmi Outline 1 Introduction 2 Games of Complete Information 3 Games of Incomplete Information
More information3 Game Theory II: Sequential-Move and Repeated Games
3 Game Theory II: Sequential-Move and Repeated Games Recognizing that the contributions you make to a shared computer cluster today will be known to other participants tomorrow, you wonder how that affects
More informationFictitious Play applied on a simplified poker game
Fictitious Play applied on a simplified poker game Ioannis Papadopoulos June 26, 2015 Abstract This paper investigates the application of fictitious play on a simplified 2-player poker game with the goal
More informationIntroduction to Game Theory I
Nicola Dimitri University of Siena (Italy) Rome March-April 2014 Introduction to Game Theory 1/3 Game Theory (GT) is a tool-box useful to understand how rational people choose in situations of Strategic
More information37 Game Theory. Bebe b1 b2 b3. a Abe a a A Two-Person Zero-Sum Game
37 Game Theory Game theory is one of the most interesting topics of discrete mathematics. The principal theorem of game theory is sublime and wonderful. We will merely assume this theorem and use it to
More informationChapter 3 Learning in Two-Player Matrix Games
Chapter 3 Learning in Two-Player Matrix Games 3.1 Matrix Games In this chapter, we will examine the two-player stage game or the matrix game problem. Now, we have two players each learning how to play
More informationMultiagent Systems: Intro to Game Theory. CS 486/686: Introduction to Artificial Intelligence
Multiagent Systems: Intro to Game Theory CS 486/686: Introduction to Artificial Intelligence 1 Introduction So far almost everything we have looked at has been in a single-agent setting Today - Multiagent
More informationIntroduction to Artificial Intelligence: cs580
Office: Nguyen Engineering Building 4443 email: zduric@cs.gmu.edu Office Hours: Mon. & Tue. 3:00-4:00pm, or by app. URL: http://www.cs.gmu.edu/ zduric/ Course: http://www.cs.gmu.edu/ zduric/cs580.html
More informationContents. MA 327/ECO 327 Introduction to Game Theory Fall 2017 Notes. 1 Wednesday, August Friday, August Monday, August 28 6
MA 327/ECO 327 Introduction to Game Theory Fall 2017 Notes Contents 1 Wednesday, August 23 4 2 Friday, August 25 5 3 Monday, August 28 6 4 Wednesday, August 30 8 5 Friday, September 1 9 6 Wednesday, September
More informationRational decisions in non-probabilistic setting
Computational Logic Seminar, Graduate Center CUNY Rational decisions in non-probabilistic setting Sergei Artemov October 20, 2009 1 In this talk The knowledge-based rational decision model (KBR-model)
More informationExtensive Games with Perfect Information A Mini Tutorial
Extensive Games withperfect InformationA Mini utorial p. 1/9 Extensive Games with Perfect Information A Mini utorial Krzysztof R. Apt (so not Krzystof and definitely not Krystof) CWI, Amsterdam, the Netherlands,
More informationIntroduction to (Networked) Game Theory. Networked Life NETS 112 Fall 2014 Prof. Michael Kearns
Introduction to (Networked) Game Theory Networked Life NETS 112 Fall 2014 Prof. Michael Kearns percent who will actually attend 100% Attendance Dynamics: Concave equilibrium: 100% percent expected to attend
More informationArtificial Intelligence
Artificial Intelligence Chapter 1 Chapter 1 1 Outline What is AI? A brief history The state of the art Chapter 1 2 What is AI? Systems that think like humans Systems that think rationally Systems that
More informationModal logic. Benzmüller/Rojas, 2014 Artificial Intelligence 2
Modal logic Benzmüller/Rojas, 2014 Artificial Intelligence 2 What is Modal Logic? Narrowly, traditionally: modal logic studies reasoning that involves the use of the expressions necessarily and possibly.
More informationCMSC 421, Artificial Intelligence
Last update: January 28, 2010 CMSC 421, Artificial Intelligence Chapter 1 Chapter 1 1 What is AI? Try to get computers to be intelligent. But what does that mean? Chapter 1 2 What is AI? Try to get computers
More informationECON 301: Game Theory 1. Intermediate Microeconomics II, ECON 301. Game Theory: An Introduction & Some Applications
ECON 301: Game Theory 1 Intermediate Microeconomics II, ECON 301 Game Theory: An Introduction & Some Applications You have been introduced briefly regarding how firms within an Oligopoly interacts strategically
More informationCS:4420 Artificial Intelligence
CS:4420 Artificial Intelligence Spring 2018 Introduction Cesare Tinelli The University of Iowa Copyright 2004 18, Cesare Tinelli and Stuart Russell a a These notes were originally developed by Stuart Russell
More informationIntelligent Systems. Lecture 1 - Introduction
Intelligent Systems Lecture 1 - Introduction In which we try to explain why we consider artificial intelligence to be a subject most worthy of study, and in which we try to decide what exactly it is Dr.
More informationGame Theory. Lecture Notes By Y. Narahari. Department of Computer Science and Automation Indian Institute of Science Bangalore, India August 2012
Game Theory Lecture Notes By Y. Narahari Department of Computer Science and Automation Indian Institute of Science Bangalore, India August 01 Rationalizable Strategies Note: This is a only a draft version,
More informationECON 312: Games and Strategy 1. Industrial Organization Games and Strategy
ECON 312: Games and Strategy 1 Industrial Organization Games and Strategy A Game is a stylized model that depicts situation of strategic behavior, where the payoff for one agent depends on its own actions
More informationIntroduction to AI. What is Artificial Intelligence?
Introduction to AI Instructor: Dr. Wei Ding Fall 2009 1 What is Artificial Intelligence? Views of AI fall into four categories: Thinking Humanly Thinking Rationally Acting Humanly Acting Rationally The
More informationSelf-interested agents What is Game Theory? Example Matrix Games. Game Theory Intro. Lecture 3. Game Theory Intro Lecture 3, Slide 1
Game Theory Intro Lecture 3 Game Theory Intro Lecture 3, Slide 1 Lecture Overview 1 Self-interested agents 2 What is Game Theory? 3 Example Matrix Games Game Theory Intro Lecture 3, Slide 2 Self-interested
More informationMultiagent Systems: Intro to Game Theory. CS 486/686: Introduction to Artificial Intelligence
Multiagent Systems: Intro to Game Theory CS 486/686: Introduction to Artificial Intelligence 1 Introduction So far almost everything we have looked at has been in a single-agent setting Today - Multiagent
More informationThe tenure game. The tenure game. Winning strategies for the tenure game. Winning condition for the tenure game
The tenure game The tenure game is played by two players Alice and Bob. Initially, finitely many tokens are placed at positions that are nonzero natural numbers. Then Alice and Bob alternate in their moves
More informationCS510 \ Lecture Ariel Stolerman
CS510 \ Lecture04 2012-10-15 1 Ariel Stolerman Administration Assignment 2: just a programming assignment. Midterm: posted by next week (5), will cover: o Lectures o Readings A midterm review sheet will
More informationAwareness and Understanding in Computer Programs A Review of Shadows of the Mind by Roger Penrose
Awareness and Understanding in Computer Programs A Review of Shadows of the Mind by Roger Penrose John McCarthy Computer Science Department Stanford University Stanford, CA 94305. jmc@sail.stanford.edu
More informationCMU-Q Lecture 20:
CMU-Q 15-381 Lecture 20: Game Theory I Teacher: Gianni A. Di Caro ICE-CREAM WARS http://youtu.be/jilgxenbk_8 2 GAME THEORY Game theory is the formal study of conflict and cooperation in (rational) multi-agent
More information22c181: Formal Methods in Software Engineering. The University of Iowa Spring Propositional Logic
22c181: Formal Methods in Software Engineering The University of Iowa Spring 2010 Propositional Logic Copyright 2010 Cesare Tinelli. These notes are copyrighted materials and may not be used in other course
More informationThe Science In Computer Science
Editor s Introduction Ubiquity Symposium The Science In Computer Science The Computing Sciences and STEM Education by Paul S. Rosenbloom In this latest installment of The Science in Computer Science, Prof.
More informationOPEN PROBLEMS IN LOGIC AND GAMES
OPEN PROBLEMS IN LOGIC AND GAMES Johan van Benthem, Amsterdam & Stanford, June 2005 1 1 The setting, the purpose, and a warning Dov Gabbay is a prolific logician just by himself. But beyond that, he is
More informationStrategies and Game Theory
Strategies and Game Theory Prof. Hongbin Cai Department of Applied Economics Guanghua School of Management Peking University March 31, 2009 Lecture 7: Repeated Game 1 Introduction 2 Finite Repeated Game
More informationIntelligent Agents. Introduction to Planning. Ute Schmid. Cognitive Systems, Applied Computer Science, Bamberg University. last change: 23.
Intelligent Agents Introduction to Planning Ute Schmid Cognitive Systems, Applied Computer Science, Bamberg University last change: 23. April 2012 U. Schmid (CogSys) Intelligent Agents last change: 23.
More informationCMSC 372 Artificial Intelligence. Fall Administrivia
CMSC 372 Artificial Intelligence Fall 2017 Administrivia Instructor: Deepak Kumar Lectures: Mon& Wed 10:10a to 11:30a Labs: Fridays 10:10a to 11:30a Pre requisites: CMSC B206 or H106 and CMSC B231 or permission
More informationWhat is Artificial Intelligence? Alternate Definitions (Russell + Norvig) Human intelligence
CSE 3401: Intro to Artificial Intelligence & Logic Programming Introduction Required Readings: Russell & Norvig Chapters 1 & 2. Lecture slides adapted from those of Fahiem Bacchus. What is AI? What is
More informationSummary Overview of Topics in Econ 30200b: Decision theory: strong and weak domination by randomized strategies, domination theorem, expected utility
Summary Overview of Topics in Econ 30200b: Decision theory: strong and weak domination by randomized strategies, domination theorem, expected utility theorem (consistent decisions under uncertainty should
More information1. Introduction to Game Theory
1. Introduction to Game Theory What is game theory? Important branch of applied mathematics / economics Eight game theorists have won the Nobel prize, most notably John Nash (subject of Beautiful mind
More informationA Complete Approximation Theory for Weighted Transition Systems
A Complete Approximation Theory for Weighted Transition Systems December 1, 2015 Peter Christoffersen Mikkel Hansen Mathias R. Pedersen Radu Mardare Kim G. Larsen Department of Computer Science Aalborg
More informationLECTURE 26: GAME THEORY 1
15-382 COLLECTIVE INTELLIGENCE S18 LECTURE 26: GAME THEORY 1 INSTRUCTOR: GIANNI A. DI CARO ICE-CREAM WARS http://youtu.be/jilgxenbk_8 2 GAME THEORY Game theory is the formal study of conflict and cooperation
More informationAlgorithmic Game Theory and Applications. Kousha Etessami
Algorithmic Game Theory and Applications Lecture 17: A first look at Auctions and Mechanism Design: Auctions as Games, Bayesian Games, Vickrey auctions Kousha Etessami Food for thought: sponsored search
More informationStrategic Bargaining. This is page 1 Printer: Opaq
16 This is page 1 Printer: Opaq Strategic Bargaining The strength of the framework we have developed so far, be it normal form or extensive form games, is that almost any well structured game can be presented
More informationPhilosophy and the Human Situation Artificial Intelligence
Philosophy and the Human Situation Artificial Intelligence Tim Crane In 1965, Herbert Simon, one of the pioneers of the new science of Artificial Intelligence, predicted that machines will be capable,
More informationU strictly dominates D for player A, and L strictly dominates R for player B. This leaves (U, L) as a Strict Dominant Strategy Equilibrium.
Problem Set 3 (Game Theory) Do five of nine. 1. Games in Strategic Form Underline all best responses, then perform iterated deletion of strictly dominated strategies. In each case, do you get a unique
More informationExtensive Form Games: Backward Induction and Imperfect Information Games
Extensive Form Games: Backward Induction and Imperfect Information Games CPSC 532A Lecture 10 October 12, 2006 Extensive Form Games: Backward Induction and Imperfect Information Games CPSC 532A Lecture
More informationGame Theory. Department of Electronics EL-766 Spring Hasan Mahmood
Game Theory Department of Electronics EL-766 Spring 2011 Hasan Mahmood Email: hasannj@yahoo.com Course Information Part I: Introduction to Game Theory Introduction to game theory, games with perfect information,
More informationAdvanced Microeconomics (Economics 104) Spring 2011 Strategic games I
Advanced Microeconomics (Economics 104) Spring 2011 Strategic games I Topics The required readings for this part is O chapter 2 and further readings are OR 2.1-2.3. The prerequisites are the Introduction
More informationDVA325 Formal Languages, Automata and Models of Computation (FABER)
DVA325 Formal Languages, Automata and Models of Computation (FABER) Lecture 1 - Introduction School of Innovation, Design and Engineering Mälardalen University 11 November 2014 Abu Naser Masud FABER November
More informationAppendix A A Primer in Game Theory
Appendix A A Primer in Game Theory This presentation of the main ideas and concepts of game theory required to understand the discussion in this book is intended for readers without previous exposure to
More informationLogic and Artificial Intelligence Lecture 16
Logic and Artificial Intelligence Lecture 16 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationArpita Biswas. Speaker. PhD Student (Google Fellow) Game Theory Lab, Dept. of CSA, Indian Institute of Science, Bangalore
Speaker Arpita Biswas PhD Student (Google Fellow) Game Theory Lab, Dept. of CSA, Indian Institute of Science, Bangalore Email address: arpita.biswas@live.in OUTLINE Game Theory Basic Concepts and Results
More informationDynamic epistemic logic and lying
Dynamic epistemic logic and lying Hans van Ditmarsch LORIA CNRS / Univ. de Lorraine & (associate) IMSc, Chennai hans.van-ditmarsch@loria.fr http://personal.us.es/hvd/ The Ditmarsch Tale of Wonders I will
More informationTo wards Empirical and Scientific Theories of Computation
To wards Empirical and Scientific Theories of Computation (Extended Abstract) Steven Meyer Pragmatic C Software Corp., Minneapolis, MN, USA smeyer@tdl.com Abstract The current situation in empirical testing
More informationTangent: Boromean Rings. The Beer Can Game. Plan. A Take-Away Game. Mathematical Games I. Introduction to Impartial Combinatorial Games
K. Sutner D. Sleator* Great Theoretical Ideas In Computer Science CS 15-251 Spring 2014 Lecture 110 Feb 4, 2014 Carnegie Mellon University Tangent: Boromean Rings Mathematical Games I Challenge for next
More informationUMBC CMSC 671 Midterm Exam 22 October 2012
Your name: 1 2 3 4 5 6 7 8 total 20 40 35 40 30 10 15 10 200 UMBC CMSC 671 Midterm Exam 22 October 2012 Write all of your answers on this exam, which is closed book and consists of six problems, summing
More informationThe extensive form representation of a game
The extensive form representation of a game Nodes, information sets Perfect and imperfect information Addition of random moves of nature (to model uncertainty not related with decisions of other players).
More informationChapter 13. Game Theory
Chapter 13 Game Theory A camper awakens to the growl of a hungry bear and sees his friend putting on a pair of running shoes. You can t outrun a bear, scoffs the camper. His friend coolly replies, I don
More informationAdversarial Search and Game Theory. CS 510 Lecture 5 October 26, 2017
Adversarial Search and Game Theory CS 510 Lecture 5 October 26, 2017 Reminders Proposals due today Midterm next week past midterms online Midterm online BBLearn Available Thurs-Sun, ~2 hours Overview Game
More informationIntroduction Economic Models Game Theory Models Games Summary. Syllabus
Syllabus Contact: kalk00@vse.cz home.cerge-ei.cz/kalovcova/teaching.html Office hours: Wed 7.30pm 8.00pm, NB339 or by email appointment Osborne, M. J. An Introduction to Game Theory Gibbons, R. A Primer
More informationArtificial Intelligence: An overview
Artificial Intelligence: An overview Thomas Trappenberg January 4, 2009 Based on the slides provided by Russell and Norvig, Chapter 1 & 2 What is AI? Systems that think like humans Systems that act like
More informationSF2972 GAME THEORY Normal-form analysis II
SF2972 GAME THEORY Normal-form analysis II Jörgen Weibull January 2017 1 Nash equilibrium Domain of analysis: finite NF games = h i with mixed-strategy extension = h ( ) i Definition 1.1 Astrategyprofile
More informationIntensionalisation of Logical Operators
Intensionalisation of Logical Operators Vít Punčochář Institute of Philosophy Academy of Sciences Czech Republic Vít Punčochář (AS CR) Intensionalisation 2013 1 / 29 A nonstandard representation of classical
More informationOne computer theorist s view of cognitive systems
One computer theorist s view of cognitive systems Jiri Wiedermann Institute of Computer Science, Prague Academy of Sciences of the Czech Republic Partially supported by grant 1ET100300419 Outline 1. The
More informationRationality and Common Knowledge
4 Rationality and Common Knowledge In this chapter we study the implications of imposing the assumptions of rationality as well as common knowledge of rationality We derive and explore some solution concepts
More informationExtensive Form Games. Mihai Manea MIT
Extensive Form Games Mihai Manea MIT Extensive-Form Games N: finite set of players; nature is player 0 N tree: order of moves payoffs for every player at the terminal nodes information partition actions
More informationZolt-Gilburne Imagination Seminar. Knowledge and Games. Sergei Artemov
Zolt-Gilburne Imagination Seminar Knowledge and Games Sergei Artemov October 1, 2009 1 Plato (5-4 Century B.C.) One of the world's best known and most widely read and studied philosophers, a student of
More informationIntroduction to Game Theory
Introduction to Game Theory Managing with Game Theory Hongying FEI Feihy@i.shu.edu.cn Poker Game ( 2 players) Each player is dealt randomly 3 cards Both of them order their cards as they want Cards at
More informationMicroeconomics II Lecture 2: Backward induction and subgame perfection Karl Wärneryd Stockholm School of Economics November 2016
Microeconomics II Lecture 2: Backward induction and subgame perfection Karl Wärneryd Stockholm School of Economics November 2016 1 Games in extensive form So far, we have only considered games where players
More informationIntroduction to Experiments on Game Theory
Introduction to Experiments on Game Theory Syngjoo Choi Spring 2010 Experimental Economics (ECON3020) Game theory 1 Spring 2010 1 / 23 Game Theory A game is a mathematical notion of a strategic interaction
More informationNon-Cooperative Game Theory
Notes on Microeconomic Theory IV 3º - LE-: 008-009 Iñaki Aguirre epartamento de Fundamentos del Análisis Económico I Universidad del País Vasco An introduction to. Introduction.. asic notions.. Extensive
More informationCommon Core Structure Final Recommendation to the Chancellor City University of New York Pathways Task Force December 1, 2011
Common Core Structure Final Recommendation to the Chancellor City University of New York Pathways Task Force December 1, 2011 Preamble General education at the City University of New York (CUNY) should
More informationUploading and Consciousness by David Chalmers Excerpted from The Singularity: A Philosophical Analysis (2010)
Uploading and Consciousness by David Chalmers Excerpted from The Singularity: A Philosophical Analysis (2010) Ordinary human beings are conscious. That is, there is something it is like to be us. We have
More information3-2 Lecture 3: January Repeated Games A repeated game is a standard game which isplayed repeatedly. The utility of each player is the sum of
S294-1 Algorithmic Aspects of Game Theory Spring 2001 Lecturer: hristos Papadimitriou Lecture 3: January 30 Scribes: Kris Hildrum, ror Weitz 3.1 Overview This lecture expands the concept of a game by introducing
More informationCS188 Spring 2014 Section 3: Games
CS188 Spring 2014 Section 3: Games 1 Nearly Zero Sum Games The standard Minimax algorithm calculates worst-case values in a zero-sum two player game, i.e. a game in which for all terminal states s, the
More informationNoncooperative Games COMP4418 Knowledge Representation and Reasoning
Noncooperative Games COMP4418 Knowledge Representation and Reasoning Abdallah Saffidine 1 1 abdallah.saffidine@gmail.com slides design: Haris Aziz Semester 2, 2017 Abdallah Saffidine (UNSW) Noncooperative
More informationFormal Verification. Lecture 5: Computation Tree Logic (CTL)
Formal Verification Lecture 5: Computation Tree Logic (CTL) Jacques Fleuriot 1 jdf@inf.ac.uk 1 With thanks to Bob Atkey for some of the diagrams. Recap Previously: Linear-time Temporal Logic This time:
More informationArtificial Intelligence
Artificial Intelligence (Sistemas Inteligentes) Pedro Cabalar Depto. Computación Universidade da Coruña, SPAIN Chapter 1. Introduction Pedro Cabalar (UDC) ( Depto. AIComputación Universidade da Chapter
More informationArtificial Intelligence: An Introduction
Artificial Intelligence: An Introduction Mark Maloof Department of Computer Science Georgetown University Washington, DC 20057-1232 http://www.cs.georgetown.edu/~maloof August 30, 2017 What is Artificial
More information