Logics of Rational Agency Lecture 3
|
|
- Joella Lynch
- 5 years ago
- Views:
Transcription
1 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
2 Plan for the Course Introduction, Motivation and Background Lecture 2: Lecture 3: Lecture 4: Lecture 5: Basic Ingredients for a Logic of Rational Agency Logics of Rational Agency and Social Interaction, Part I Logics of Rational Agency and Social Interaction, Part II Conclusions and Eric Pacuit: LORI, Lecture 3 2
3 Plan for the Course Logics of Rational Agency Eric Pacuit: LORI, Lecture 3 3
4 Basic Ingredients informational attitudes (eg., knowledge, belief, certainty) group notions (eg., common knowledge and coalitional ability) time, actions and ability motivational attitudes (eg., preferences) normative attitudes (eg., obligations) Eric Pacuit: LORI, Lecture 3 4
5 Basic Ingredients informational attitudes (eg., knowledge, belief, certainty) group notions (eg., common knowledge and coalitional ability) time, actions and ability motivational attitudes (eg., preferences) normative attitudes (eg., obligations) Eric Pacuit: LORI, Lecture 3 4
6 Temporal Logics t 0 t 1 t 2 t 3 Eric Pacuit: LORI, Lecture 3 5
7 Computational vs. Behavioral Structures q 0 x = 1 q 1 x = 2 Eric Pacuit: LORI, Lecture 3 6
8 Computational vs. Behavioral Structures q 0 x = 1 q 1 x = 2 Eric Pacuit: LORI, Lecture 3 6
9 Computational vs. Behavioral Structures q 0 x = 1 q 0 q 0 q 0 q 0 q 1 q 1 x = 2 q 0 q 0 q 0 q 0 q 0 q 1 q 0 q 1 q 0 q 0 q 1 q 1. Eric Pacuit: LORI, Lecture 3 7
10 Temporal Logics Eric Pacuit: LORI, Lecture 3 8
11 Temporal Logics Linear Time Temporal Logic: Reasoning about computation paths: ϕ: ϕ is true some time in the future. A. Pnuelli. A Temporal Logic of Programs. in Proc. 18th IEEE Symposium on Foundations of Computer Science (1977). Eric Pacuit: LORI, Lecture 3 8
12 Temporal Logics Linear Time Temporal Logic: Reasoning about computation paths: ϕ: ϕ is true some time in the future. A. Pnuelli. A Temporal Logic of Programs. in Proc. 18th IEEE Symposium on Foundations of Computer Science (1977). Branching Time Temporal Logic: Allows quantification over paths: ϕ: there is a path in which ϕ is eventually true. E. M. Clarke and E. A. Emerson. Design and Synthesis of Synchronization Skeletons using Branching-time Temproal-logic Specifications. In Proceedings Workshop on Logic of Programs, LNCS (1981). Eric Pacuit: LORI, Lecture 3 8
13 Temporal Logics q 0 x = 1 q 0 P x=2 q 0 q 0 q 0 q 1 q 1 x = 2 q 0 q 0 q 0 q 0 q 0 q 1 q 0 q 1 q 0 q 0 q 1 q 1. Eric Pacuit: LORI, Lecture 3 9
14 Temporal Logics q 0 x = 1 q 0 P x=2 q 0 q 0 q 0 q 1 q 1 x = 2 q 0 q 0 q 0 q 0 q 0 q 1 q 0 q 1 q 0 q 0 q 1 q 1. Eric Pacuit: LORI, Lecture 3 9
15 Temporal Logics q 0 x = 1 q 0 P x=2 q 0 q 0 q 0 q 1 q 1 x = 2 q 0 q 0 q 0 q 0 q 0 q 1 q 0 q 1 q 0 q 0 q 1 q 1. Eric Pacuit: LORI, Lecture 3 9
16 Many Agents The previous model assumes there is one agent that controls the transition system. Eric Pacuit: LORI, Lecture 3 10
17 Many Agents The previous model assumes there is one agent that controls the transition system. What if there is more than one agent? Eric Pacuit: LORI, Lecture 3 10
18 Many Agents The previous model assumes there is one agent that controls the transition system. What if there is more than one agent? Example: Suppose that there are two agents: a server (s) and a client (c). The client asks to set the value of x and the server can either grant or deny the request. Assume the agents make simultaneous moves. Eric Pacuit: LORI, Lecture 3 10
19 Many Agents The previous model assumes there is one agent that controls the transition system. What if there is more than one agent? Example: Suppose that there are two agents: a server (s) and a client (c). The client asks to set the value of x and the server can either grant or deny the request. Assume the agents make simultaneous moves. set1 set2 deny grant Eric Pacuit: LORI, Lecture 3 10
20 Many Agents The previous model assumes there is one agent that controls the transition system. What if there is more than one agent? Example: Suppose that there are two agents: a server (s) and a client (c). The client asks to set the value of x and the server can either grant or deny the request. Assume the agents make simultaneous moves. deny grant set1 q 0 q 0, q 1 q 0 set2 q 0 q 1, q 1 q 1 Eric Pacuit: LORI, Lecture 3 11
21 Many Agents The previous model assumes there is one agent that controls the transition system. What if there is more than one agent? Example: Suppose that there are two agents: a server (s) and a client (c). The client asks to set the value of x and the server can either grant or deny the request. Assume the agents make simultaneous moves. deny grant set1 q q q 0 q 0, q 1 q 0 set2 q q q 0 q 1, q 1 q 1 Eric Pacuit: LORI, Lecture 3 12
22 From Temporal Logic to Strategy Logic Coalitional Logic: Reasoning about (local) group power. [C]ϕ: coalition C has a joint action to bring about ϕ. M. Pauly. A Modal Logic for Coalition Powers in Games. Journal of Logic and Computation 12 (2002). Eric Pacuit: LORI, Lecture 3 13
23 From Temporal Logic to Strategy Logic Coalitional Logic: Reasoning about (local) group power. [C]ϕ: coalition C has a joint action to bring about ϕ. M. Pauly. A Modal Logic for Coalition Powers in Games. Journal of Logic and Computation 12 (2002). Alternating-time Temporal Logic: Reasoning about (local and global) group power: A ϕ: The coalition A has a joint action to ensure that ϕ will remain true. R. Alur, T. Henzinger and O. Kupferman. Alternating-time Temproal Logic. Jouranl of the ACM (2002). Eric Pacuit: LORI, Lecture 3 13
24 Multi-agent Transition Systems, deny (P x=1 [s]p x=1 ) (P x=2 [s]p x=2 ) q 0 x = 1 set2, grant set1, grant q 1 x = 2, deny Eric Pacuit: LORI, Lecture 3 14
25 Multi-agent Transition Systems, deny P x=1 [s]p x=2 q 0 x = 1 set2, grant set1, grant q 1 x = 2, deny Eric Pacuit: LORI, Lecture 3 14
26 Multi-agent Transition Systems, deny P x=1 [s, c]p x=2 q 0 x = 1 set2, grant set1, grant q 1 x = 2, deny Eric Pacuit: LORI, Lecture 3 14
27 Preference (Modal) Logics x, y objects x y: x is at least as good as y Eric Pacuit: LORI, Lecture 3 15
28 Preference (Modal) Logics x, y objects x y: x is at least as good as y 1. x y and y x (x y) 2. x y and y x (y x) 3. x y and y x (x y) 4. x y and y x (x y) Eric Pacuit: LORI, Lecture 3 15
29 Preference (Modal) Logics x, y objects x y: x is at least as good as y 1. x y and y x (x y) 2. x y and y x (y x) 3. x y and y x (x y) 4. x y and y x (x y) Properties: transitivity, connectedness, etc. Eric Pacuit: LORI, Lecture 3 15
30 Preference (Modal) Logics Modal betterness model M = W,, V Eric Pacuit: LORI, Lecture 3 16
31 Preference (Modal) Logics Modal betterness model M = W,, V Preference Modalities ϕ: there is a world at least as good (as the current world) satisfying ϕ M, w = ϕ iff there is a v w such that M, v = ϕ Eric Pacuit: LORI, Lecture 3 16
32 Preference (Modal) Logics Modal betterness model M = W,, V Preference Modalities ϕ: there is a world at least as good (as the current world) satisfying ϕ M, w = ϕ iff there is a v w such that M, v = ϕ M, w = ϕ iff there is v w and w v such that M, v = ϕ Eric Pacuit: LORI, Lecture 3 16
33 Preference (Modal) Logics 1. ϕ ϕ 2. ϕ ϕ 3. ϕ ψ ( ψ (ψ ϕ)) 4. ϕ ϕ Theorem The above logic (with Necessitation and Modus Ponens) is sound and complete with respect to the class of preference models. J. van Benthem, O. Roy and P. Girard. Everything else being equal: A modal logic approach to ceteris paribus preferences. JPL, Eric Pacuit: LORI, Lecture 3 17
34 Preference Modalities ϕ ψ: the state of affairs ϕ is at least as good as ψ (ceteris paribus) G. von Wright. The logic of preference. Edinburgh University Press (1963). Eric Pacuit: LORI, Lecture 3 18
35 From worlds to sets and back Lifting X Y if y Y x X : x y Eric Pacuit: LORI, Lecture 3 19
36 From worlds to sets and back Lifting X Y if y Y x X : x y A(ϕ ψ) Eric Pacuit: LORI, Lecture 3 19
37 From worlds to sets and back Lifting X Y if y Y x X : x y A(ϕ ψ) X Y if y Y x X : x y A(ϕ [ ] ψ) Eric Pacuit: LORI, Lecture 3 19
38 From worlds to sets and back Lifting X Y if y Y x X : x y A(ϕ ψ) X Y if y Y x X : x y A(ϕ [ ] ψ) Deriving P 1 >> P 2 >> P 3 >> >> P n x > y iff x and y differ in at least one P i and the first P i where this happens is one with P i x and P i y F. Liu and D. De Jongh. Optimality, belief and preference Eric Pacuit: LORI, Lecture 3 19
39 Introduction, Motivation and Background Basic Ingredients for a Logic of Rational Agency Lecture 3: Lecture 4: Lecture 5: Logics of Rational Agency and Social Interaction, Part I Logics of Rational Agency and Social Interaction, Part II Conclusions and Eric Pacuit: LORI, Lecture 3 20
40 Once a semantics and language are fixed, then standard questions can be asked: eg. develop a proof theory, completeness, decidability, model checking. Eric Pacuit: LORI, Lecture 3 21
41 How should we compare the different logical systems? Embedding one logic in another: Eric Pacuit: LORI, Lecture 3 22
42 How should we compare the different logical systems? Embedding one logic in another: coalition logic is a fragment of ATL (tr([c]ϕ) = C ϕ) Eric Pacuit: LORI, Lecture 3 22
43 How should we compare the different logical systems? Embedding one logic in another: coalition logic is a fragment of ATL (tr([c]ϕ) = C ϕ) Compare different models for a fixed language: Eric Pacuit: LORI, Lecture 3 22
44 How should we compare the different logical systems? Embedding one logic in another: coalition logic is a fragment of ATL (tr([c]ϕ) = C ϕ) Compare different models for a fixed language: Alternating-Time Temporal Logics: Three different semantics for the ATL language. V. Goranko and W. Jamroga. Comparing Semantics of Logics for Multiagent Systems. KRA, Eric Pacuit: LORI, Lecture 3 22
45 How should we compare the different logical systems? Embedding one logic in another: coalition logic is a fragment of ATL (tr([c]ϕ) = C ϕ) Compare different models for a fixed language: Alternating-Time Temporal Logics: Three different semantics for the ATL language. V. Goranko and W. Jamroga. Comparing Semantics of Logics for Multiagent Systems. KRA, Comparing different frameworks: Eric Pacuit: LORI, Lecture 3 22
46 How should we compare the different logical systems? Embedding one logic in another: coalition logic is a fragment of ATL (tr([c]ϕ) = C ϕ) Compare different models for a fixed language: Alternating-Time Temporal Logics: Three different semantics for the ATL language. V. Goranko and W. Jamroga. Comparing Semantics of Logics for Multiagent Systems. KRA, Comparing different frameworks: eg. PDL vs. Temporal Logic, PDL vs. STIT, STIT vs. ATL, etc. Eric Pacuit: LORI, Lecture 3 22
47 How should we merge the different logical systems? Eric Pacuit: LORI, Lecture 3 23
48 How should we merge the different logical systems? Combining logics is hard! D. Gabbay, A. Kurucz, F. Wolter and M. Zakharyaschev. Many Dimensional Modal Logics: Theory and Applications Eric Pacuit: LORI, Lecture 3 23
49 How should we merge the different logical systems? Combining logics is hard! D. Gabbay, A. Kurucz, F. Wolter and M. Zakharyaschev. Many Dimensional Modal Logics: Theory and Applications Theorem ϕ ϕ is provable in combinations of Epistemic Logics and PDL with certain cross axioms ( [a]ϕ [a] ϕ) (and full substitution). R. Schmidt and D. Tishkovsky. On combinations of propositional dynamic logic and doxastic modal logics. JOLLI, Eric Pacuit: LORI, Lecture 3 23
50 Merging logics of rational agency Reasoning about information change (knowledge and time/actions) Knowledge, beliefs and certainty Epistemizing logics of action and ability: knowing how to achieve ϕ vs. knowing that you can achieve ϕ Entangling knowledge and preferences Planning/intentions (BDI) Eric Pacuit: LORI, Lecture 3 24
51 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. Is this procedure correct? Eric Pacuit: LORI, Lecture 3 25
52 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. Is this procedure correct? 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. Eric Pacuit: LORI, Lecture 3 25
53 Example A, B A, B P s B P t P means The talk is at 2PM. Eric Pacuit: LORI, Lecture 3 26
54 Example A, B A, B P s B P t P means The talk is at 2PM. M, s = K A P K B P Eric Pacuit: LORI, Lecture 3 26
55 Example A, B A, B P s B P t P means The talk is at 2PM. M, s = K A P K B P Eric Pacuit: LORI, Lecture 3 26
56 Example A A, B A, B B w 1 P P w 2 P s B P t w 3 P B A P w 4 Eric Pacuit: LORI, Lecture 3 26
57 Epistemic Temporal Logic R. Parikh and R. Ramanujam. A Knowledge Based Semantics of Messages. Journal of Logic, Language and Information, 12: , 1985, FHMV. Reasoning about Knowledge. MIT Press, Eric Pacuit: LORI, Lecture 3 27
58 The Playground t = 0 e 2 e 4 e 2 e 1 e 2 t = 1 e 1 e 5 e 2 e 6 e 4 e 2 e 7 t = 2 e 1 e 3 e 7 e 3 e 1 e 3 t = 3 Eric Pacuit: LORI, Lecture 3 28
59 The Playground t = 0 e 2 e 4 e 2 e 1 e 2 t = 1 e 1 e 5 e 2 e 6 e 4 e 2 e 7 t = 2 e 1 e 3 e 7 e 3 e 1 e 3 t = 3 Eric Pacuit: LORI, Lecture 3 28
60 The Playground t = 0 j e 2 e 4 e 2 e 1 e 2 t = 1 t = 2 e 1 e 5 e 2 e 6 i e 4 e 2 j e 7 e 1 e 3 i e 7 e 3 i e 1 e 3 t = 3 Eric Pacuit: LORI, Lecture 3 28
61 The Playground : Notation Eric Pacuit: LORI, Lecture 3 29
62 The Playground : Notation Let Σ be any set. The elements of Σ are called events. Eric Pacuit: LORI, Lecture 3 29
63 The Playground : Notation Let Σ be any set. The elements of Σ are called events. Given any set X, X is the set of finite strings over X and X ω the set of infinite strings over X. Elements of Σ Σ ω will be called histories. Eric Pacuit: LORI, Lecture 3 29
64 The Playground : Notation Let Σ be any set. The elements of Σ are called events. Given any set X, X is the set of finite strings over X and X ω the set of infinite strings over X. Elements of Σ Σ ω will be called histories. Given H Σ Σ ω, len(h) is the length of H. Eric Pacuit: LORI, Lecture 3 29
65 The Playground : Notation Let Σ be any set. The elements of Σ are called events. Given any set X, X is the set of finite strings over X and X ω the set of infinite strings over X. Elements of Σ Σ ω will be called histories. Given H Σ Σ ω, len(h) is the length of H. Given H, H Σ Σ ω, we write H H if H is a finite prefix of H. Eric Pacuit: LORI, Lecture 3 29
66 The Playground : Notation Let Σ be any set. The elements of Σ are called events. Given any set X, X is the set of finite strings over X and X ω the set of infinite strings over X. Elements of Σ Σ ω will be called histories. Given H Σ Σ ω, len(h) is the length of H. Given H, H Σ Σ ω, we write H H if H is a finite prefix of H. FinPre(H) = {H H H such that H H } is the set of finite prefixes of the elements of H. Eric Pacuit: LORI, Lecture 3 29
67 The Playground : Notation Let Σ be any set. The elements of Σ are called events. Given any set X, X is the set of finite strings over X and X ω the set of infinite strings over X. Elements of Σ Σ ω will be called histories. Given H Σ Σ ω, len(h) is the length of H. Given H, H Σ Σ ω, we write H H if H is a finite prefix of H. FinPre(H) = {H H H such that H H } is the set of finite prefixes of the elements of H. ɛ is the empty string and FinPre ɛ (H) = FinPre(H) {ɛ}. Eric Pacuit: LORI, Lecture 3 29
68 History-based Frames Definition Let Σ be any set of events. A set H Σ Σ ω is called a protocol provided FinPre ɛ (H) H. A rooted protocol is any set H Σ Σ ω where FinPre(H) H. Eric Pacuit: LORI, Lecture 3 30
69 History-based Frames Definition Let Σ be any set of events. A set H Σ Σ ω is called a protocol provided FinPre ɛ (H) H. A rooted protocol is any set H Σ Σ ω where FinPre(H) H. Definition An ETL frame is a tuple Σ, H, { i } i A where Σ is a (finite or infinite) set of events, H is a protocol, and for each i A, i is an equivalence relation on the set of finite strings in H. Eric Pacuit: LORI, Lecture 3 30
70 History-based Frames Definition Let Σ be any set of events. A set H Σ Σ ω is called a protocol provided FinPre ɛ (H) H. A rooted protocol is any set H Σ Σ ω where FinPre(H) H. Definition An ETL frame is a tuple Σ, H, { i } i A where Σ is a (finite or infinite) set of events, H is a protocol, and for each i A, i is an equivalence relation on the set of finite strings in H. Some assumptions: 1. If Σ is assumed to be finite, then we say that F is finitely branching. 2. If H is a rooted protocol, F is a tree frame. Eric Pacuit: LORI, Lecture 3 30
71 Formal Languages Pϕ (ϕ is true sometime in the past), F ϕ (ϕ is true sometime in the future), Y ϕ (ϕ is true at the previous moment), Nϕ (ϕ is true at the next moment), N e ϕ (ϕ is true after event e) K i ϕ (agent i knows ϕ) and C B ϕ (the group B A commonly knows ϕ). Eric Pacuit: LORI, Lecture 3 31
72 History-based Models An ETL model is a structure H, { i } i A, V where H, { i } i A is an ETL frame and V : At 2 finite(h) is a valuation function. Formulas are interpreted at pairs H, t: H, t = ϕ Eric Pacuit: LORI, Lecture 3 32
73 Truth in a Model H, t = Pϕ iff there exists t t such that H, t = ϕ H, t = F ϕ iff there exists t t such that H, t = ϕ H, t = Nϕ iff H, t + 1 = ϕ H, t = Y ϕ iff t > 1 and H, t 1 = ϕ H, t = K i ϕ iff for each H H and m 0 if H t i H m then H, m = ϕ H, t = Cϕ iff for each H H and m 0 if H t H m then H, m = ϕ. where is the reflexive transitive closure of the union of the i. Eric Pacuit: LORI, Lecture 3 33
74 Truth in a Model H, t = Pϕ iff there exists t t such that H, t = ϕ H, t = F ϕ iff there exists t t such that H, t = ϕ H, t = Nϕ iff H, t + 1 = ϕ H, t = Y ϕ iff t > 1 and H, t 1 = ϕ H, t = K i ϕ iff for each H H and m 0 if H t i H m then H, m = ϕ H, t = Cϕ iff for each H H and m 0 if H t H m then H, m = ϕ. where is the reflexive transitive closure of the union of the i. Eric Pacuit: LORI, Lecture 3 33
75 t = 0 j e 2 e 4 e 2 e 1 e 2 t = 1 t = 2 e 1 e 5 e 2 e 6 i e 4 e 2 e 7 e 1 e 3 i e 7 e 3 i e 1 e 3 t = 3 Eric Pacuit: LORI, Lecture 3 34
76 Returning to the 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. Eric Pacuit: LORI, Lecture 3 35
77 Returning to the 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. Eric Pacuit: LORI, Lecture 3 35
78 Returning to the 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. Is this procedure correct? Eric Pacuit: LORI, Lecture 3 35
79 t = 0 m 2PM m 3PM t = 1 m A C t m A C t t = 2 t = 3 m C B m C B t m C B t m C B t t
80 t = 0 m 2PM m 3PM t = 1 m A C t m A C t t = 2 t = 3 m C B m C B t m C B t m C B t t H, 3 = ϕ
81 t = 0 m 2PM m 3PM t = 1 m A C t m A C t t = 2 t = 3 m C B m C B t m C B t m C B t t Bob s uncertainty: H, 3 = K B P 2PM
82 t = 0 m 2PM m 3PM t = 1 m A C t t t = 2 t = 3 m C B t t t m C B Bob s uncertainty + Protocol information : H, 3 = K B P 2PM
83 t = 0 m 2PM m 3PM t = 1 m A C t t t = 2 t = 3 m C B t t t m C B Bob s uncertainty + Protocol information : H, 3 = K B K A K B P 2PM
84 t = 0 m 2PM m 3PM t = 1 m A C t t t = 2 t = 3 m C B t t t m C B Bob s uncertainty + Protocol information : H, 3 = K B K A K B P 2PM
85 t = 0 m 2PM m 3PM t = 1 m A C t t t = 2 t = 3 m C B t t t m C B Bob s uncertainty + Protocol information : H, 3 = K B K A K B P 2PM
86 t = 0 m 2PM m 3PM t = 1 m A C t t t = 2 t = 3 m C B t t t m C B Bob s uncertainty + Protocol information : H, 3 = K B K A K B P 2PM
87 Parameters of the Logical Framework Eric Pacuit: LORI, Lecture 3 37
88 Parameters of the Logical Framework 1. Expressivity of the formal language. Does the language include a common knowledge operator? A future operator? Both? Eric Pacuit: LORI, Lecture 3 37
89 Parameters of the Logical Framework 1. Expressivity of the formal language. Does the language include a common knowledge operator? A future operator? Both? 2. Structural conditions on the underlying event structure. Do we restrict to protocol frames (finitely branching trees)? Finitely branching forests? Or, arbitrary ETL frames? Eric Pacuit: LORI, Lecture 3 37
90 Parameters of the Logical Framework 1. Expressivity of the formal language. Does the language include a common knowledge operator? A future operator? Both? 2. Structural conditions on the underlying event structure. Do we restrict to protocol frames (finitely branching trees)? Finitely branching forests? Or, arbitrary ETL frames? 3. Conditions on the reasoning abilities of the agents. Do the agents satisfy perfect recall? No miracles? Do they agents know what time it is? Eric Pacuit: LORI, Lecture 3 37
91 Agent Oriented Properties: No Miracles: For all finite histories H, H H and events e Σ such that He H and H e H, if H i H then He i H e. Perfect Recall: For all finite histories H, H H and events e Σ such that He H and H e H, if He i H e then H i H. Synchronous: For all finite histories H, H H, if H i H then len(h) = len(h ). Eric Pacuit: LORI, Lecture 3 38
92 Perfect Recall t = 0 e 2 e 4 e 2 e 1 e 2 t = 1 e 1 e 5 e 2 e 3 e 4 e 2 e 7 t = 2 e 1 e 3 e 7 e 6 i e 1 e 3 t = 3 Eric Pacuit: LORI, Lecture 3 39
93 Perfect Recall t = 0 e 2 e 4 e 2 e 1 e 2 t = 1 e 1 e 5 e 2 e 3 i e 4 e 2 e 7 t = 2 e 1 e 3 e 7 e 6 i e 1 e 3 t = 3 Eric Pacuit: LORI, Lecture 3 40
94 Perfect Recall t = 0 i e 2 e 4 i e 2 e 1 e 2 t = 1 e 1 e 5 e 2 e 3 i e 4 e 2 e 7 t = 2 e 1 e 3 e 7 e 6 i e 1 e 3 t = 3 Eric Pacuit: LORI, Lecture 3 41
95 No Miracles t = 0 e 2 e 4 e 2 e 1 e 2 t = 1 e 1 e 5 e 2 e 3 i e 4 e 2 e 7 t = 2 e 1 e 3 e 7 e 6 e 1 e 3 t = 3 Eric Pacuit: LORI, Lecture 3 42
96 No Miracles t = 0 e 2 e 4 e 2 e 1 e 2 t = 1 e 1 e 5 e 2 e 3 i e 4 e 2 e 7 t = 2 e 1 e 3 e 7 e 6 i e 1 e 3 t = 3 Eric Pacuit: LORI, Lecture 3 43
97 No Miracles t = 0 e 2 e 4 e 2 e 1 e 2 t = 1 e 1 e 5 e 2 e 1 i e 4 e 2 e 7 t = 2 i e 1 e 3 e 7 e 6 i e 1 e 5 t = 3 Eric Pacuit: LORI, Lecture 3 44
98 Ideal Agents Assume there are two agents Theorem The logic of ideal agents with respect to a language with common knowledge and future is highly undecidable (for example, by assuming perfect recall). J. Halpern and M. Vardi.. The Complexity of Reasoning abut Knowledge and Time. J. Computer and Systems Sciences, 38, J. van Benthem and EP. The Tree of Knowledge in Action. Proceedings of AiML, Eric Pacuit: LORI, Lecture 3 45
99 End of lecture 3. Eric Pacuit: LORI, Lecture 3 46
Logic 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 informationLogic and Artificial Intelligence Lecture 21
Logic and Artificial Intelligence Lecture 21 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
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 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 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 informationA Logic for Cooperation, Actions and Preferences
A Logic for Cooperation, Actions and Preferences Lena Kurzen Universiteit van Amsterdam L.M.Kurzen@uva.nl Abstract In this paper, a logic for reasoning about cooperation, actions and preferences of agents
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 11: Topics in Formal Epistemology
Lecture 11: Topics in Formal Epistemology Eric Pacuit ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl Lecture Date: May 4, 2006 Caput Logic, Language and Information:
More informationSome Remarks on Alternating Temporal Epistemic Logic
Some Remarks on Alternating Temporal Epistemic Logic Corrected version: July 2003 Wojciech Jamroga Parlevink Group, University of Twente, Netherlands Institute of Mathematics, University of Gdansk, Poland
More informationSocial Choice Theory for Logicians Lecture 5
Social Choice Theory for Logicians Lecture 5 Eric Pacuit Department of Philosophy University of Maryland, College Park ai.stanford.edu/ epacuit epacuit@umd.edu June 22, 2012 Eric Pacuit: The Logic Behind
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 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 informationStrategic Coalitions with Perfect Recall
Strategic Coalitions with Perfect Recall Pavel Naumov Department of Computer Science Vassar College Poughkeepsie, New York 2604 pnaumov@vassar.edu Jia Tao Department of Computer Science Lafayette College
More informationAlternating Time Temporal Logics*
Alternating Time Temporal Logics* Sophie Pinchinat Visiting Research Fellow at RSISE Marie Curie Outgoing International Fellowship * @article{alur2002, title={alternating-time Temporal Logic}, author={alur,
More informationMerging Frameworks for Interaction
Merging Frameworks for Interaction Johan van Benthem Tomohiro Hoshi Jelle Gerbrandy Eric Pacuit March 26, 2008 1 Introduction Many logical systems today describe intelligent interacting agents over time.
More informationThe Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) Davide Grossi University of Liverpool D.Grossi@liverpool.ac.uk Emiliano Lorini IRIT-CNRS, Toulouse University François Schwarzentruber
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 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 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 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 informationValentin Goranko Stockholm University. ESSLLI 2018 August 6-10, of 33
ESSLLI 2018 course Logics for Epistemic and Strategic Reasoning in Multi-Agent Systems Lecture 4: Logics for temporal strategic reasoning with complete information Valentin Goranko Stockholm University
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 informationPreference and its Dynamics
Department of Philosophy,Tsinghua University 28 August, 2012, EASLLC Table of contents 1 Introduction 2 Betterness model and dynamics 3 Priorities and dynamics 4 Relating betterness and priority dynamics
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 informationoverview overview proof system for basic modal logic proof systems advanced logic lecture 8 temporal logic using temporal frames
overview advanced logic 2018 02 28 lecture 8 proof systems temporal logic using temporal frames overview proof system for basic modal logic extension: φ if φ is a tautology from prop1 proof systems temporal
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 informationMerging Frameworks for Interaction: DEL and ETL
Merging Frameworks for Interaction: DEL and ETL Johan van Benthem Jelle Gerbrandy Eric Pacuit February 14, 2007 1 Introduction Many logical systems today describe behaviour of intelligent interacting agents
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 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 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 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 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 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 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 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 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 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 informationMulti-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics
Multi-agent belief dynamics: bridges between dynamic doxastic and doxastic temporal logics Johan van Benthem ILLC Amsterdam Stanford University johan@science.uva.nl Cédric Dégremont ILLC Amsterdam cdegremo@science.uva.nl
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 informationConcurrent Game Structures for Temporal STIT Logic
Concurrent Game Structures for Temporal STIT Logic ABSTRACT Joseph Boudou IRIT Toulouse University Toulouse, France The paper introduces a new semantics for temporal STIT logic the logic of seeing to it
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 informationMonodic fragments of first-order temporal logics
Outline of talk Most propositional temporal logics are decidable. But the decision problem in predicate (first-order) temporal logics has seemed near-hopeless. Monodic fragments of first-order temporal
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 informationTowards a Theory of Correctness of Social. Procedures. ILLC, University of Amsterdam. staff.science.uva.
Towards a Theory of Correctness of Social Procedures Eric Pacuit April 2, 26 ILLC, University of Amsterdam staff.science.uva.nl/ epacuit epacuit@science.uva.nl Introduction: Social Software Social software
More informationFlat Coalgebraic Fixed Point Logics
Lutz Schröder, Yde Venema: Flat Coalgebraic Fixed Point Logics 1 IFIP WG 1.3 Meeting, Etelsen, July 2010 Flat Coalgebraic Fixed Point Logics Lutz Schröder 1,2 Yde Venema 3 1 Safe and Secure Cognitive Systems,
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 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 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 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 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 about Strategies: From module checking to strategy logic
Reasoning about Strategies: From module checking to strategy logic based on joint works with Fabio Mogavero, Giuseppe Perelli, Luigi Sauro, and Moshe Y. Vardi Luxembourg September 23, 2013 Reasoning about
More informationKnowledge, Strategies, and Know-How
KR 2018, Tempe, AZ, USA Knowledge, Strategies, and Know-How Jia Tao Lafayette College Pavel Naumov Claremont McKenna College http://reasoning.eas.asu.edu/kr2018/ "!! Knowledge, Strategies, Know-How!!?!!
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 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 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 informationPHIL 50 - Introduction to Logic
Truth Validity Logical Consequence Equivalence V ψ ψ φ 1, φ 2,, φ k ψ φ ψ PHIL 50 - Introduction to Logic Marcello Di Bello, Stanford University, Spring 2014 Week 2 Friday Class Overview of Key Notions
More informationNeighborhood Semantics for Modal Logic Lecture 5
Neighborhood Semantics for Modal Logic Lecture 5 Eric Pacuit University of Maryland, College Park pacuit.org epacuit@umd.edu August 15, 2014 Eric Pacuit 1 Course Plan Introduction and Motivation: Background
More informationAlternating-Time Temporal Logic
Alternating-Time Temporal Logic R.Alur, T.Henzinger, O.Kupferman Rafael H. Bordini School of Informatics PUCRS R.Bordini@pucrs.br Logic Club 5th of September, 2013 ATL All the material in this presentation
More informationPDL as a Multi-Agent Strategy Logic
PDL as a Multi-Agent Strategy Logic Extended Abstract Jan van Eijck CWI and ILLC Science Park 123 1098 XG Amsterdam, The Netherlands jve@cwi.nl ABSTRACT Propositional Dynamic Logic or PDL was invented
More informationDeveloping Modal Tableaux and Resolution Methods via First-Order Resolution
Developing Modal Tableaux and Resolution Methods via First-Order Resolution Renate Schmidt University of Manchester Reference: Advances in Modal Logic, Vol. 6 (2006) Modal logic: Background Established
More informationA Survey of Topologic
Illuminating New Directions Department of Computer Science Graduate Center, the City University of New York cbaskent@gc.cuny.edu // www.canbaskent.net/logic December 1st, 2011 - The Graduate Center Contents
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 informationA Preference Logic With Four Kinds of Preferences
A Preference Logic With Four Kinds of Preferences Zhang Zhizheng and Xing Hancheng School of Computer Science and Engineering, Southeast University No.2 Sipailou, Nanjing, China {seu_zzz; xhc}@seu.edu.cn
More informationCoalition Games and Alternating Temporal Logics (Corrected version: September 7, 2001)
Coalition Games and Alternating Temporal Logics (Corrected version: September 7, 2001) Valentin Goranko Department of Mathematics, Rand Afrikaans University PO Box 524, Auckland Park 2006, Johannesburg,
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 informationResearch Statement Christopher Hardin
Research Statement Christopher Hardin Brief summary of research interests. I am interested in mathematical logic and theoretical computer science. Specifically, I am interested in program logics, particularly
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 informationarxiv: v2 [cs.lo] 3 Sep 2018
Reasoning about Knowledge and Strategies under Hierarchical Information Bastien Maubert and Aniello Murano Università degli Studi di Napoli Federico II arxiv:1806.00028v2 [cs.lo] 3 Sep 2018 Abstract Two
More informationModal logics: an introduction
Modal logics: an introduction Valentin Goranko DTU Informatics October 2010 Outline Non-classical logics in AI. Variety of modal logics. Brief historical remarks. Basic generic modal logic: syntax and
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 informationSocratic Proofs for Some Temporal Logics RESEARCH REPORT
Section of Logic and Cognitive Science Institute of Psychology Adam Mickiewicz University in Poznań Mariusz Urbański Socratic Proofs for Some Temporal Logics RESEARCH REPORT Szamarzewskiego 89, 60-589
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 informationYanjing Wang: An epistemic logic of knowing what
An epistemic logic of knowing what Yanjing Wang TBA workshop, Lorentz center, Aug. 18 2015 Background: beyond knowing that A logic of knowing what Conclusions Why knowledge matters (in plans and protocols)
More informationComparing Justified and Common Knowledge
Comparing Justified and Common Knowledge Evangelia Antonakos Graduate Center CUNY Ph.D. Program in Mathematics 365 Fifth Avenue, New York, NY 10016 U.S.A. Eva@Antonakos.net Abstract. What is public information
More informationETL, DEL, and Past Operators
ETL, DEL, and Past Operators Tomohiro Hoshi Stanford University thoshi@stanford.edu Audrey Yap University of Victoria ayap@uvic.ca Abstract [8] merges the semantic frameworks of Dynamic Epistemic Logic
More informationComparing Semantics of Logics for Multi-agent Systems
Comparing Semantics of Logics for Multi-agent Systems Valentin Goranko Department of Mathematics, Rand Afrikaans University e-mail: vfg@na.rau.ac.za Wojciech Jamroga Parlevink Group, University of Twente,
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 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 informationA Logic for Reasoning about Counterfactual Emotions
A Logic for Reasoning about Counterfactual Emotions Emiliano Lorini IRIT, Toulouse, France lorini@irit.fr François Schwarzentruber IRIT, Toulouse, France schwarze@irit.fr Abstract The aim of this work
More informationA plausibility driven STIT-operator
A plausibility driven STIT-operator Rob Franken Supervisor: dr. Jan Broersen August 27, 2013 Contents 1 Introduction 3 2 Preliminary notations and definitions 5 3 Introducing plausibility models 7 4 XSTIT
More informationGroup Announcement Logic
Group Announcement Logic Thomas Ågotnes joint work with: Philippe Baliani Hans van Ditmarsch Palo Sean Elevator pitch Group Announcement Logic extends pulic announcement logic with: G φ : Group G can make
More informationEpistemic Logic: VI Dynamic Epistemic Logic (cont.)
Epistemic Logic: VI Dynamic Epistemic Logic (cont.) Yanjing Wang Department of Philosophy, Peking University Oct. 26th, 2015 Two basic questions Axiomatizations via reduction A new axiomatization Recap:
More informationAn Introduction to Modal Logic V
An Introduction to Modal Logic V Axiomatic Extensions and Classes of Frames Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, November 7 th 2013
More informationUndecidability in Epistemic Planning
Undecidability in Epistemic Planning Thomas Bolander, DTU Compute, Tech Univ of Denmark Joint work with: Guillaume Aucher, Univ Rennes 1 Bolander: Undecidability in Epistemic Planning p. 1/17 Introduction
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 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 informationAgents that Know How to Play
Fundamenta Informaticae 62 (2004) 1 35 1 IOS Press Agents that Know How to Play Wojciech Jamroga Parlevink Group, University of Twente, Netherlands Institute of Mathematics, University of Gdansk, Poland
More informationComplexity of a theory of collective attitudes in teamwork
Complexity of a theory of collective attitudes in teamwork Marcin Dziubiński Institute of Informatics, Warsaw University, Banacha 2, 02-097 Warsaw, Poland amosild@mimuw.edu.pl Rineke Verbrugge Institute
More informationTutorial Exercises 1 (mjs)
499 Modal and Temporal Logic Autumn 2008 Tutorial Exercises 1 (mjs) 1. Suppose that Σ is closed under RM. SOLUTIONS Suppose first that Σ contains C. A derivation of K: 1. Σ (A (A B) ) B PL 2. Σ (A (A B)
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 informationJustification logic - a short introduction
Institute of Computer Science and Applied Mathematics University of Bern Bern, Switzerland January 2013 Modal Logic A Modal Logic A A B and Modal Logic A A B B and thus Modal Logic A A B B and thus A (A
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 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 informationModelling PRS-Like Agents Mental States
Modelling PRS-Like Agents Mental States Wayne Wobcke School of Computer Science and Engineering University of New South Wales Sydney NSW 2052, Australia wobcke@cse.unsw.edu.au Abstract. In recent years,
More informationLogics above S4 and the Lebesgue measure algebra
Logics above S4 and the Lebesgue measure algebra Tamar Lando Abstract We study the measure semantics for propositional modal logics, in which formulas are interpreted in the Lebesgue measure algebra M,
More informationAlan Bundy. Automated Reasoning LTL Model Checking
Automated Reasoning LTL Model Checking Alan Bundy Lecture 9, page 1 Introduction So far we have looked at theorem proving Powerful, especially where good sets of rewrite rules or decision procedures have
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 informationModel Theory of Modal Logic Lecture 5. Valentin Goranko Technical University of Denmark
Model Theory of Modal Logic Lecture 5 Valentin Goranko Technical University of Denmark Third Indian School on Logic and its Applications Hyderabad, January 29, 2010 Model Theory of Modal Logic Lecture
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 information