Logics for multi-agent systems: an overview
|
|
- Eleanore Shepherd
- 5 years ago
- Views:
Transcription
1 Logics for multi-agent systems: an overview Andreas Herzig University of Toulouse and CNRS, IRIT, France EASSS 2014, Chania, 17th July / 40
2 Introduction course based on an overview paper to appear in J. AAMAS 2 / 40
3 Introduction Multi-Agent Systems (MAS): agents with imperfect knowledge perform actions in order to achieve goals philosophical logic/kr view: what are the main concepts? what properties do they have? how do they relate? formal, logical analysis logics of action and knowledge extensions of propositional logic by modal operators 3 / 40
4 Introduction: modal operators of knowledge knowledge of individual i Agt : K i ϕ = agent i knows that ϕ knowledge of group J Agt : EK J ϕ = it is shared knowledge in J that ϕ = every agent in J knows that ϕ CK J ϕ = it is common knowledge in J that ϕ = EK J ϕ EK J EK J ϕ EK J EK J EK J ϕ DK J ϕ = it is distributed knowledge in J that ϕ if each agent in J tells all he knows to J then EK J ϕ 4 / 40
5 Introduction: modal operators of action and ability nonstrategic (ceteris paribus) π ϕ = there is an execution of program π after which ϕ J ϕ = coalition J can achieve ϕ (while opponents don t act) strategic ( ceteris agentis, ceteris mutandis ) J ϕ = coalition J can achieve ϕ (whatever opponents do) 5 / 40
6 Introduction: modal operators of action and ability nonstrategic (ceteris paribus) π ϕ = there is an execution of program π after which ϕ J ϕ = coalition J can achieve ϕ (while opponents don t act) strategic ( ceteris agentis, ceteris mutandis ) J ϕ = coalition J can achieve ϕ (whatever opponents do) 5 / 40
7 Introduction: modal operators of action and ability nonstrategic (ceteris paribus) π ϕ = there is an execution of program π after which ϕ J ϕ = coalition J can achieve ϕ (while opponents don t act) strategic ( ceteris agentis, ceteris mutandis ) J ϕ = coalition J can achieve ϕ (whatever opponents do) 5 / 40
8 Introduction: the grid of MAS logics aim: overview main MAS logics & highlight problematic points KR point of view which logical language? focus on deduction (vs. model checking) almost semantic-free the grid of MAS logics: S5 CK PAL CK ATEL CK S5 PAL ATEL no uncertainty PDL, CL-PC ATL, STIT knowledge action no actions nonstrategic strategic 6 / 40
9 Outline 1 No uncertainty, nonstrategic actions 2 No uncertainty, strategic actions 3 Individual knowledge, no actions 4 Individual knowledge, nonstrategic actions 5 Individual knowledge, strategic actions 6 Group knowledge, no actions 7 Group knowledge, nonstrategic actions 8 Group knowledge, strategic actions 7 / 40
10 No uncertainty, nonstrategic actions: PDL language of Propositional Dynamic Logic PDL: π ϕ = there exists a possible execution of π after which ϕ [π]ϕ = for every possible execution of π... where π is a program (alias complex action): π a π; π π π π ϕ? express: if ϕ then π 1 else π 2 and while ϕ do π 8 / 40
11 No uncertainty, nonstrategic actions: PDL semantics: transition systems (graphs with action-labelled edges) paintcard 1 movecard L1,L 2 Card@L 2 M, w Card@L1 = movecard L1,L 2 Card@L 1 because M, w Card@L2 = Card@L 2 model M = W, R, V W nonempty set R : Act 2 W W ( accessibility relation ) V : W 2 Prp M, w = a ϕ if M, v = ϕ for some v such that wr a v M, w = [a]ϕ if M, v = ϕ for every v such that wr a v complexity of satisfiability: EXPTIME 9 / 40
12 No uncertainty, nonstrategic actions: PDL semantics: transition systems (graphs with action-labelled edges) paintcard 1 movecard L1,L 2 Card@L 2 M, w Card@L1 = movecard L1,L 2 Card@L 1 because M, w Card@L2 = Card@L 2 model M = W, R, V W nonempty set R : Act 2 W W ( accessibility relation ) V : W 2 Prp M, w = a ϕ if M, v = ϕ for some v such that wr a v M, w = [a]ϕ if M, v = ϕ for every v such that wr a v complexity of satisfiability: EXPTIME 9 / 40
13 No uncertainty, nonstrategic actions: PDL in focus: reasoning about action/program effects? (ActionTheory Init) a 1 ; ; a n Goal PDL action theories must be augmented by frame axioms CardRed [movecard L1,L 2 ]CardRed PDL doesn t solve the frame problem [McCarthy & Hayes 1969] unsatisfactory from a KR point of view a lot of dedicated logical formalisms to solve the frame problem SitCalc, EventCalc, FluentCalc, A, B, C, C+, BC,... separation logic, logic of bunched implications,... SitCalc basic action theories [Reiter 1991]: x ([x]cardred ( x = paintred (CardRed x paintblue) ) ) general schema ( successor state axioms ): x ( [x]p γ p (x) ) 10 / 40
14 No uncertainty, nonstrategic actions: PDL in focus: reasoning about action/program effects? (ActionTheory Init) a 1 ; ; a n Goal PDL action theories must be augmented by frame axioms CardRed [movecard L1,L 2 ]CardRed PDL doesn t solve the frame problem [McCarthy & Hayes 1969] unsatisfactory from a KR point of view a lot of dedicated logical formalisms to solve the frame problem SitCalc, EventCalc, FluentCalc, A, B, C, C+, BC,... separation logic, logic of bunched implications,... SitCalc basic action theories [Reiter 1991]: x ([x]cardred ( x = paintred (CardRed x paintblue) ) ) general schema ( successor state axioms ): x ( [x]p γ p (x) ) 10 / 40
15 No uncertainty, nonstrategic actions: PDL in focus: reasoning about action/program effects? (ActionTheory Init) a 1 ; ; a n Goal PDL action theories must be augmented by frame axioms CardRed [movecard L1,L 2 ]CardRed PDL doesn t solve the frame problem [McCarthy & Hayes 1969] unsatisfactory from a KR point of view a lot of dedicated logical formalisms to solve the frame problem SitCalc, EventCalc, FluentCalc, A, B, C, C+, BC,... separation logic, logic of bunched implications,... SitCalc basic action theories [Reiter 1991]: x ([x]cardred ( x = paintred (CardRed x paintblue) ) ) general schema ( successor state axioms ): x ( [x]p γ p (x) ) 10 / 40
16 DL-PA: a dialect of PDL solving the frame problem Reiter s basic action theories can be expressed in Dynamic Logic of Propositional Assignments DL-PA [van Ditmarsch et al., JLC 2011] atomic programs: assign propositional variables to formulas CardAt L1 successor state axioms become DL-PA programs: moveblock L1,L 2 = (Free?; CardAt L1 ; CardAt L2 ) ( hyp.: in x [x]p γ p (x) ), if a γ p (x) then γ p (a) p better than PDL [Balbiani et al., LICS 2013; submitted] Kleene star eliminable every formula reducible to a boolean formula compact, interpolation property model checking as complex as validity checking complexity of satisfiability: PSPACE claim: DL-PA = Assembler language for logics of change embeds planning [H et al., ECAI 2014], update and revision operations [H, KR 2014], Dung argumentation frameworks and their modification [Doutre et al. KR 2014], / 40
17 No uncertainty, nonstrategic actions: CL-PC language of Coalition Logic of Propositional Control CL-PC: J ϕ = coalition J can achieve ϕ by modifying its variables (while opponents don t act) each propositional variable controlled by some agent; action of i = change of some of i s variables (cf. bool. games) [van der Hoek & Wooldridge, AIJ 2005; JAIR 2010] in focus: reasoning about nonstrategic (ceteris paribus) ability? (AbilityTheory Init) {i 1,..., i n } Goal 12 / 40
18 No uncertainty, nonstrategic actions: CL-PC captures strategic ability J [ J]ϕ = J can achieve ϕ whatever the opponents in J do can be embedded into DL-PA: i ϕ = π i,ϕ ϕ with π i,ϕ polynomial in ϕ [H et al., IJCAI 2011] program π i,ϕ uses propositional variables C i,p i controls p to be axiomatised: agents exclusive and exhaustive control over the variables occurring in ϕ 13 / 40
19 Outline 1 No uncertainty, nonstrategic actions 2 No uncertainty, strategic actions 3 Individual knowledge, no actions 4 Individual knowledge, nonstrategic actions 5 Individual knowledge, strategic actions 6 Group knowledge, no actions 7 Group knowledge, nonstrategic actions 8 Group knowledge, strategic actions 14 / 40
20 No uncertainty, strategic actions: ATL language of Alternating-time Temporal Logic ATL: J Xϕ = the agents in J have a strategy such that whatever the other agents do, next ϕ J Gϕ =..., henceforth ϕ J ϕ U ψ =..., ϕ until ψ Coalition Logic CL [Pauly, JLC 2002]: no G, no U 15 / 40
21 No uncertainty, strategic actions: ATL semantics: effectivity functions / concurrent game structures / alternating-time transition systems basically: transition systems labelled by profiles (action vectors, one action per agent) (1:paintCard,2:nop) Card@L 1 (1:moveCard L1,L 2,1:moveCard L1,L 3 ) Card@L 1 complexity of satisfiability: EXPTIME (CL fragment: PSPACE) in focus: reasoning about the existence of strategies? (AbilityTheory Init) {i 1,..., i n } Goal 16 / 40
22 ATL: the problem of strategy revocability problem: strategies can be canceled i G ( married i X married ) is consistent in ATL reason: strategies are unsung heroes [van Benthem] solution: commit to a strategy ATL with irrevocable strategies [Ågotnes et al., TARK 2007] ATL with strategy contexts [Brihaye et al., LFCS 2009] make adoption and canceling of strategies explicit undecidable [Troquard & Walther, JELIA 2012] Strategy Logic (SL) [Mogavero et al., FSTTCS 2010] uses strategy variables; undecidable ATL with explicit strategies [Walther et al., TARK 2007] {i} i:σ G(married {i} i:σ X married) more principled: commit to an action/program ATLEA = ATL + Explicit Actions [H et al., LORI 2013; LAMAS 2014] {i} i:staymarried G(married {i} i:staymarried X married) same complexity as ATL 17 / 40
23 ATL: the problem of strategy revocability problem: strategies can be canceled i G ( married i X married ) is consistent in ATL reason: strategies are unsung heroes [van Benthem] solution: commit to a strategy ATL with irrevocable strategies [Ågotnes et al., TARK 2007] ATL with strategy contexts [Brihaye et al., LFCS 2009] make adoption and canceling of strategies explicit undecidable [Troquard & Walther, JELIA 2012] Strategy Logic (SL) [Mogavero et al., FSTTCS 2010] uses strategy variables; undecidable ATL with explicit strategies [Walther et al., TARK 2007] {i} i:σ G(married {i} i:σ X married) more principled: commit to an action/program ATLEA = ATL + Explicit Actions [H et al., LORI 2013; LAMAS 2014] {i} i:staymarried G(married {i} i:staymarried X married) same complexity as ATL 17 / 40
24 No uncertainty, strategic actions: STIT language of Seeing-To-It-That Logic STIT [Belnap et al. 2001; Horty 2001] Stit J ϕ = by following their current strategy the agents in J guarantee that ϕ is true, whatever the other agents do ϕ = it is historically possible that ϕ = Stit Agt ϕ F ϕ =... (temporal operators) in focus: reasoning about causality ( agency )? Cond Stit {i1,...,i n } Fact reasoning about strategic ability à la ATL: J Xψ = Stit J Xψ satisfiability undecidable [H & Schwarzentruber, AiML 2008] 18 / 40
25 Outline 1 No uncertainty, nonstrategic actions 2 No uncertainty, strategic actions 3 Individual knowledge, no actions 4 Individual knowledge, nonstrategic actions 5 Individual knowledge, strategic actions 6 Group knowledge, no actions 7 Group knowledge, nonstrategic actions 8 Group knowledge, strategic actions 19 / 40
26 Individual knowledge, no actions language of epistemic logic S5: K i ϕ = agent i knows that ϕ is true principles K i (omniscience) (K i ϕ K i (ϕ ψ)) K i ψ (omniscience) K i ϕ ϕ (knowledge implies truth) K i ϕ K i K i ϕ (positive introspection) K i ϕ K i K i ϕ (negative introspection) example: the famous muddy children puzzle 1 K 1 ( m1 K 2 m1) 2 K 1 K 2 (m1 m2) 3 K 1 K 2 m2 consequence: child 1 knows it is muddy ( (1) (2) (3) ) K1 m1 20 / 40
27 Individual knowledge, no actions semantics: indistinguishability relations, one per agent {m1} R 2 R 1 R 2 {m1, m2} R 1 {m2} (refl. arrows omitted) M, w m1m2 = K 1 m2 because M, w m1m2 = m2 and M, w m2 = m2 model M = W, R, V W nonempty set R : Agt 2 W W ; R i equivalence relation V : W 2 Prp M, w = K i ϕ if M, v = ϕ for every v R i (w) complexity of satisfiability: PSPACE (single agent: NP) the logic of knowledge? generally adopted in AI but: omniscience may be problematic but: / 40
28 Individual knowledge, no actions semantics: indistinguishability relations, one per agent {m1} R 2 R 1 R 2 {m1, m2} R 1 {m2} (refl. arrows omitted) M, w m1m2 = K 1 m2 because M, w m1m2 = m2 and M, w m2 = m2 model M = W, R, V W nonempty set R : Agt 2 W W ; R i equivalence relation V : W 2 Prp M, w = K i ϕ if M, v = ϕ for every v R i (w) complexity of satisfiability: PSPACE (single agent: NP) the logic of knowledge? generally adopted in AI but: omniscience may be problematic but: / 40
29 Individual knowledge, no actions negative introspection axiom K i ϕ K i K i ϕ too strong [Lenzen 1978, Voorbraak 1993] 1 suppose B i K i p 2 suppose p i strongly believes to know p should not imply K i p 3 then K i p (knowledge implies truth) 4 then K i K i p (neg. introspection) 5 then B i K i p (knowledge implies belief) (belief consistent) 6 ( p B i K i p)?!? logic of knowledge should be weaker S4.2 [Lenzen 1978] (replace K i ϕ K i K i ϕ by K i K i ϕ K i K i ϕ) S4.3 [van der Hoek & Meyer] dynamic epistemic logics get more involved / 40
30 Individual knowledge, no actions negative introspection axiom K i ϕ K i K i ϕ too strong [Lenzen 1978, Voorbraak 1993] 1 suppose B i K i p 2 suppose p i strongly believes to know p should not imply K i p 3 then K i p (knowledge implies truth) 4 then K i K i p (neg. introspection) 5 then B i K i p (knowledge implies belief) (belief consistent) 6 ( p B i K i p)?!? logic of knowledge should be weaker S4.2 [Lenzen 1978] (replace K i ϕ K i K i ϕ by K i K i ϕ K i K i ϕ) S4.3 [van der Hoek & Meyer] dynamic epistemic logics get more involved / 40
31 Individual knowledge, no actions negative introspection axiom K i ϕ K i K i ϕ too strong [Lenzen 1978, Voorbraak 1993] 1 suppose B i K i p 2 suppose p i strongly believes to know p should not imply K i p 3 then K i p (knowledge implies truth) 4 then K i K i p (neg. introspection) 5 then B i K i p (knowledge implies belief) (belief consistent) 6 ( p B i K i p)?!? logic of knowledge should be weaker S4.2 [Lenzen 1978] (replace K i ϕ K i K i ϕ by K i K i ϕ K i K i ϕ) S4.3 [van der Hoek & Meyer] dynamic epistemic logics get more involved / 40
32 Outline 1 No uncertainty, nonstrategic actions 2 No uncertainty, strategic actions 3 Individual knowledge, no actions 4 Individual knowledge, nonstrategic actions 5 Individual knowledge, strategic actions 6 Group knowledge, no actions 7 Group knowledge, nonstrategic actions 8 Group knowledge, strategic actions 23 / 40
33 Individual knowledge, nonstrategic actions: PAL Public Announcement Logic PAL ψ! ϕ = the truthful public announcement of ψ can be made and ϕ will be true afterwards reduction axioms (aka regression): ψ! p ψ p ψ! K i ϕ ψ K i [ψ!]ϕ facts don t change (epistemic change only) semantics: S5 models announcements update Kripke models (relativization) M ψ = W ψ, R ψ, V ψ W ψ = ψ M = {w W : M, w = ψ} R ψ (i) = R(i) ( ψ M ψ M ) V ϕ (p) = V(p) ψ M M, w = ψ! ϕ iff M, w = ψ and M ψ, w = ϕ complexity of satisfiability: same as underlying epistemic logic [Lutz, AAMAS 2006] but more succinct [French et al., IJCAI 2011; AIJ 2013] 24 / 40
34 Individual knowledge, nonstrategic actions: the problem of closure under updates in PAL most papers choose S5 as the logic of knowledge others adopt K for generality S5-based PAL works because the set of S5 models is closed under updates by announcements holds also in modal logic K fails in logic of belief KD45 and in logic of knowledge S4.2 [Balbiani et al., AiML 2012] reason: confluence node may be eliminated by update {p} R i {p} R i {p} R i R i {p} R i p! = {p} similar problem with other modal logics R i {p} 25 / 40
35 Individual knowledge, nonstrategic actions: variants of PAL DEL = Dynamic Epistemic Logic [Baltag & Moss, Synthese 2004] agents perceive events only incompletely event models GAL = PAL plus Group announcements [Ågotnes et al., J. Applied Logic 2010] J ϕ = J can achieve ϕ by announcing some known formulas cf. ATL, CL APAL = PAL plus Arbitrary announcements! ϕ = there is a ψ such that ψ! ϕ [Balbiani et al., RSL 2008] 26 / 40
36 Individual knowledge, nonstrategic actions: the problem of uniform choices in APAL You don t see B s and C s cards, and they only see their cards. Among the ace of hearts and the ace of clubs, B has one and C has one, but You don t know who has which. You want agent B to know both Hearts and Clubs, but not C. Is there a public announcement doing the job? 27 / 40
37 Individual knowledge, nonstrategic actions: the problem of uniform choices in APAL B C or B C in S5: Init = K Y Hearts K Y Clubs K Y ( (KB Clubs K C Hearts) = K Y Hearts K Y Clubs K Y ( (KB Hearts K C Clubs) ) Goal = K B (Hearts Clubs) K C (Hearts Clubs) provable in PAL: (K B Hearts K C Hearts) Hearts Clubs! Goal (K B Clubs K C Clubs) Clubs Hearts! Goal so Init K Y! Goal,... but you don t know what to say! 28 / 40
38 Individual knowledge, nonstrategic actions: the problem of uniform choices in APAL B C or B C in S5: Init = K Y Hearts K Y Clubs K Y ( (KB Clubs K C Hearts) = K Y Hearts K Y Clubs K Y ( (KB Hearts K C Clubs) ) Goal = K B (Hearts Clubs) K C (Hearts Clubs) provable in PAL: (K B Hearts K C Hearts) Hearts Clubs! Goal (K B Clubs K C Clubs) Clubs Hearts! Goal so Init K Y! Goal,... but you don t know what to say! 28 / 40
39 Outline 1 No uncertainty, nonstrategic actions 2 No uncertainty, strategic actions 3 Individual knowledge, no actions 4 Individual knowledge, nonstrategic actions 5 Individual knowledge, strategic actions 6 Group knowledge, no actions 7 Group knowledge, nonstrategic actions 8 Group knowledge, strategic actions 29 / 40
40 Individual knowledge, strategic actions Alternating-time Temporal Epistemic Logic ATEL [van der Hoek & Wooldridge, Studia Logica 2003] J ϕ = coalition J can achieve ϕ (whatever opponents do) K i ϕ = agent i Agt knows that ϕ problem of uniform strategies [Schobbens, ENTCS 2004] same as problem of uniform choice for APAL, v.s. K i i XsafeOpen solution in ATELEA = ATEL with Explicit Actions K i i i:dial1234 XsafeOpen 30 / 40
41 Individual knowledge, strategic actions Alternating-time Temporal Epistemic Logic ATEL [van der Hoek & Wooldridge, Studia Logica 2003] J ϕ = coalition J can achieve ϕ (whatever opponents do) K i ϕ = agent i Agt knows that ϕ problem of uniform strategies [Schobbens, ENTCS 2004] same as problem of uniform choice for APAL, v.s. K i i XsafeOpen solution in ATELEA = ATEL with Explicit Actions K i i i:dial1234 XsafeOpen 30 / 40
42 Individual knowledge, strategic actions Alternating-time Temporal Epistemic Logic ATEL [van der Hoek & Wooldridge, Studia Logica 2003] J ϕ = coalition J can achieve ϕ (whatever opponents do) K i ϕ = agent i Agt knows that ϕ problem of uniform strategies [Schobbens, ENTCS 2004] same as problem of uniform choice for APAL, v.s. K i i XsafeOpen solution in ATELEA = ATEL with Explicit Actions K i i i:dial1234 XsafeOpen 30 / 40
43 Outline 1 No uncertainty, nonstrategic actions 2 No uncertainty, strategic actions 3 Individual knowledge, no actions 4 Individual knowledge, nonstrategic actions 5 Individual knowledge, strategic actions 6 Group knowledge, no actions 7 Group knowledge, nonstrategic actions 8 Group knowledge, strategic actions 31 / 40
44 Group knowledge, no actions S5 CK = S5 plus Common knowledge CK J ϕ = it is common knowledge in J Agt that ϕ = EK J ϕ EK J EK J ϕ EK J EK J EK J ϕ useful concept: required for multi-agent coordination [Fagin et al., 1995] required for the existence of a convention [Lewis, 1996] common ground in a conversation [Clark & Marshall, 1981] fixpoint axiom: CK J ϕ EK J (ϕ CK J ϕ) induction axiom (greatest fixpoint axiom): ( ϕ CKJ (ϕ EK J ϕ) ) CK J ϕ will be criticized in the next section other forms of group knowledge/belief exist [Tuomela] group acceptance: does not imply individual belief Acc {lawyer} Guilty B lawyer Guilty consistent 32 / 40
45 Group knowledge, no actions S5 CK = S5 plus Common knowledge CK J ϕ = it is common knowledge in J Agt that ϕ = EK J ϕ EK J EK J ϕ EK J EK J EK J ϕ useful concept: required for multi-agent coordination [Fagin et al., 1995] required for the existence of a convention [Lewis, 1996] common ground in a conversation [Clark & Marshall, 1981] fixpoint axiom: CK J ϕ EK J (ϕ CK J ϕ) induction axiom (greatest fixpoint axiom): ( ϕ CKJ (ϕ EK J ϕ) ) CK J ϕ will be criticized in the next section other forms of group knowledge/belief exist [Tuomela] group acceptance: does not imply individual belief Acc {lawyer} Guilty B lawyer Guilty consistent 32 / 40
46 Group knowledge, no actions S5 CK = S5 plus Common knowledge CK J ϕ = it is common knowledge in J Agt that ϕ = EK J ϕ EK J EK J ϕ EK J EK J EK J ϕ useful concept: required for multi-agent coordination [Fagin et al., 1995] required for the existence of a convention [Lewis, 1996] common ground in a conversation [Clark & Marshall, 1981] fixpoint axiom: CK J ϕ EK J (ϕ CK J ϕ) induction axiom (greatest fixpoint axiom): ( ϕ CKJ (ϕ EK J ϕ) ) CK J ϕ will be criticized in the next section other forms of group knowledge/belief exist [Tuomela] group acceptance: does not imply individual belief Acc {lawyer} Guilty B lawyer Guilty consistent 32 / 40
47 Group knowledge, no actions S5 CK = S5 plus Common knowledge CK J ϕ = it is common knowledge in J Agt that ϕ = EK J ϕ EK J EK J ϕ EK J EK J EK J ϕ useful concept: required for multi-agent coordination [Fagin et al., 1995] required for the existence of a convention [Lewis, 1996] common ground in a conversation [Clark & Marshall, 1981] fixpoint axiom: CK J ϕ EK J (ϕ CK J ϕ) induction axiom (greatest fixpoint axiom): ( ϕ CKJ (ϕ EK J ϕ) ) CK J ϕ will be criticized in the next section other forms of group knowledge/belief exist [Tuomela] group acceptance: does not imply individual belief Acc {lawyer} Guilty B lawyer Guilty consistent 32 / 40
48 Outline 1 No uncertainty, nonstrategic actions 2 No uncertainty, strategic actions 3 Individual knowledge, no actions 4 Individual knowledge, nonstrategic actions 5 Individual knowledge, strategic actions 6 Group knowledge, no actions 7 Group knowledge, nonstrategic actions 8 Group knowledge, strategic actions 33 / 40
49 Group knowledge, nonstrategic actions PAL CK = PAL plus Common knowledge semantics: same as PAL accessibility relation for CK J = greatest fixpoint of EK J relation rebuilt after each update no reduction axioms for CK J : = CK J [ψ!]ϕ [ψ!]ck J ϕ = [ψ!]ck J ϕ ( ψ CK J [ψ!]ϕ) common knowledge may pop up in an unforeseeable way! 34 / 40
50 Group knowledge, nonstrategic actions: the ignorant compatriots Agents B and C are both Italian and don t know each other. They meet during the coffee break and start to talk in English. Init = K B IT B CK {B,C} (IT B K B IT B ) ( IT B K B IT B ) K C IT C CK {B,C} (IT C K C IT C ) ( IT C K C IT C ) 1 first scenario: a third agent truthfully says: Hey, you are both Italian! Init IT B IT C! CK {B,C} (IT B IT C ) 2 second scenario: a third agent truthfully says: Hey, you are compatriots! Init IT B IT C! CK {B,C} (IT B IT C ) [Lorini & H, 2013] 35 / 40
51 Group knowledge, nonstrategic actions: the ignorant compatriots Agents B and C are both Italian and don t know each other. They meet during the coffee break and start to talk in English. Init = K B IT B CK {B,C} (IT B K B IT B ) ( IT B K B IT B ) K C IT C CK {B,C} (IT C K C IT C ) ( IT C K C IT C ) 1 first scenario: a third agent truthfully says: Hey, you are both Italian! Init IT B IT C! CK {B,C} (IT B IT C ) 2 second scenario: a third agent truthfully says: Hey, you are compatriots! Init IT B IT C! CK {B,C} (IT B IT C ) [Lorini & H, 2013] 35 / 40
52 Group knowledge, nonstrategic actions: the ignorant compatriots Agents B and C are both Italian and don t know each other. They meet during the coffee break and start to talk in English. Init = K B IT B CK {B,C} (IT B K B IT B ) ( IT B K B IT B ) K C IT C CK {B,C} (IT C K C IT C ) ( IT C K C IT C ) 1 first scenario: a third agent truthfully says: Hey, you are both Italian! Init IT B IT C! CK {B,C} (IT B IT C ) 2 second scenario: a third agent truthfully says: Hey, you are compatriots! Init IT B IT C! CK {B,C} (IT B IT C ) [Lorini & H, 2013] 35 / 40
53 Group knowledge, nonstrategic actions: the ignorant compatriots, ctd. After the announcement of IT B IT C, is it part of the common ground of the conversation that IT B IT C??? can be viewed as common knowledge version of the omniscience problem: does a group know all the consequences of its knowledge? implicit vs. explicit common knowledge Init IT B IT C! ( ICK {A,B} (IT B IT C ) ECK {A,B} (IT B IT C ) ) implicit common knowledge = PAL CK common knowledge induction axiom: OK reduction axiom: KO explicit common knowledge: accessibility relation for ECK J is some fixpoint, but not necessarily the greatest induction axiom: KO reduction axiom: OK [ψ!]eck J ϕ (ψ ECK J [ψ!]ϕ) 36 / 40
54 Group knowledge, nonstrategic actions: the ignorant compatriots, ctd. After the announcement of IT B IT C, is it part of the common ground of the conversation that IT B IT C??? can be viewed as common knowledge version of the omniscience problem: does a group know all the consequences of its knowledge? implicit vs. explicit common knowledge Init IT B IT C! ( ICK {A,B} (IT B IT C ) ECK {A,B} (IT B IT C ) ) implicit common knowledge = PAL CK common knowledge induction axiom: OK reduction axiom: KO explicit common knowledge: accessibility relation for ECK J is some fixpoint, but not necessarily the greatest induction axiom: KO reduction axiom: OK [ψ!]eck J ϕ (ψ ECK J [ψ!]ϕ) 36 / 40
55 Outline 1 No uncertainty, nonstrategic actions 2 No uncertainty, strategic actions 3 Individual knowledge, no actions 4 Individual knowledge, nonstrategic actions 5 Individual knowledge, strategic actions 6 Group knowledge, no actions 7 Group knowledge, nonstrategic actions 8 Group knowledge, strategic actions 37 / 40
56 Group knowledge, strategic actions ATEL CK = ATEL plus common knowledge problem: uniform strategies K i {i} XSafeOpen ( knowing that ) does not mean that the agent knows which action to choose ( knowing how ) in STIT logic: K i Stit {i} X SafeOpen K i Stit {i} X SafeOpen problem: which form of group knowledge required for (uniform) group strategies? sometimes distributed knowledge DK J ϕ sometimes shared knowledge EK J ϕ sometimes common knowledge CK J ϕ 38 / 40
57 Conclusion S5 CK PAL CK ATEL CK S5 PAL ATEL no uncertainty PDL, CL-PC ATL, STIT knowledge action no actions nonstrategic strategic revisited logics for MAS and their problems S5: inadequate as a logic of knowledge S5 CK : questionable as the logic of common knowledge APAL and ATEL: can t talk about uniform strategies ATL: commitment to strategies missing 39 / 40
58 Conclusion S5 CK PAL CK ATEL CK S5 PAL ATEL no uncertainty PDL, CL-PC ATL, STIT knowledge action no actions nonstrategic strategic revisited logics for MAS and their problems S5: inadequate as a logic of knowledge S5 CK : questionable as the logic of common knowledge APAL and ATEL: can t talk about uniform strategies ATL: commitment to strategies missing 39 / 40
59 Thanks based on joint work with: Philippe Balbiani (U. Toulouse, CNRS) Hans van Ditmarsch (U. Nancy, CNRS) Tiago de Lima (U. Artois, CNRS) Emiliano Lorini (U. Toulouse, CNRS) Frédédric Moisan (U. Toulouse) François Schwarzentruber (U. Rennes, ENS) Nicolas Troquard (CNR, Trento) Dirk Walther (U. Dresden) Eur. Network for Social Intelligence action and agency (WG1) group attitudes (WG3) Eur. Conf. on Social Intelligence ECSI-2014 (deadline Sept. 3) latest version downloadable from 40 / 40
Logics for MAS: a critical overview
Logics for MAS: a critical overview Andreas Herzig CNRS, University of Toulouse, IRIT, France IJCAI 2013, August 9, 2013 1 / 37 Introduction 2 / 37 Introduction Multi-Agent Systems (MAS): agents with imperfect
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 informationMultiagent planning and epistemic logic
Multiagent planning and epistemic logic Andreas Herzig IRIT, CNRS, Univ. Toulouse, France Journée plénière, prégdr sur les Aspects Formels et Algorithmiques de l IA July 5, 2017 1 / 25 Outline 1 Planning:
More informationDynamic Logic of Propositional Assignments and its applications to update, revision and planning
Dynamic Logic of Propositional Assignments and its applications to update, revision and planning Andreas Herzig University of Toulouse, IRIT-CNRS, France Workshop on Planning, Logic and Social Intelligence,
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 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 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 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 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 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 informationLogics 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 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 informationReasoning about actions meets strategic logics Quand le raisonnement sur les actions rencontre les logiques stratégiques
Reasoning about actions meets strategic logics Quand le raisonnement sur les actions rencontre les logiques stratégiques Andreas Herzig lorini@irit.fr Emiliano Lorini herzig@irit.fr Dirk Walther dirkww@googlemail.com
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 informationuse these reduction axioms to reduce both the model checking problem and the satisfiability problem of DEL to the model checking problem and the satis
On the Complexity of Dynamic Epistemic Logic Guillaume Aucher University of Rennes - INRIA guillaume.aucher@irisa.fr François Schwarzentruber ENS Cachan - Brittany extension francois.schwarzentruber@bretagne.enscachan.fr
More informationHow to share knowledge by gossiping
How to share knowledge by gossiping Andreas Herzig and Faustine Maffre University of Toulouse, IRIT http://www.irit.fr/lilac Abstract. Given n agents each of which has a secret (a fact not known to anybody
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 informationSTIT is dangerously undecidable
STIT is dangerously undecidable François Schwarzentruber and Caroline Semmling June 2, 2014 Abstract STIT is a potential logical framework to capture responsibility, counterfactual emotions and norms,
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 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 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 informationKnowable as known after an announcement
RESEARCH REPORT IRIT/RR 2008-2 FR Knowable as known after an announcement Philippe Balbiani 1 Alexandru Baltag 2 Hans van Ditmarsch 1,3 Andreas Herzig 1 Tomohiro Hoshi 4 Tiago de Lima 5 1 Équipe LILAC
More informationOn Logics of Strategic Ability based on Propositional Control
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16) On Logics of Strategic Ability based on Propositional Control Francesco Belardinelli 1 and Andreas Herzig
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 informationArbitrary Announcements in Propositional Belief Revision
Arbitrary Announcements in Propositional Belief Revision Aaron Hunter British Columbia Institute of Technology Burnaby, Canada aaron hunter@bcitca Francois Schwarzentruber ENS Rennes Bruz, France francoisschwarzentruber@ens-rennesfr
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 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 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 informationA Strategic Epistemic Logic for Bounded Memory Agents
CNRS, Université de Lorraine, Nancy, France Workshop on Resource Bounded Agents Barcelona 12 August, 2015 Contents 1 Introduction 2 3 4 5 Combining Strategic and Epistemic Reasoning The goal is to develop
More informationRelaxing Exclusive Control in Boolean Games
Relaxing Exclusive Control in Boolean Games Francesco Belardinelli IBISC, Université d Evry and IRIT, CNRS, Toulouse belardinelli@ibisc.fr Dominique Longin IRIT, CNRS, Toulouse dominique.longin@irit.fr
More informationReversed Squares of Opposition in PAL and DEL
Center for Logic and Analytical Philosophy, University of Leuven lorenz.demey@hiw.kuleuven.be SQUARE 2010, Corsica Goal of the talk public announcement logic (PAL), and dynamic epistemic logic (DEL) in
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 informationSchematic Validity in Dynamic Epistemic Logic: Decidability
This paper has been superseded by W. H. Holliday, T. Hoshi, and T. F. Icard, III, Information dynamics and uniform substitution, Synthese, Vol. 190, 2013, 31-55. Schematic Validity in Dynamic Epistemic
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 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 informationSome Observations on Nabla Modality
Some Observations on Nabla Modality Can Başkent Department of Computer Science, University of Bath can@canbaskent.net www.canbaskent.net/logic 1 Introduction and Motivation The traditional necessity and
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 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 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 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 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 and action in labeled stit logics
Knowledge and action in labeled stit logics John Horty Eric Pacuit April 10, 2014 Abstract Stit semantics supplements branching time models with an operator representing the agency of an individual in
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 informationStrategically Knowing How
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17) Strategically Knowing How Raul Fervari University of Córdoba CONICET Andreas Herzig University of Toulouse
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 informationUpdate As Evidence: Belief Expansion
Update As Evidence: Belief Expansion Roman Kuznets and Thomas Studer Institut für Informatik und angewandte Mathematik Universität Bern {kuznets, tstuder}@iam.unibe.ch http://www.iam.unibe.ch/ltg Abstract.
More informationDEL-sequents for Regression and Epistemic Planning
DEL-sequents for Regression and Epistemic Planning Guillaume Aucher To cite this version: Guillaume Aucher. DEL-sequents for Regression and Epistemic Planning. Journal of Applied Non-Classical Logics,
More informationCeteris Paribus Structure in Logics of Game Forms
Ceteris Paribus Structure in Logics of Game Forms Davide Grossi, Emiliano Lorini, François Schwarzentruber To cite this version: Davide Grossi, Emiliano Lorini, François Schwarzentruber. Ceteris Paribus
More informationDon t Plan for the Unexpected: Planning Based on Plausibility Models
Don t Plan for the Unexpected: Planning Based on Plausibility Models Thomas Bolander, DTU Informatics, Technical University of Denmark Joint work with Mikkel Birkegaard Andersen and Martin Holm Jensen
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 informationKnowable as known after an announcement Balbiani, P.; Baltag, A.; van Ditmarsch, H.P.; Herzig, A.; Hoshi, T.; de Lima, T.
UvA-DARE (Digital Academic Repository) Knowable as known after an announcement Balbiani, P.; Baltag, A.; van Ditmarsch, H.P.; Herzig, A.; Hoshi, T.; de Lima, T. Published in: Review of Symbolic Logic DOI:
More informationBig Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane Olivier Gasquet, Valentin Goranko, Francois Schwarzentruber June 10, 2014 Abstract We consider
More informationAlternating-time Temporal Logics with Irrevocable Strategies
Alternating-time Temporal Logics with Irrevocable Strategies Thomas Ågotnes Dept. of Computer Engineering Bergen University College, Bergen, Norway tag@hib.no Valentin Goranko School of Mathematics Univ.
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 informationOn modularity of theories
On modularity of theories Andreas Herzig Ivan Varzinczak Institut de Recherche en Informatique de Toulouse (IRIT) 118 route de Narbonne F-31062 Toulouse Cedex 4 (France) e-mail: {herzig,ivan}@irit.fr http://www.irit.fr/recherches/lilac
More informationEpistemic Informativeness
Epistemic Informativeness Yanjing Wang and Jie Fan Abstract In this paper, we introduce and formalize the concept of epistemic informativeness (EI) of statements: the set of new propositions that an agent
More informationA Logical Theory of Coordination and Joint Ability
A Logical Theory of Coordination and Joint Ability Hojjat Ghaderi and Hector Levesque Department of Computer Science University of Toronto Toronto, ON M5S 3G4, Canada {hojjat,hector}@cstorontoedu Yves
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 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 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 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 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 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 informationAgent Communication and Belief Change
Agent Communication and Belief Change Satoshi Tojo JAIST November 30, 2014 Satoshi Tojo (JAIST) Agent Communication and Belief Change November 30, 2014 1 / 34 .1 Introduction.2 Introspective Agent.3 I
More informationRelaxing Exclusive Control in Boolean Games
Relaxing Exclusive Control in Boolean Games Francesco Belardinelli IBISC, Université d Evry and IRIT, CNRS, Toulouse belardinelli@ibisc.fr Dominique Longin IRIT, CNRS, Toulouse dominique.longin@irit.fr
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 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 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 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 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 informationCL16, 12th September 2016
CL16, 12th September 2016 for - Soft Outline for - Soft for - Soft The Problem of Anyone who utters: (S) Sherlock Holmes lives in Baker Street would not be objected against by non-philosophers. However:
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 informationA Temporal Logic of Strategic Knowledge
Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning A Temporal Logic of Strategic Knowledge Xiaowei Huang and Ron van der Meyden The University
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 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 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 informationKnowledge and Action in Semi-Public Environments
Knowledge and Action in Semi-Public Environments Wiebe van der Hoek, Petar Iliev, and Michael Wooldridge University of Liverpool, United Kingdom {Wiebe.Van-Der-Hoek,pvi,mjw}@liverpool.ac.uk Abstract. We
More informationFormalizing knowledge-how
Formalizing knowledge-how Tszyuen Lau & Yanjing Wang Department of Philosophy, Peking University Beijing Normal University November 29, 2014 1 Beyond knowing that 2 Knowledge-how vs. Knowledge-that 3 Our
More informationLOGICS OF AGENCY CHAPTER 5: APPLICATIONS OF AGENCY TO POWER. Nicolas Troquard. ESSLLI 2016 Bolzano 1 / 66
1 / 66 LOGICS OF AGENCY CHAPTER 5: APPLICATIONS OF AGENCY TO POWER Nicolas Troquard ESSLLI 26 Bolzano 2 / 66 OVERVIEW OF THIS CHAPTER Remarks about power and deemed ability Power in Coalition Logic and
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 informationA canonical model construction for intuitionistic distributed knowledge
A canonical model construction for intuitionistic distributed knowledge Gerhard Jäger Institute of Computer Science, University of Bern Neubrückstrasse 10, CH-3012 Bern, Switzerland jaeger@inf.unibe.ch
More informationAction representation and partially observable planning using epistemic logic
Action representation and partially observable planning using epistemic logic Andreas Herzig IRIT/UPS F-31062 Toulouse Cedex France herzig@irit.fr Jerome Lang IRIT/UPS F-31062 Toulouse Cedex France lang@irit.fr
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 informationMaximal Introspection of Agents
Electronic Notes in Theoretical Computer Science 70 No. 5 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 16 pages Maximal Introspection of Agents Thomas 1 Informatics and Mathematical Modelling
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 informationAgreement Theorems from the Perspective of Dynamic-Epistemic Logic
Agreement Theorems from the Perspective of Dynamic-Epistemic Logic Olivier Roy & Cedric Dégremont November 10, 2008 Olivier Roy & Cedric Dégremont: Agreement Theorems & Dynamic-Epistemic Logic, 1 Introduction
More informationAwareness, Negation and Logical Omniscience
Awareness, Negation and Logical Omniscience Zhisheng Huang and Karen Kwast Department of Mathematics and Computer Science University of Amsterdam Plantage Muidergracht 24 1018TV Amsterdam, The Netherlands
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 informationKnowledge Compilation in the Modal Logic S5
Knowledge Compilation in the Modal Logic S5 Meghyn Bienvenu Universität Bremen Bremen, Germany meghyn@informatik.uni-bremen.de Hélène Fargier IRIT-CNRS, Université Paul Sabatier, Toulouse, France fargier@irit.fr
More informationAbstract model theory for extensions of modal logic
Abstract model theory for extensions of modal logic Balder ten Cate Stanford, May 13, 2008 Largely based on joint work with Johan van Benthem and Jouko Väänänen Balder ten Cate Abstract model theory for
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 informationCh. 13 Tableaux systems
Ch. 13 Tableaux systems Andreas Herzig IRIT-CNRS Toulouse http://www.irit.fr/~andreas.herzig/ 1 Overview tableaux systems: basic ideas tableaux systems: basic definitions tableaux for simple modal logics
More informationIFI TECHNICAL REPORTS. Institute of Computer Science, Clausthal University of Technology. IfI-05-10
IFI TECHNICAL REPORTS Institute of Computer Science, Clausthal University of Technology IfI-05-10 Clausthal-Zellerfeld 2005 Constructive Knowledge: What Agents Can Achieve under Incomplete Information
More informationAction Types in Stit Semantics
Action Types in Stit Semantics John Horty Eric Pacuit *** DRAFT *** Version of: May 11, 2016 Contents 1 Introduction 1 2 A review of stit semantics 2 2.1 Branching time..................................
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 informationSemantics for Dynamic Syntactic Epistemic Logics
Semantics for Dynamic Syntactic Epistemic Logics Thomas Ågotnes University of Bergen Norway agotnes@ii.uib.no Natasha Alechina University of Nottingham UK nza@cs.nott.ac.uk Abstract Traditional epistemic
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 informationOn the Expressiveness and Complexity of ATL
On the Expressiveness and Complexity of ATL François Laroussinie, Nicolas Markey, Ghassan Oreiby LSV, CNRS & ENS-Cachan Recherches en vérification automatique March 14, 2006 Overview of CTL CTL A Kripke
More informationPreferences in Game Logics
Preferences in Game Logics Sieuwert van Otterloo Department of Computer Science University of Liverpool Liverpool L69 7ZF, United Kingdom sieuwert@csc.liv.ac.uk Wiebe van der Hoek wiebe@csc.liv.ac.uk Michael
More information