Lecture 11: Topics in Formal Epistemology
|
|
- Megan Evangeline Scott
- 5 years ago
- Views:
Transcription
1 Lecture 11: Topics in Formal Epistemology Eric Pacuit ILLC, University of Amsterdam staff.science.uva.nl/ epacuit Lecture Date: May 4, 2006 Caput Logic, Language and Information: Social Software staff.science.uva.nl/ epacuit/caputlli.html
2 Introduction What are we trying to model? Formal Models Epistemic Logic; Aumann Structures (Type Spaces, Knowledge Structures, Bayesian Structures) Common Knowledge Levels of Knowledge A Model of Knowledge for Social Software Communication Graphs
3 What are we trying to model? Greco & Sosa. The Blackwell Guide to Epistemology J. van Benthem. Epistemic Logic and Epistemology
4 What are we trying to model? Greco & Sosa. The Blackwell Guide to Epistemology J. van Benthem. Epistemic Logic and Epistemology Plato: true justied belief
5 What are we trying to model? Greco & Sosa. The Blackwell Guide to Epistemology J. van Benthem. Epistemic Logic and Epistemology Plato: true justied belief Hintikka: truth throughout a set of possibilities the agent considers possible J. Hintikka. Knowledge and Belief. 1962, recently republished.
6 What are we trying to model? Greco & Sosa. The Blackwell Guide to Epistemology J. van Benthem. Epistemic Logic and Epistemology Plato: true justied belief Hintikka: truth throughout a set of possibilities the agent considers possible J. Hintikka. Knowledge and Belief. 1962, recently republished. Dretske: belief supported by reliable correlations F. Dretske. Knowledge and the Flow of Information. CSLI, 1999.
7 What are we trying to model? Greco & Sosa. The Blackwell Guide to Epistemology J. van Benthem. Epistemic Logic and Epistemology Plato: true justied belief Hintikka: truth throughout a set of possibilities the agent considers possible J. Hintikka. Knowledge and Belief. 1962, recently republished. Dretske: belief supported by reliable correlations F. Dretske. Knowledge and the Flow of Information. CSLI, Nozik: true belief plus if φ was false then φ would be believed R. Nozik. Philosophical Explanations
8 What are we trying to model? Greco & Sosa. The Blackwell Guide to Epistemology J. van Benthem. Epistemic Logic and Epistemology Plato: true justied belief Hintikka: truth throughout a set of possibilities the agent considers possible J. Hintikka. Knowledge and Belief. 1962, recently republished. Dretske: belief supported by reliable correlations F. Dretske. Knowledge and the Flow of Information. CSLI, Nozik: true belief plus if φ was false then φ would be believed R. Nozik. Philosophical Explanations
9 Gettier Cases Suppose that Smith and Jones have applied for a certain job.
10 Gettier Cases Suppose that Smith and Jones have applied for a certain job. Smith as strong evidence for the conjunction (a) Jones is the man who will get the job, and Jones has ten coins in his pocket.
11 Gettier Cases Suppose that Smith and Jones have applied for a certain job. Smith as strong evidence for the conjunction (a) Jones is the man who will get the job, and Jones has ten coins in his pocket. Hence, Smith is justied in believing (b) The man who will get the job has ten coins in his pocket
12 Gettier Cases Suppose that Smith and Jones have applied for a certain job. Smith as strong evidence for the conjunction (a) Jones is the man who will get the job, and Jones has ten coins in his pocket. Hence, Smith is justied in believing (b) The man who will get the job has ten coins in his pocket Imagine, further, that unknown to Smith, he himself, not Jones will get the job. And, also, unknown to Smith, he himself has ten coins in his pocket.
13 Gettier Cases Let P := The man who will get the job has ten coins in his pocket Unknown to Smith, he himself, not Jones will get the job. And, also, unknown to Smith, he himself has ten coins in his pocket. It is true that P Smith believes that P Smith is justied in believing that P But we do not say that Smith knows that P E. Gettier. Is Justied True Belief Knowledge?
14 Digression: What does Amazon.com know? Does Amazon.com know my address? X knows p i 1. X has ready access to p 2. p is true 3. X can make use of the informational content of p (i.e., X can exercise certain capacities dependent on its knowing p). S. Chopra and L. White. Attribution of Knowledge to Articial Agents and their Principals
15 Formal Models of Knowledge There is a huge literature! FHMV. Reasoning about Knowledge Epistemic Logic Aumann Structures History Based Structures (Knowledge Structures) (Type Spaces) (Probability Spaces)
16 Possible Worlds A state of the worlds is a complete description of the relevant information including all ground facts, what each agent knows, what every agent knows the other agent knows, and so on...
17 Possible Worlds A state of the worlds is a complete description of the relevant information including all ground facts, what each agent knows, what every agent knows the other agent knows, and so on... A state is A set of ground facts For each agent a possibility function
18 Possible Worlds A state of the worlds is a complete description of the relevant information including all ground facts, what each agent knows, what every agent knows the other agent knows, and so on... A state is A set of ground facts For each agent a possibility function A Possibility function is a function from states to sets of states
19 Possible Worlds A state of the worlds is a complete description of the relevant information including all ground facts, what each agent knows, what every agent knows the other agent knows, and so on... A state is A set of ground facts For each agent a possibility function A Possibility function is a function from states to sets of states Is there a vicious circle? J. Barwise and L. Moss. Vicious Circles
20 Epistemic Logic Let A be a set of agents and At a set of atomic propositions. Modal Language the smallest set generated by (p At) φ := p φ φ ψ iφ Kripke Frame W, {Ri}i A where Ri W W Kripke Model W, {Ri}i A, V where V : At 2 W Truth in a Model 1. M, s = p if p V (s) 2. M, s = φ ψ if M, s = φ and M, s = ψ 3. M, s = φ if M, s = φ 4. M, s = iφ if for each v W, if wrv, then M, v = φ
21 Some Epistemic Axioms Axiom Property Frame Property (φ ψ) ( φ ψ) (valid in all frames) φ φ Truth Axiom Reexivity φ φ Positive Introspection Transitivity φ φ Negative Introspection Euclidean Consistency Serial FHMV. Reasoning about Knowledge
22 Aumann Structures R. Aumann. Interactive Epistemology I: Knowledge Knowledge function: κ with domain W and range an abstract set. for w W, κ(w) is the signal the agent receives from the outside world when the true state of the world is w. Information function: I(w) := {w W κ(w) = κ(w )} w I(w) I(w) and I(w ) are either disjoint or identical So I forms a partition of W.
23 Aumann Structures Let Σ be the family of all events (= 2 W ). Dene K : Σ Σ as follows w KE i I(w) E K has the following properties: 1. KE E 2. E F implies KE KF 3. KE KKE We can take any of the κ, I, K as primitive. Eg. Take K : Σ Σ as primitive. I(w) := K{w}
24 Epistemic Logic with Dierent Terminology Given an arbitrary set operator P : 2 W 2 W, the following properties can be assumed of P. Let E, F be any two subsets W P1 P(E) P(F ) = P(E F ) P2 j JP(Ej) = P( j JEj), for any index set J a P3 P(E) E P4 P(E) P(P(E)) P5 P(E) P(P(E)) P6 P(E) P(E) a When J =, we get K(Ω) = Ω
25 Let P : W 2 W be any function. We dene the following properties of P : Reexive w W, w P (w) Transitive w, v W, v P (w) P (v) P (w) Euclidean w, v W, v P (w) P (w) P (v) Serial w W, P (w) J. Halpern. Set Theoretic Completeness of Epistemic and Conditional Logic
26 Common Knowledge Given two agents i and j, how do we formalize the statement φ is common knowledge between i and j in terms of i, j, φ and (private knowledge)? Let γ be the statement it is common knowledge between i and j that φ. For a good exposition see, M. Chwe. Rational Ritual
27 Three Views of Common Knowledge 1. γ := i knows that φ, j knows that φ, i knows that j knows that φ, j knows that i knows that φ, i knows that j knows that i knows that φ,... D. Lewis. Convention, A Philosophical Study
28 Three Views of Common Knowledge 1. γ := i knows that φ, j knows that φ, i knows that j knows that φ, j knows that i knows that φ, i knows that j knows that i knows that φ,... D. Lewis. Convention, A Philosophical Study γ := i and j know that (φ and γ) G. Harman.???.???.
29 Three Views of Common Knowledge 1. γ := i knows that φ, j knows that φ, i knows that j knows that φ, j knows that i knows that φ, i knows that j knows that i knows that φ,... D. Lewis. Convention, A Philosophical Study γ := i and j know that (φ and γ) G. Harman.???.???. 3. There is a shared situation s such that s entails φ s entails i knows φ s entails j knows φ H. Clark and C. Marshall. Denite Reference and Mutual Knowledge
30 Three Views of Common Knowledge 1. γ := i knows that φ, j knows that φ, i knows that j knows that φ, j knows that i knows that φ, i knows that j knows that i knows that φ,... D. Lewis. Convention, A Philosophical Study γ := i and j know that (φ and γ) G. Harman.???.???. 3. There is a shared situation s such that s entails φ s entails i knows φ s entails j knows φ H. Clark and C. Marshall. Denite Reference and Mutual Knowledge
31 Common Knowledge: Iterated View Dene K m : 2 W 2 W for m 1 by K 1 E := i AKiE K m+1 E := K 1 (K m (E)) K 1 E means everyone knows E K 2 E means everyone knows that everyone knows E Dene K : 2 W 2 W K E := K 1 E K 2 E K m E It is easy to verify that KiK E = K E for all i
32 Three Views of Common Knowledge In Relational Models (including Aumann Structures), the rst two views are simply equivalent and it is not clear how to represent the third view.
33 Three Views of Common Knowledge In Relational Models (including Aumann Structures), the rst two views are simply equivalent and it is not clear how to represent the third view. C 0 1,2E := E C 1,2 κ+1 E := E K 1(C 1,2E) κ K2(C 1,2E) κ C λ 1,2E := κ<λc λ 1,2 Let C1,2E = C 1,2E κ where κ is the least ordinal where C 1,2E κ = C κ+1 E Fact In every Relational Model, the above procedure stabilizing at κ ω.
34 Three Views of Common Knowledge In topological models the rst two views can be distinguished. J. van Benthem and D. Sarenac. The Geometry of Knowledge All three can be separated in the situation calculus. J. Barwise. Three Views of Common Knowledge. TARK, 1987.
35 Models of Knowledge for Social Software Let P be a plan the agent is carrying out. π(p ) = {w w C and w enables P } where C is the context of the plan P (decided by an observer). An agent believes φ, provided π(p ) (φ) M. An agent knows φ provide the agent believes φ and φ is true.
36 Models of Knowledge for Social Software If an agent comes to a point in her plan where her appropriate action is If φ do α else do β and she does α, then we will say that she i-believes φ. R. Parikh. WHAT do we know and what do WE know. TARK, 2005.
37 Recall the following example Ann would like Bob to attend her talk; however, she only wants Bob to attend if he is interested in the subject of her talk, not because he is just being polite.
38 Recall the following example Ann would like Bob to attend her talk; however, she only wants Bob to attend if he is interested in the subject of her talk, not because he is just being polite. There is a very simple procedure to solve Ann's problem: have a (trusted) friend tell Bob the time and subject of her talk.
39 Recall the following example Ann would like Bob to attend her talk; however, she only wants Bob to attend if he is interested in the subject of her talk, not because he is just being polite. There is a very simple procedure to solve Ann's problem: have a (trusted) friend tell Bob the time and subject of her talk. Taking a cue from computer science, we can ask is this procedure correct?
40 Recall the following example Yes, if 1. Ann knows about the talk.
41 Recall the following example Yes, if 1. Ann knows about the talk. 2. Bob knows about the talk.
42 Recall the following example Yes, if 1. Ann knows about the talk. 2. Bob knows about the talk. 3. Ann knows that Bob knows about the talk.
43 Recall the following example Yes, if 1. Ann knows about the talk. 2. Bob knows about the talk. 3. Ann knows that Bob knows about the talk. 4. Bob does not know that Ann knows that he knows about the talk.
44 Recall the following example Yes, if 1. Ann knows about the talk. 2. Bob knows about the talk. 3. Ann knows that Bob knows about the talk. 4. Bob does not know that Ann knows that he knows about the talk. 5. And nothing else.
45 Basic Denitions R. Parikh and R. Ramanujam. A History Based Semantics of Messages Let E be a xed set of events. Elements of E E ω will be called histories. Three types: 1. local histories, 2. nite global histories and 3. innite global histories. Given two histories H and H, write H H to mean H is a nite prex of H. Dene FinPre(H) = {H H E, H H, & H H}. Given a history H, Ht is the nite prex of H of length t.
46 Basic Denitions R. Parikh and R. Ramanujam. A History Based Semantics of Messages Let E be a xed set of events. Elements of E E ω will be called histories. Three types: 1. local histories, 2. nite global histories and 3. innite global histories. Given two histories H and H, write H H to mean H is a nite prex of H. Dene FinPre(H) = {H H E, H H, & H H}. Given a history H, Ht is the nite prex of H of length t.
47 Basic Denitions R. Parikh and R. Ramanujam. A History Based Semantics of Messages Let E be a xed set of events. Elements of E E ω will be called histories. Three types: 1. local histories, 2. nite global histories and 3. innite global histories. Given two histories H and H, write H H to mean H is a nite prex of H. Dene FinPre(H) = {H H E, H H, & H H}. Given a history H, Ht is the nite prex of H of length t.
48 Basic Denitions R. Parikh and R. Ramanujam. A History Based Semantics of Messages Let E be a xed set of events. Elements of E E ω will be called histories. Three types: 1. local histories, 2. nite global histories and 3. innite global histories. Given two histories H and H, write H H to mean H is a nite prex of H. Dene FinPre(H) = {H H E, H H, & H H}. Given a history H, Ht is the nite prex of H of length t.
49 Basic Denitions R. Parikh and R. Ramanujam. A History Based Semantics of Messages Let E be a xed set of events. Elements of E E ω will be called histories. Three types: 1. local histories, 2. nite global histories and 3. innite global histories. Given two histories H and H, write H H to mean H is a nite prex of H. Dene FinPre(H) = {H H E, H H, & H H}. Given a history H, Ht is the nite prex of H of length t.
50 Protocols A set H E E ω is called a protocol if H is closed under FinPre.
51 Protocols A set H E E ω is called a protocol if H is closed under FinPre. Intuitively, a protocol represents the various ways a social interactive situation may evolve.
52 Protocols A set H E E ω is called a protocol if H is closed under FinPre. Intuitively, a protocol represents the various ways a social interactive situation may evolve. Note that any (social) procedure will generate a protocol, but not all protocols are generated by some procedure.
53 History Based Structures A history based structure based on a set of events E is a tuple H, E1,..., En where H is a protocol and Ei E for each i A.
54 History Based Structures A history based structure based on a set of events E is a tuple H, E1,..., En where H is a protocol and Ei E for each i A. If e Ei then i is aware of event e.
55 History Based Structures A history based structure based on a set of events E is a tuple H, E1,..., En where H is a protocol and Ei E for each i A. If e Ei then i is aware of event e. History based structures are "low-level descriptions" of a social situation.
56 History Based Frames For each i A dene λi : FinPre(H) E i to be the local view function of agent i.
57 History Based Frames For each i A dene λi : FinPre(H) E i to be the local view function of agent i. We can dene for each nite H H, H i H i λi(h) = λi(h )
58 History Based Frames For each i A dene λi : FinPre(H) E i to be the local view function of agent i. We can dene for each nite H H, H i H i λi(h) = λi(h ) A history based frame is a tuple H, E1,..., En, λ1,..., λn.
59 History Based Frames: Local View Functions Note that for each i A, λi is any function on FinPreH. Possible Assumptions: The agents' local clock is consistent with the global clock:
60 History Based Frames: Local View Functions Note that for each i A, λi is any function on FinPreH. Possible Assumptions: The agents' local clock is consistent with the global clock: For all H H if t m, then λi(ht) λi(hm)
61 History Based Frames: Local View Functions Note that for each i A, λi is any function on FinPreH. Possible Assumptions: The agents' local clock is consistent with the global clock: For all H H if t m, then λi(ht) λi(hm) Agents are not wrong about the events that they witness:
62 History Based Frames: Local View Functions Note that for each i A, λi is any function on FinPreH. Possible Assumptions: The agents' local clock is consistent with the global clock: For all H H if t m, then λi(ht) λi(hm) Agents are not wrong about the events that they witness: λi(h) is embeddable in H.
63 History Based Frames: Local View Functions Note that for each i A, λi is any function on FinPreH. Possible Assumptions: The agents' local clock is consistent with the global clock: For all H H if t m, then λi(ht) λi(hm) Agents are not wrong about the events that they witness: λi(h) is embeddable in H. Assumptions about the agents reasoning capabilities, i.e., perfect recall :
64 History Based Frames: Local View Functions Note that for each i A, λi is any function on FinPreH. Possible Assumptions: The agents' local clock is consistent with the global clock: For all H H if t m, then λi(ht) λi(hm) Agents are not wrong about the events that they witness: λi(h) is embeddable in H. Assumptions about the agents reasoning capabilities, i.e., perfect recall : λi(h) is obtained by mapping each event "seen" by i into itself and each event not seen by i to the empty string.
65 Temporal Epistemic Logic A formula φ KT n can have the following form φ := p φ φ ψ Kiφ φ φ Uψ
66 Temporal Epistemic Logic A formula φ KT n can have the following form φ := p φ φ ψ Kiφ φ φ Uψ Kiφ: "agent i knows φ" φ: "φ is true at the next moment" φuψ: "φ is true until ψ becomes true" F φ: Uφ: "φ is true sometime in the future" Gφ: F φ: "φ is always true"
67 Temporal Epistemic Logic: Truth If H H is a innite global history, then H, t = φ is intended to mean φ is true at time t in history H: 1. H, t = φ Uψ i there exists m t such that H, m = ψ and for all l such that t l < m, H, l = φ 2. H, t = Kiφ i for all H H such that Ht i H t, H, t = φ 2. H, t = Kiφ i for all m 0, for all H H such that Ht i H m, H, m = φ
68 Temporal Epistemic Logic: Truth If H H is a innite global history, then H, t = φ is intended to mean φ is true at time t in history H: 1. H, t = φ Uψ i there exists m t such that H, m = ψ and for all l such that t l < m, H, l = φ 2. H, t = Kiφ i for all H H such that Ht i H t, H, t = φ 2. H, t = Kiφ i for all m 0, for all H H such that Ht i H m, H, m = φ
69 Returning to the Example Let mac be the event that represents the message from Ann to Carol Let mcb be the event that represents the message from Carol to Bob Let P be the proposition that means Ann's talk is at 2 PM". HmACH mcb = KBKAKBP
70 Temporal Epistemic Logic: Axiomatizations Sound and complete axiomatizations (using a dierent semantics)
71 Temporal Epistemic Logic: Axiomatizations Sound and complete axiomatizations (using a dierent semantics) 1. Linear time: [HvdMV, 2003] 2. Branching time: [vdmw, 2004] 3. Past time operators: [FvdMR, 2004] 4. Group strategies (AT L): [GvD, 2002]
72 Histories or Runs? See [FHMV] and [HvdMV] for more information. Let L be a set of local states. A run r R is a function r : N L n+1 A system for n agents is a set R. r(t) has the form le, l1,..., ln, where le is the state of the environment, li for i = 1,..., n is the local state of each agent. A point, or global state, is an element (r, t) R N. An interpreted system I = (R, π), where R is a system and π : (R N) At {true, false} Agent i cannot distinguish two points if it is in the same state in both: (r, t) i (r, t ) i r(t)i = r (t )i.
73 Histories or Runs? See [FHMV] and [HvdMV] for more information. Let L be a set of local states. A run r R is a function r : N L n+1 A system for n agents is a set R. r(t) has the form le, l1,..., ln, where le is the state of the environment, li for i = 1,..., n is the local state of each agent. A point, or global state, is an element (r, t) R N. An interpreted system I = (R, π), where R is a system and π : (R N) At {true, false} Agent i cannot distinguish two points if it is in the same state in both: (r, t) i (r, t ) i r(t)i = r (t )i.
74 Histories or Runs? See [FHMV] and [HvdMV] for more information. Let L be a set of local states. A run r R is a function r : N L n+1 A system for n agents is a set R. r(t) has the form le, l1,..., ln, where le is the state of the environment, li for i = 1,..., n is the local state of each agent. A point, or global state, is an element (r, t) R N. An interpreted system I = (R, π), where R is a system and π : (R N) At {true, false} Agent i cannot distinguish two points if it is in the same state in both: (r, t) i (r, t ) i r(t)i = r (t )i.
75 Histories or Runs? See [FHMV] and [HvdMV] for more information. Let L be a set of local states. A run r R is a function r : N L n+1 A system for n agents is a set R. r(t) has the form le, l1,..., ln, where le is the state of the environment, li for i = 1,..., n is the local state of each agent. A point, or global state, is an element (r, t) R N. An interpreted system I = (R, π), where R is a system and π : (R N) At {true, false} Agent i cannot distinguish two points if it is in the same state in both: (r, t) i (r, t ) i r(t)i = r (t )i.
76 Histories or Runs? See [FHMV] and [HvdMV] for more information. Let L be a set of local states. A run r R is a function r : N L n+1 A system for n agents is a set R. r(t) has the form le, l1,..., ln, where le is the state of the environment, li for i = 1,..., n is the local state of each agent. A point, or global state, is an element (r, t) R N. An interpreted system I = (R, π), where R is a system and π : (R N) At {true, false} Agent i cannot distinguish two points if it is in the same state in both: (r, t) i (r, t ) i r(t)i = r (t )i.
77 Histories or Runs? See [FHMV] and [HvdMV] for more information. Let L be a set of local states. A run r R is a function r : N L n+1 A system for n agents is a set R. r(t) has the form le, l1,..., ln, where le is the state of the environment, li for i = 1,..., n is the local state of each agent. A point, or global state, is an element (r, t) R N. An interpreted system I = (R, π), where R is a system and π : (R N) At {true, false} Agent i cannot distinguish two points if it is in the same state in both: (r, t) i (r, t ) i r(t)i = r (t )i.
78 Histories or Runs? See [FHMV] and [HvdMV] for more information. Let L be a set of local states. A run r R is a function r : N L n+1 A system for n agents is a set R. r(t) has the form le, l1,..., ln, where le is the state of the environment, li for i = 1,..., n is the local state of each agent. A point, or global state, is an element (r, t) R N. An interpreted system I = (R, π), where R is a system and π : (R N) At {true, false} Agent i cannot distinguish two points if it is in the same state in both: (r, t) i (r, t ) i r(t)i = r (t )i.
79 (Some!) Relevant Papers Histories or Runs? EP. Comments on History Based Structures. JAL, Bringing in common knowledge creates a lot of complexity. Halpern, van der Meyden and Vardi. Reasoning about Knowledge and Common Knowledge in a Distributed Environment J. van Benthem and EP. The Tree of Knowledge: Towards a Common Perspective Extending the language stit operators J. Horty. Agency and Deontic Logic EP, R. Parikh and E. Cogan. The Logic of Knowledge Based Obligation. KRA 2006.
80 Knowledge, Time and Communication The occurrence of an event, such as communication, changes the agents' states of knowledge. How should we model this change of information? There have been a number of recent papers concerned with adding a notion of update to otherwise static Kripke structures (Dynamic Epistemic Semantics).
81 Knowledge, Time and Communication The occurrence of an event, such as communication, changes the agents' states of knowledge. How should we model this change of information? There have been a number of recent papers concerned with adding a notion of update to otherwise static Kripke structures (Dynamic Epistemic Semantics). Assume: Agents are assumed to communicate (only) according to a communication graph The starting point is not Kripke structures, but rather subset models (Topologic models). EP and R. Parikh. The Logic of Communication Graphs
82 Background: Topologic Topologic is a bimodal logic with a knowledge modality (K) and an eort modality ( ) rst studied by [MP]
83 Background: Topologic Topologic is a bimodal logic with a knowledge modality (K) and an eort modality ( ) rst studied by [MP] Subset Frame: W, W is a set of states 2 W is a set of subsets of W, i.e., a set of observations Neighborhood Situation: Given a subset frame W,, (w, U) is called a neighborhood situation, where w U and U. Model: W,, V, where V : Φ0 2 W is a valuation function.
84 Topologic: Truth Truth: Formulas are interpreted at neighborhood situations. w, U = p i w V (p) w, U = φ i w, U = φ w, U = φ ψ i w, U = φ and w, U = ψ w, U = Kφ i for all v U, v, U = φ w, U = φ i there is a V such that w V U and w, V = φ
85 From Topologic to Communication Graphs Topologic: a bimodal logic with a knowledge modality (K) and an eort modality ( ). φ Kφ if φ is true then after some `eort' φ is known
86 From Topologic to Communication Graphs Topologic: a bimodal logic with a knowledge modality (K) and an eort modality ( ). φ Kφ if φ is true then after some `eort' φ is known Extend to a multi-agent epistemic logic where eort = communication
87 From Topologic to Communication Graphs Topologic: a bimodal logic with a knowledge modality (K) and an eort modality ( ). φ Kφ if φ is true then after some `eort' φ is known Extend to a multi-agent epistemic logic where eort = communication Kiφ Kjφ
88 From Topologic to Communication Graphs Topologic: a bimodal logic with a knowledge modality (K) and an eort modality ( ). φ Kφ if φ is true then after some `eort' φ is known Extend to a multi-agent epistemic logic where eort = communication Kiφ Kjφ if i knows φ then after some communication j knows φ
89 An Example If Bush wants some information from a particular CIA operative, say Bob, he must get this information through Goss. Suppose that φ is the exact whereabouts of Bin Laden and KBobφ KBushφ
90 An Example If Bush wants some information from a particular CIA operative, say Bob, he must get this information through Goss. Suppose that φ is the exact whereabouts of Bin Laden and KBobφ KBushφ Bush can nd out the exact whereabouts of Bin Laden
91 An Example If Bush wants some information from a particular CIA operative, say Bob, he must get this information through Goss. Suppose that φ is the exact whereabouts of Bin Laden and KBobφ KBushφ Bush can nd out the exact whereabouts of Bin Laden KBushφ
92 An Example If Bush wants some information from a particular CIA operative, say Bob, he must get this information through Goss. Suppose that φ is the exact whereabouts of Bin Laden and KBobφ KBushφ Bush can nd out the exact whereabouts of Bin Laden KBushφ but of course, we cannot nd out such information
93 An Example If Bush wants some information from a particular CIA operative, say Bob, he must get this information through Goss. Suppose that φ is the exact whereabouts of Bin Laden and KBobφ KBushφ Bush can nd out the exact whereabouts of Bin Laden KBushφ but of course, we cannot nd out such information i RoomD.028 Kiφ
94 A pre-requisite for Bush learning φ, Goss will also have come to know φ.
95 A pre-requisite for Bush learning φ, Goss will also have come to know φ. KBushφ (KBushφ KGossφ)
96 A pre-requisite for Bush learning φ, Goss will also have come to know φ. KBushφ (KBushφ KGossφ) So, there is a connection between the fact that the CIA restricts the ow of information and the truth of certain formulas in our language, such as Kiφ and KBushφ (KBushφ KGossφ) i RoomD.028
97 Communication Graphs Let A be a set of agents. A communication graph is a directed graph GA = (A, E) such that for all i A, (i, i) E (i, j) E means that i can directly receive information from agent j, without j knowing this fact. Assume that: 1. all the agents share a common language 2. the agents make available all possible pieces of information
98 The Logic of Communication Graphs: Introduction Suppose that G = (A, EG) is a xed communication graph. Assume that agents are initially given some private information and communicate according to the communication graph G.
99 The Logic of Communication Graphs: Introduction Suppose that G = (A, EG) is a xed communication graph. Assume that agents are initially given some private information and communicate according to the communication graph G. More formally, initially, each agent i knows or is informed (say by nature) of the truth values of a certain subset Ati of propositional variables, and the Ati as well as this fact are common knowledge. Thus the other agents know that i knows the truth values of elements of Ati, but, typically, not what these values actually are.
100 The Logic of Communication Graphs: Introduction Let W be the set of boolean valuations on At. An element v W is called a state. Call any vector of partial boolean valuations v = (v1,..., vn) consistent if for each p dom(vi) dom(vj), vi(p) = vj(p) for all i, j = 1,..., n.
101 The Logic of Communication Graphs: Introduction Let W be the set of boolean valuations on At. An element v W is called a state. Call any vector of partial boolean valuations v = (v1,..., vn) consistent if for each p dom(vi) dom(vj), vi(p) = vj(p) for all i, j = 1,..., n. All this information (including the structure of the communication graph) is common knowledge and only the precise values of the vi are private.
102 A Logic for Communication Graphs: Semantics Fix a communication graph G = (A, E) and a set of states W.
103 A Logic for Communication Graphs: Semantics Fix a communication graph G = (A, E) and a set of states W. A communication event is a tuple (i, j, φ) intended to mean that i learns information φ from j, where φ is a ground (propositional) formula there is an edge between i and j in G Let ΣG be the set of all such events (based on communication graph G).
104 A Logic for Communication Graphs: Semantics Fix a communication graph G = (A, E) and a set of states W. A communication event is a tuple (i, j, φ) intended to mean that i learns information φ from j, where φ is a ground (propositional) formula there is an edge between i and j in G Let ΣG be the set of all such events (based on communication graph G). A history is a nite sequence of events, λi(h) be i's local history. Assume that λi satises the perfect recall assumption.
105 A Logic for Communication Graphs: Semantics A communication graph frame is a pair G, At where G is a communication graph, and At = (At1,..., Atn) is an assignment of sub-languages to the agents. A communication graph model based on a frame G, At is a triple G, At, v, where v is a consistent vector of partial boolean valuations for At.
106 Uncertainty of the Agents 1. Agents are uncertain about the actual state of the world. 2. Agents are uncertain about the exact sequence of communications that has taken place
107 Uncertainty of the Agents 1. Agents are uncertain about the actual state of the world. 2. Agents are uncertain about the exact sequence of communications that has taken place Let w be a state and H a nite history. Dene the relation i as follows: (w, H) i (v, H ) i w At i = v At i and λi(h) = λi(h ).
108 Two issues are important: Denition of Truth I
109 Denition of Truth I Two issues are important: 1. Not all histories are "legal":
110 Denition of Truth I Two issues are important: 1. Not all histories are "legal": For an event (i, j, φ) to take place after a history H, it must be the case that after H, j knows φ.
111 Denition of Truth I Two issues are important: 1. Not all histories are "legal": For an event (i, j, φ) to take place after a history H, it must be the case that after H, j knows φ. 2. The information which an agent learns by reading" a formula φ may be more than just the fact that φ is true.
112 Denition of Truth I Two issues are important: 1. Not all histories are "legal": For an event (i, j, φ) to take place after a history H, it must be the case that after H, j knows φ. 2. The information which an agent learns by reading" a formula φ may be more than just the fact that φ is true. Suppose that i learns p q from j, but j is not connected, directly or indirectly, to anyone who might know the initial truth value of q. In this case i has learned more than p q, i has learned p as well.
113 Denition of Truth II Introduce a propositional symbol L which is satised only by legal pairs (w, H), denoted L(w, H).
114 Denition of Truth II Introduce a propositional symbol L which is satised only by legal pairs (w, H), denoted L(w, H). w, ɛ =M L w, H; (i, j, φ) =M L i w, H =M L and w, H =M Kjφ w, H =M p i w(p) = 1, where p At w, H =M φ i w, H =M φ w, H =M φ ψ i w, H =M φ and w, H =M ψ w, H =M φ i H, H H, L(w, H ), and w, H =M φ w, H =M Kiφ i (v, H ) if (w, H) i (v, H ), and L(v, H ), then v, H =M φ
115 Denition of Truth II Introduce a propositional symbol L which is satised only by legal pairs (w, H), denoted L(w, H). w, ɛ =M L w, H; (i, j, φ) =M L i w, H =M L and w, H =M Kjφ w, H =M p i w(p) = 1, where p At w, H =M φ i w, H =M φ w, H =M φ ψ i w, H =M φ and w, H =M ψ w, H =M φ i H, H H, L(w, H ), and w, H =M φ w, H =M Kiφ i (v, H ) if (w, H) i (v, H ), and L(v, H ), then v, H =M φ
116 Results I The agents learn at least as much as what is implied by the sequence of communications.
117 Results I The agents learn at least as much as what is implied by the sequence of communications. Dene the sets Xi(w, H) as follows: 1. Xi(w, ɛ) = {v v At i = w At i } 2. Xi(w, H; (i, j, φ)) = Xi(w, H) ˆφ 3. i m then Xi(w, H; (m, j, φ)) = Xi(w, H)
118 Results I The agents learn at least as much as what is implied by the sequence of communications. Dene the sets Xi(w, H) as follows: 1. Xi(w, ɛ) = {v v At i = w At i } 2. Xi(w, H; (i, j, φ)) = Xi(w, H) ˆφ 3. i m then Xi(w, H; (m, j, φ)) = Xi(w, H) Theorem Let M = G, At, v be any communication graph model and φ a ground formula. If Xi(w, H) φ, then (w, H) =M Ki(φ).
119 Results I The agents learn at least as much as what is implied by the sequence of communications. Dene the sets Xi(w, H) as follows: 1. Xi(w, ɛ) = {v v At i = w At i } 2. Xi(w, H; (i, j, φ)) = Xi(w, H) ˆφ 3. i m then Xi(w, H; (m, j, φ)) = Xi(w, H) Theorem Let M = G, At, v be any communication graph model and φ a ground formula. If Xi(w, H) φ, then (w, H) =M Ki(φ). The converse is not true
120 Results II Theorem The satisability problem is decidable.
121 Results II Theorem The satisability problem is decidable. The structure of the communication graph is reected in the set of valid formulas Theorem Let G = (A, E) be a communication graph. Then (i, j) E if and only if, for all l A such that l i and l j and all ground formulas φ, the scheme Kjφ Klφ (Kiφ Klφ) is valid in all communication graph models based on G.
122 Next Week: (Last Class) Topics in Voting Theory
Logics of Rational Agency Lecture 3
Logics of Rational Agency Lecture 3 Eric Pacuit Tilburg Institute for Logic and Philosophy of Science Tilburg Univeristy ai.stanford.edu/~epacuit July 29, 2009 Eric Pacuit: LORI, Lecture 3 1 Plan for the
More informationLogic and Artificial Intelligence Lecture 12
Logic and Artificial Intelligence Lecture 12 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationKnowledge Based Obligations RUC-ILLC Workshop on Deontic Logic
Knowledge Based Obligations RUC-ILLC Workshop on Deontic Logic Eric Pacuit Stanford University November 9, 2007 Eric Pacuit: Knowledge Based Obligations, RUC-ILLC Workshop on Deontic Logic 1 The Kitty
More informationLogic and Artificial Intelligence Lecture 6
Logic and Artificial Intelligence Lecture 6 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationTopics in Social Software: Information in Strategic Situations (Draft: Chapter 4) Eric Pacuit Comments welcome:
Topics in Social Software: Information in Strategic Situations (Draft: Chapter 4) Eric Pacuit Comments welcome: epacuit@cs.gc.cuny.edu February 12, 2006 Chapter 1 Communication Graphs The previous chapter
More informationIntroduction to Epistemic Reasoning in Interaction
Introduction to Epistemic Reasoning in Interaction Eric Pacuit Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/~epacuit December 9, 2009 Eric Pacuit 1 We are interested in
More informationTowards A Multi-Agent Subset Space Logic
Towards A Multi-Agent Subset Space Logic A Constructive Approach with Applications Department of Computer Science The Graduate Center of the City University of New York cbaskent@gc.cuny.edu www.canbaskent.net
More informationLevels of Knowledge and Belief Computational Social Choice Seminar
Levels of Knowledge and Belief Computational Social Choice Seminar Eric Pacuit Tilburg University ai.stanford.edu/~epacuit November 13, 2009 Eric Pacuit 1 Introduction and Motivation Informal Definition:
More informationIntroduction to Formal Epistemology
Introduction to Formal Epistemology May 12-17, ESSLLI 2007 Eric Pacuit Rohit Parikh May 3, 2009 1 Introduction and Motivation 2 Welcome to Introduction to Formal Epistemology. The course will consist of
More informationNeighborhood Semantics for Modal Logic Lecture 3
Neighborhood Semantics for Modal Logic Lecture 3 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 15, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 3 1 Plan for the
More informationFormal Epistemology: Lecture Notes. Horacio Arló-Costa Carnegie Mellon University
Formal Epistemology: Lecture Notes Horacio Arló-Costa Carnegie Mellon University hcosta@andrew.cmu.edu Logical preliminaries Let L 0 be a language containing a complete set of Boolean connectives, including
More informationLogics of Rational Agency Lecture 2
Logics of Rational Agency Lecture 2 Tilburg Institute for Logic and Philosophy of Science Tilburg Univeristy ai.stanford.edu/~epacuit June 23, 2010 Part 2: Ingredients of a Logical Analysis of Rational
More informationNeighborhood Semantics for Modal Logic An Introduction May 12-17, ESSLLI 2007
An Introduction May 12-17, ESSLLI 2007 Eric Pacuit staff.science.uva.nl/ epacuit epacuit@staff.science.uva.nl July 3, 2007 Welcome to! The course will consist of five 90 minute lectures roughly organized
More informationIntroduction to Neighborhood Semantics for. Modal Logic. ILLC, University of Amsterdam. January 7, 2007
Introduction to Neighborhood Semantics for Modal Logic Eric Pacuit January 7, 2007 ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl Introduction 1. Motivation 2. Neighborhood
More informationUnderstanding the Brandenburger-Keisler Belief Paradox
Understanding the Brandenburger-Keisler Belief Paradox Eric Pacuit Institute of Logic, Language and Information University of Amsterdam epacuit@staff.science.uva.nl staff.science.uva.nl/ epacuit March
More informationEpistemic Game Theory
Epistemic Game Theory Lecture 3 ESSLLI 12, Opole Eric Pacuit Olivier Roy TiLPS, Tilburg University MCMP, LMU Munich ai.stanford.edu/~epacuit http://olivier.amonbofis.net August 8, 2012 Eric Pacuit and
More informationNeighborhood Semantics for Modal Logic Lecture 5
Neighborhood Semantics for Modal Logic Lecture 5 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 17, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 5 1 Plan for the
More informationLecture 8: Introduction to Game Logic
Lecture 8: Introduction to Game Logic Eric Pacuit ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl Lecture Date: April 6, 2006 Caput Logic, Language and Information: Social
More informationAn Inquisitive Formalization of Interrogative Inquiry
An Inquisitive Formalization of Interrogative Inquiry Yacin Hamami 1 Introduction and motivation The notion of interrogative inquiry refers to the process of knowledge-seeking by questioning [5, 6]. As
More informationReasoning About Common Knowledge with Infinitely Many Agents
Reasoning About Common Knowledge with Infinitely Many Agents Joseph Y. Halpern Computer Science Department Cornell University halpern@cs.cornell.edu Richard A. Shore Mathematics Department Cornell University
More informationNotes on Modal Logic
Notes on Modal Logic Notes for Philosophy 151 Eric Pacuit January 25, 2009 These short notes are intended to supplement the lectures and text ntroduce some of the basic concepts of Modal Logic. The primary
More informationFirst-Order Modal Logic and the Barcan Formula
First-Order Modal Logic and the Barcan Formula Eric Pacuit Stanford University ai.stanford.edu/ epacuit March 10, 2009 Eric Pacuit: The Barcan Formula, 1 Plan 1. Background Neighborhood Semantics for Propositional
More informationFiltrations and Basic Proof Theory Notes for Lecture 5
Filtrations and Basic Proof Theory Notes for Lecture 5 Eric Pacuit March 13, 2012 1 Filtration Let M = W, R, V be a Kripke model. Suppose that Σ is a set of formulas closed under subformulas. We write
More informationLogic and Artificial Intelligence Lecture 13
Logic and Artificial Intelligence Lecture 13 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationChanging Types. Dominik Klein Eric Pacuit. April 24, 2011
Changing Types Dominik Klein Eric Pacuit April 24, 2011 The central thesis of the epistemic program in game theory (Brandenburger, 2007) is that the basic mathematical models of a game situation should
More informationLogic and Artificial Intelligence Lecture 20
Logic and Artificial Intelligence Lecture 20 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationMajority Logic. Introduction
Majority Logic Eric Pacuit and Samer Salame Department of Computer Science Graduate Center, City University of New York 365 5th Avenue, New York 10016 epacuit@cs.gc.cuny.edu, ssalame@gc.cuny.edu Abstract
More informationModal Logic. Introductory Lecture. Eric Pacuit. University of Maryland, College Park ai.stanford.edu/ epacuit. January 31, 2012.
Modal Logic Introductory Lecture Eric Pacuit University of Maryland, College Park ai.stanford.edu/ epacuit January 31, 2012 Modal Logic 1/45 Setting the Stage Modern Modal Logic began with C.I. Lewis dissatisfaction
More informationThe Muddy Children:A logic for public announcement
The Muddy Children: Jesse Technical University of Eindhoven February 10, 2007 The Muddy Children: Outline 1 2 3 4 The Muddy Children: Quincy Prescott Baba: At least one of you is muddy. Quincy: I don t
More informationMULTI-AGENT ONLY-KNOWING
MULTI-AGENT ONLY-KNOWING Gerhard Lakemeyer Computer Science, RWTH Aachen University Germany AI, Logic, and Epistemic Planning, Copenhagen October 3, 2013 Joint work with Vaishak Belle Contents of this
More informationDynamic Logics of Knowledge and Access
Dynamic Logics of Knowledge and Access Tomohiro Hoshi (thoshi@stanford.edu) Department of Philosophy Stanford University Eric Pacuit (e.j.pacuit@uvt.nl) Tilburg Center for Logic and Philosophy of Science
More informationDoxastic Logic. Michael Caie
Doxastic Logic Michael Caie There are at least three natural ways of interpreting the object of study of doxastic logic. On one construal, doxastic logic studies certain general features of the doxastic
More informationLogic and Social Choice Theory. A Survey. ILLC, University of Amsterdam. November 16, staff.science.uva.
Logic and Social Choice Theory A Survey Eric Pacuit ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl November 16, 2007 Setting the Stage: Logic and Games Game Logics Logics
More informationAhmad KARIMI A NON-SELF-REFERENTIAL PARADOX IN EPISTEMIC GAME THEORY
REPORTS ON MATHEMATICAL LOGIC 52 (2017), 45 56 doi:10.4467/20842589rm.17.002.7140 Ahmad KARIMI A NON-SELF-REFERENTIAL PARADOX IN EPISTEMIC GAME THEORY A b s t r a c t. The beliefs of other people about
More informationWojciech Penczek. Polish Academy of Sciences, Warsaw, Poland. and. Institute of Informatics, Siedlce, Poland.
A local approach to modal logic for multi-agent systems? Wojciech Penczek 1 Institute of Computer Science Polish Academy of Sciences, Warsaw, Poland and 2 Akademia Podlaska Institute of Informatics, Siedlce,
More informationCS206 Lecture 21. Modal Logic. Plan for Lecture 21. Possible World Semantics
CS206 Lecture 21 Modal Logic G. Sivakumar Computer Science Department IIT Bombay siva@iitb.ac.in http://www.cse.iitb.ac.in/ siva Page 1 of 17 Thu, Mar 13, 2003 Plan for Lecture 21 Modal Logic Possible
More informationTowards Symbolic Factual Change in Dynamic Epistemic Logic
Towards Symbolic Factual Change in Dynamic Epistemic Logic Malvin Gattinger ILLC, Amsterdam July 18th 2017 ESSLLI Student Session Toulouse Are there more red or more blue points? Are there more red or
More informationAn Extended Interpreted System Model for Epistemic Logics
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (2008) An Extended Interpreted System Model for Epistemic Logics Kaile Su 1,2 and Abdul Sattar 2 1 Key laboratory of High Confidence
More information09 Modal Logic II. CS 3234: Logic and Formal Systems. October 14, Martin Henz and Aquinas Hobor
Martin Henz and Aquinas Hobor October 14, 2010 Generated on Thursday 14 th October, 2010, 11:40 1 Review of Modal Logic 2 3 4 Motivation Syntax and Semantics Valid Formulas wrt Modalities Correspondence
More informationA Note on Logics of Ability
A Note on Logics of Ability Eric Pacuit and Yoav Shoham May 8, 2008 This short note will discuss logical frameworks for reasoning about an agent s ability. We will sketch details of logics of can, do,
More informationSOME SEMANTICS FOR A LOGICAL LANGUAGE FOR THE GAME OF DOMINOES
SOME SEMANTICS FOR A LOGICAL LANGUAGE FOR THE GAME OF DOMINOES Fernando R. Velázquez-Quesada Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas Universidad Nacional Autónoma de México
More informationLogic and Artificial Intelligence Lecture 7
Logic and Artificial Intelligence Lecture 7 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationNotes on Modal Logic
Notes on Modal Logic Notes for PHIL370 Eric Pacuit October 22, 2012 These short notes are intended to introduce some of the basic concepts of Modal Logic. The primary goal is to provide students in Philosophy
More informationA Preference Semantics. for Ground Nonmonotonic Modal Logics. logics, a family of nonmonotonic modal logics obtained by means of a
A Preference Semantics for Ground Nonmonotonic Modal Logics Daniele Nardi and Riccardo Rosati Dipartimento di Informatica e Sistemistica, Universita di Roma \La Sapienza", Via Salaria 113, I-00198 Roma,
More informationLogic and Artificial Intelligence Lecture 22
Logic and Artificial Intelligence Lecture 22 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationPrinciples of Knowledge Representation and Reasoning
Principles of Knowledge Representation and Reasoning Modal Logics Bernhard Nebel, Malte Helmert and Stefan Wölfl Albert-Ludwigs-Universität Freiburg May 2 & 6, 2008 Nebel, Helmert, Wölfl (Uni Freiburg)
More informationTR : Public and Private Communication Are Different: Results on Relative Expressivity
City University of New York CUNY) CUNY Academic Works Computer Science Technical Reports The Graduate Center 2008 TR-2008001: Public and Private Communication Are Different: Results on Relative Expressivity
More informationTo every formula scheme there corresponds a property of R. This relationship helps one to understand the logic being studied.
Modal Logic (2) There appeared to be a correspondence between the validity of Φ Φ and the property that the accessibility relation R is reflexive. The connection between them is that both relied on the
More informationA Modal Logic of Epistemic Games
Submitted to Games. Pages 1-49. OPEN ACCESS games ISSN 2073-4336 www.mdpi.com/journal/games Article A Modal Logic of Epistemic Games Emiliano Lorini 1, François Schwarzentruber 1 1 Institut de Recherche
More informationRough Sets for Uncertainty Reasoning
Rough Sets for Uncertainty Reasoning S.K.M. Wong 1 and C.J. Butz 2 1 Department of Computer Science, University of Regina, Regina, Canada, S4S 0A2, wong@cs.uregina.ca 2 School of Information Technology
More informationNeighborhood Semantics for Modal Logic Lecture 4
Neighborhood Semantics for Modal Logic Lecture 4 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 16, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 4 1 Plan for the
More informationAdding Modal Operators to the Action Language A
Adding Modal Operators to the Action Language A Aaron Hunter Simon Fraser University Burnaby, B.C. Canada V5A 1S6 amhunter@cs.sfu.ca Abstract The action language A is a simple high-level language for describing
More informationValentin Goranko Stockholm University. ESSLLI 2018 August 6-10, of 29
ESSLLI 2018 course Logics for Epistemic and Strategic Reasoning in Multi-Agent Systems Lecture 5: Logics for temporal strategic reasoning with incomplete and imperfect information Valentin Goranko Stockholm
More informationA Qualitative Theory of Dynamic Interactive Belief Revision
A Qualitative Theory of Dynamic Interactive Belief Revision Alexandru Baltag 1 Sonja Smets 2,3 1 Computing Laboratory Oxford University Oxford OX1 3QD, United Kingdom 2 Center for Logic and Philosophy
More informationAmbiguous Language and Differences in Beliefs
Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning Ambiguous Language and Differences in Beliefs Joseph Y. Halpern Computer Science Dept. Cornell
More informationLogics of Informational Attitudes and Informative Actions
Logics of Informational ttitudes and Informative ctions Eric Pacuit September 28, 2010 1 Introduction There is an extensive literature focused on using logical methods to reason about communities of agents
More informationJustified Belief and the Topology of Evidence
Justified Belief and the Topology of Evidence Alexandru Baltag 1, Nick Bezhanishvili 1, Aybüke Özgün 1,2, Sonja Smets 1 1 University of Amsterdam, The Netherlands 2 LORIA, CNRS - Université de Lorraine,
More informationWhat is DEL good for? Alexandru Baltag. Oxford University
Copenhagen 2010 ESSLLI 1 What is DEL good for? Alexandru Baltag Oxford University Copenhagen 2010 ESSLLI 2 DEL is a Method, Not a Logic! I take Dynamic Epistemic Logic () to refer to a general type of
More informationUsing Counterfactuals in Knowledge-Based Programming
Using Counterfactuals in Knowledge-Based Programming Joseph Y. Halpern Cornell University Dept. of Computer Science Ithaca, NY 14853 halpern@cs.cornell.edu http://www.cs.cornell.edu/home/halpern Yoram
More informationSystems of modal logic
499 Modal and Temporal Logic Systems of modal logic Marek Sergot Department of Computing Imperial College, London utumn 2008 Further reading: B.F. Chellas, Modal logic: an introduction. Cambridge University
More informationDescription Logics. Foundations of Propositional Logic. franconi. Enrico Franconi
(1/27) Description Logics Foundations of Propositional Logic Enrico Franconi franconi@cs.man.ac.uk http://www.cs.man.ac.uk/ franconi Department of Computer Science, University of Manchester (2/27) Knowledge
More informationProduct Update and Looking Backward
Product Update and Looking Backward Audrey Yap May 21, 2006 Abstract The motivation behind this paper is to look at temporal information in models of BMS product update. That is, it may be useful to look
More informationPriority Structure in Deontic Logic
Tsinghua University, Beijing, China EASLLI, 29 August 2012 Joint project with van Benthem and Grossi Johan van Benthem, Davide Grossi, and : Deontics = Betterness + Priority, in Guido Governatori and Giovanni
More informationConservative Belief and Rationality
Conservative Belief and Rationality Joseph Y. Halpern and Rafael Pass Department of Computer Science Cornell University Ithaca, NY, 14853, U.S.A. e-mail: halpern@cs.cornell.edu, rafael@cs.cornell.edu January
More informationEvidence-Based Belief Revision for Non-Omniscient Agents
Evidence-Based Belief Revision for Non-Omniscient Agents MSc Thesis (Afstudeerscriptie) written by Kristina Gogoladze (born May 11th, 1986 in Tbilisi, Georgia) under the supervision of Dr Alexandru Baltag,
More informationCapturing Lewis s Elusive Knowledge
Zhaoqing Xu Department of Philosophy, Peking University zhaoqingxu@gmail.com September 22, 2011 1 Introduction 2 Philosophical Background Dretske s Relevant Alternatives Theory Lewis s Elusive Knowledge
More information1) Totality of agents is (partially) ordered, with the intended meaning that t 1 v t 2 intuitively means that \Perception of the agent A t2 is sharper
On reaching consensus by groups of intelligent agents Helena Rasiowa and Wiktor Marek y Abstract We study the problem of reaching the consensus by a group of fully communicating, intelligent agents. Firstly,
More informationCharacterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic Joseph Y. Halpern Computer Science Department Cornell University, U.S.A. e-mail: halpern@cs.cornell.edu Leandro Chaves Rêgo
More informationAgency and Interaction in Formal Epistemology
Agency and Interaction in Formal Epistemology Vincent F. Hendricks Department of Philosophy / MEF University of Copenhagen Denmark Department of Philosophy Columbia University New York / USA CPH / August
More informationTopics in Subset Space Logic
Topics in Subset Space Logic MSc Thesis (Afstudeerscriptie) written by Can BAŞKENT (born July 18 th, 1981 in Istanbul, Turkey) under the supervision of Eric Pacuit, and submitted to the Board of Examiners
More informationSome Non-Classical Approaches to the Brandenburger-Keisler Paradox
Some Non-Classical Approaches to the Brandenburger-Keisler Paradox Can BAŞKENT The Graduate Center of the City University of New York cbaskent@gc.cuny.edu www.canbaskent.net KGB Seminar The Graduate Center
More informationModal Logics. Most applications of modal logic require a refined version of basic modal logic.
Modal Logics Most applications of modal logic require a refined version of basic modal logic. Definition. A set L of formulas of basic modal logic is called a (normal) modal logic if the following closure
More informationExtending Probabilistic Dynamic Epistemic Logic
Extending Probabilistic Dynamic Epistemic Logic Joshua Sack joshua.sack@gmail.com Abstract This paper aims to extend in two directions the probabilistic dynamic epistemic logic provided in Kooi s paper
More informationEQUIVALENCE OF THE INFORMATION STRUCTURE WITH UNAWARENESS TO THE LOGIC OF AWARENESS. 1. Introduction
EQUIVALENCE OF THE INFORMATION STRUCTURE WITH UNAWARENESS TO THE LOGIC OF AWARENESS SANDER HEINSALU Abstract. Here it is shown that the unawareness structure in Li (29) is equivalent to a single-agent
More informationModels of Strategic Reasoning Lecture 4
Models of Strategic Reasoning Lecture 4 Eric Pacuit University of Maryland, College Park ai.stanford.edu/~epacuit August 9, 2012 Eric Pacuit: Models of Strategic Reasoning 1/55 Game Plan Lecture 4: Lecture
More informationReasoning with Protocols under Imperfect Information
Reasoning with Protocols under Imperfect Information Eric Pacuit Sunil Simon September 27, 2010 Abstract Various combinations of temporal logics, epistemic and doxastic logics, and action logics have been
More informationModal and temporal logic
Modal and temporal logic N. Bezhanishvili I. Hodkinson C. Kupke Imperial College London 1 / 83 Overview Part II 1 Soundness and completeness. Canonical models. 3 lectures. 2 Finite model property. Filtrations.
More informationOn the Consistency among Prior, Posteriors, and Information Sets
On the Consistency among Prior, Posteriors, and Information Sets Satoshi Fukuda September 23, 2018 Abstract This paper studies implications of the consistency conditions among prior, posteriors, and information
More informationReasoning Under Uncertainty: Introduction to Probability
Reasoning Under Uncertainty: Introduction to Probability CPSC 322 Lecture 23 March 12, 2007 Textbook 9 Reasoning Under Uncertainty: Introduction to Probability CPSC 322 Lecture 23, Slide 1 Lecture Overview
More informationFirst-order Modal Languages for the Specification of Multi-agent Systems
First-order Modal Languages for the Specification of Multi-agent Systems Joint work with Alessio Lomuscio Department of Computing Imperial College London November 24, 2011 Background Propositional modal
More informationAn Epistemic Characterization of Zero Knowledge
An Epistemic Characterization of Zero Knowledge Joseph Y. Halpern, Rafael Pass, and Vasumathi Raman Computer Science Department Cornell University Ithaca, NY, 14853, U.S.A. e-mail: {halpern, rafael, vraman}@cs.cornell.edu
More informationPopulational Announcement Logic (PPAL)
Populational Announcement Logic (PPAL) Vitor Machado 1 and Mario Benevides 1,2 1 Institute of Mathematics Federal University of Rio de Janeiro 2 System Engineering and Computer Science Program (PESC/COPPE)
More informationMulti-Agent Action Modeling through Action Sequences and Perspective Fluents
Multi-Agent Action Modeling through Action Sequences and Perspective Fluents Chitta Baral, Gregory Gelfond, Enrico Pontelli and Tran Cao Son Abstract Actions in a multi-agent setting have complex characteristics.
More informationCommon Knowledge in Update Logics
Common Knowledge in Update Logics Johan van Benthem, Jan van Eijck and Barteld Kooi Abstract Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups
More information3. Only sequences that were formed by using finitely many applications of rules 1 and 2, are propositional formulas.
1 Chapter 1 Propositional Logic Mathematical logic studies correct thinking, correct deductions of statements from other statements. Let us make it more precise. A fundamental property of a statement is
More informationMathematical Logic. Introduction to Reasoning and Automated Reasoning. Hilbert-style Propositional Reasoning. Chiara Ghidini. FBK-IRST, Trento, Italy
Introduction to Reasoning and Automated Reasoning. Hilbert-style Propositional Reasoning. FBK-IRST, Trento, Italy Deciding logical consequence Problem Is there an algorithm to determine whether a formula
More informationModal Logic XX. Yanjing Wang
Modal Logic XX Yanjing Wang Department of Philosophy, Peking University May 6th, 2016 Advanced Modal Logic (2016 Spring) 1 Completeness A traditional view of Logic A logic Λ is a collection of formulas
More informationStabilizing Boolean Games by Sharing Information
John Grant Sarit Kraus Michael Wooldridge Inon Zuckerman Stabilizing Boolean Games by Sharing Information Abstract. We address the issue of manipulating games through communication. In the specific setting
More informationAction, Failure and Free Will Choice in Epistemic stit Logic
Action, Failure and Free Will Choice in Epistemic stit Logic Jan Broersen Department of Information and Computing Sciences Utrecht University, The Netherlands Symposium "What is really possible?" Utrecht,
More informationToday. Next week. Today (cont d) Motivation - Why Modal Logic? Introduction. Ariel Jarovsky and Eyal Altshuler 8/11/07, 15/11/07
Today Introduction Motivation- Why Modal logic? Modal logic- Syntax riel Jarovsky and Eyal ltshuler 8/11/07, 15/11/07 Modal logic- Semantics (Possible Worlds Semantics): Theory Examples Today (cont d)
More informationLogics for Belief as Maximally Plausible Possibility
Logics for Belief as Maximally Plausible Possibility Giacomo Bonanno Department of Economics, University of California, Davis, USA gfbonanno@ucdavis.edu Abstract We consider a basic logic with two primitive
More informationOn 3-valued paraconsistent Logic Programming
Marcelo E. Coniglio Kleidson E. Oliveira Institute of Philosophy and Human Sciences and Centre For Logic, Epistemology and the History of Science, UNICAMP, Brazil Support: FAPESP Syntax Meets Semantics
More informationLogic and Philosophical Logic. 1 Inferentialism. Inferentialism and Meaning Underdetermination
Logic and Philosophical Logic Inferentialism and Meaning Underdetermination AC Paseau alexanderpaseau@philosophyoxacuk 28 January 2019 In the rst half of today's class, we looked at Tarski's account of
More informationAbstract In this paper, we introduce the logic of a control action S4F and the logic of a continuous control action S4C on the state space of a dynami
Modal Logics and Topological Semantics for Hybrid Systems Mathematical Sciences Institute Technical Report 97-05 S. N. Artemov, J. M. Davoren y and A. Nerode z Mathematical Sciences Institute Cornell University
More informationModel Transformers for Dynamical Systems of Dynamic Epistemic Logic Rendsvig, Rasmus Kræmmer
university of copenhagen Model Transformers for Dynamical Systems of Dynamic Epistemic Logic Rendsvig, Rasmus Kræmmer Published in: Logic, Rationality, and Interaction DOI: 10.1007/978-3-662-48561-3_26
More informationIn a second part, we concentrate on interval models similar to the traditional ITL models presented in [, 5]. By making various assumptions about time
Complete Proof Systems for First Order Interval Temporal Logic Bruno Dutertre Department of Computer Science Royal Holloway, University of London Egham, Surrey TW0 0EX, United Kingdom Abstract Dierent
More informationOn the unusual effectiveness of proof theory in epistemology
WORKSHOP ON RECENT TRENDS IN PROOF THEORY, Bern, July 9-11, 2008 On the unusual effectiveness of proof theory in epistemology Sergei Artemov The City University of New York Bern, July 11, 2008 This is
More informationModal Logic. UIT2206: The Importance of Being Formal. Martin Henz. March 19, 2014
Modal Logic UIT2206: The Importance of Being Formal Martin Henz March 19, 2014 1 Motivation The source of meaning of formulas in the previous chapters were models. Once a particular model is chosen, say
More informationSimulation and information: quantifying over epistemic events
Simulation and information: quantifying over epistemic events Hans van Ditmarsch 12 and Tim French 3 1 Computer Science, University of Otago, New Zealand, hans@cs.otago.ac.nz 2 CNRS-IRIT, Université de
More information