epistemic assumptions in unboundedly many...
TRANSCRIPT
![Page 1: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/1.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Epistemic assumptions in unboundedly manyagents
Anantha Padmanabha MS
Institute of Mathematical Sciences, Chennai
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 2: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/2.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Motivation
How does rumour spread in a social network ?
How does a player make a move, based on the knowledge ofprevious actions of her opponent?
In this talk
To study questions like these, we need to model knowledge.
We shall see how to model knowledge and what are itsproperties (axioms).
The players/participants are generally referred to as “agents”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 3: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/3.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Modelling Knowledge
Let Ag = {1, 2, · · · n} be the set of agents.
We have Ki operator for each i , where Kiα is intended tomean that i th agent knows α.
Examples
i knows that “A is taller than B”.− Ki (A is taller than B).
Suppose there is a match between India and Australia andagent i did not watch the match but i knows that agent jwatched the match. Now i knows that “j knows whetherIndia won or not” AND i does not know whether “India wonor not”.(∨ := or ; ∧ := and)- Ki (Kjw ∨ Kj¬w) ∧ ¬(Kiw ∨ Ki¬w)where w means “India won”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 4: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/4.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Modelling Knowledge
Let Ag = {1, 2, · · · n} be the set of agents.
We have Ki operator for each i , where Kiα is intended tomean that i th agent knows α.
Examples
i knows that “A is taller than B”.− Ki (A is taller than B).
Suppose there is a match between India and Australia andagent i did not watch the match but i knows that agent jwatched the match. Now i knows that “j knows whetherIndia won or not” AND i does not know whether “India wonor not”.(∨ := or ; ∧ := and)- Ki (Kjw ∨ Kj¬w) ∧ ¬(Kiw ∨ Ki¬w)where w means “India won”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 5: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/5.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Modelling Knowledge
Let Ag = {1, 2, · · · n} be the set of agents.
We have Ki operator for each i , where Kiα is intended tomean that i th agent knows α.
Examples
i knows that “A is taller than B”.− Ki (A is taller than B).
Suppose there is a match between India and Australia andagent i did not watch the match but i knows that agent jwatched the match.
Now i knows that “j knows whetherIndia won or not” AND i does not know whether “India wonor not”.(∨ := or ; ∧ := and)- Ki (Kjw ∨ Kj¬w) ∧ ¬(Kiw ∨ Ki¬w)where w means “India won”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 6: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/6.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Modelling Knowledge
Let Ag = {1, 2, · · · n} be the set of agents.
We have Ki operator for each i , where Kiα is intended tomean that i th agent knows α.
Examples
i knows that “A is taller than B”.− Ki (A is taller than B).
Suppose there is a match between India and Australia andagent i did not watch the match but i knows that agent jwatched the match. Now i knows that “j knows whetherIndia won or not” AND i does not know whether “India wonor not”.
(∨ := or ; ∧ := and)- Ki (Kjw ∨ Kj¬w) ∧ ¬(Kiw ∨ Ki¬w)where w means “India won”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 7: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/7.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Modelling Knowledge
Let Ag = {1, 2, · · · n} be the set of agents.
We have Ki operator for each i , where Kiα is intended tomean that i th agent knows α.
Examples
i knows that “A is taller than B”.− Ki (A is taller than B).
Suppose there is a match between India and Australia andagent i did not watch the match but i knows that agent jwatched the match. Now i knows that “j knows whetherIndia won or not” AND i does not know whether “India wonor not”.(∨ := or ; ∧ := and)- Ki (Kjw ∨ Kj¬w) ∧ ¬(Kiw ∨ Ki¬w)where w means “India won”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 8: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/8.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge
Now let us see what properties should the Ki operatorsatisfy.
(⇒:= implies)
Knowledge is closed under conjunction.(Kiα ∧ Kiβ)⇒ Ki (α ∧ β).
Agent cannot have false knowledge.− Ki (2 + 3 = 6) is absurd. If agent i knows α then α has tobe true.Formally: Kiα⇒ α. (T axiom)
Agent can use her knowledge for deductions.− Suppose, Ki (Australia lost ⇒ India won) andKi (Australia lost) then agent i should be able to deduce thatKi (India won).
Formally:Ki (α⇒ β) ∧ Ki (α)
Ki (β).(K axiom)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 9: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/9.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge
Now let us see what properties should the Ki operatorsatisfy.(⇒:= implies)
Knowledge is closed under conjunction.(Kiα ∧ Kiβ)⇒ Ki (α ∧ β).
Agent cannot have false knowledge.− Ki (2 + 3 = 6) is absurd. If agent i knows α then α has tobe true.Formally: Kiα⇒ α. (T axiom)
Agent can use her knowledge for deductions.− Suppose, Ki (Australia lost ⇒ India won) andKi (Australia lost) then agent i should be able to deduce thatKi (India won).
Formally:Ki (α⇒ β) ∧ Ki (α)
Ki (β).(K axiom)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 10: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/10.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge
Now let us see what properties should the Ki operatorsatisfy.(⇒:= implies)
Knowledge is closed under conjunction.(Kiα ∧ Kiβ)⇒ Ki (α ∧ β).
Agent cannot have false knowledge.
− Ki (2 + 3 = 6) is absurd. If agent i knows α then α has tobe true.Formally: Kiα⇒ α. (T axiom)
Agent can use her knowledge for deductions.− Suppose, Ki (Australia lost ⇒ India won) andKi (Australia lost) then agent i should be able to deduce thatKi (India won).
Formally:Ki (α⇒ β) ∧ Ki (α)
Ki (β).(K axiom)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 11: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/11.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge
Now let us see what properties should the Ki operatorsatisfy.(⇒:= implies)
Knowledge is closed under conjunction.(Kiα ∧ Kiβ)⇒ Ki (α ∧ β).
Agent cannot have false knowledge.− Ki (2 + 3 = 6) is absurd. If agent i knows α then α has tobe true.
Formally: Kiα⇒ α. (T axiom)
Agent can use her knowledge for deductions.− Suppose, Ki (Australia lost ⇒ India won) andKi (Australia lost) then agent i should be able to deduce thatKi (India won).
Formally:Ki (α⇒ β) ∧ Ki (α)
Ki (β).(K axiom)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 12: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/12.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge
Now let us see what properties should the Ki operatorsatisfy.(⇒:= implies)
Knowledge is closed under conjunction.(Kiα ∧ Kiβ)⇒ Ki (α ∧ β).
Agent cannot have false knowledge.− Ki (2 + 3 = 6) is absurd. If agent i knows α then α has tobe true.Formally: Kiα⇒ α. (T axiom)
Agent can use her knowledge for deductions.− Suppose, Ki (Australia lost ⇒ India won) andKi (Australia lost) then agent i should be able to deduce thatKi (India won).
Formally:Ki (α⇒ β) ∧ Ki (α)
Ki (β).(K axiom)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 13: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/13.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge
Now let us see what properties should the Ki operatorsatisfy.(⇒:= implies)
Knowledge is closed under conjunction.(Kiα ∧ Kiβ)⇒ Ki (α ∧ β).
Agent cannot have false knowledge.− Ki (2 + 3 = 6) is absurd. If agent i knows α then α has tobe true.Formally: Kiα⇒ α. (T axiom)
Agent can use her knowledge for deductions.
− Suppose, Ki (Australia lost ⇒ India won) andKi (Australia lost) then agent i should be able to deduce thatKi (India won).
Formally:Ki (α⇒ β) ∧ Ki (α)
Ki (β).(K axiom)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 14: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/14.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge
Now let us see what properties should the Ki operatorsatisfy.(⇒:= implies)
Knowledge is closed under conjunction.(Kiα ∧ Kiβ)⇒ Ki (α ∧ β).
Agent cannot have false knowledge.− Ki (2 + 3 = 6) is absurd. If agent i knows α then α has tobe true.Formally: Kiα⇒ α. (T axiom)
Agent can use her knowledge for deductions.− Suppose, Ki (Australia lost ⇒ India won) andKi (Australia lost)
then agent i should be able to deduce thatKi (India won).
Formally:Ki (α⇒ β) ∧ Ki (α)
Ki (β).(K axiom)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 15: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/15.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge
Now let us see what properties should the Ki operatorsatisfy.(⇒:= implies)
Knowledge is closed under conjunction.(Kiα ∧ Kiβ)⇒ Ki (α ∧ β).
Agent cannot have false knowledge.− Ki (2 + 3 = 6) is absurd. If agent i knows α then α has tobe true.Formally: Kiα⇒ α. (T axiom)
Agent can use her knowledge for deductions.− Suppose, Ki (Australia lost ⇒ India won) andKi (Australia lost) then agent i should be able to deduce thatKi (India won).
Formally:Ki (α⇒ β) ∧ Ki (α)
Ki (β).(K axiom)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 16: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/16.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge
Now let us see what properties should the Ki operatorsatisfy.(⇒:= implies)
Knowledge is closed under conjunction.(Kiα ∧ Kiβ)⇒ Ki (α ∧ β).
Agent cannot have false knowledge.− Ki (2 + 3 = 6) is absurd. If agent i knows α then α has tobe true.Formally: Kiα⇒ α. (T axiom)
Agent can use her knowledge for deductions.− Suppose, Ki (Australia lost ⇒ India won) andKi (Australia lost) then agent i should be able to deduce thatKi (India won).
Formally:Ki (α⇒ β) ∧ Ki (α)
Ki (β).(K axiom)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 17: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/17.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge (for an Ideal agent)
Agent is logically omniscient.
− Ki (India won ∨ ¬India won) with out actually knowing theresult of the match. In general, agent i knows all tautologies(Formulas that are always true).
Formally:α is a tautology
Ki (α)(necessitation)
Agent can positively introspect.− if “i knows that India won” then “i knows that (i knowsIndia won)”.Formally: Kiα⇒ Ki (Kiα). (Axiom 4)
Agent can negatively introspect.− if “i does not know that India won” then “i knows that (idoes not know that India won)”.Formally: ¬Ki (α)⇒ Ki (¬Ki (α)). (Axiom 5)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 18: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/18.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge (for an Ideal agent)
Agent is logically omniscient.− Ki (India won ∨ ¬India won) with out actually knowing theresult of the match.
In general, agent i knows all tautologies(Formulas that are always true).
Formally:α is a tautology
Ki (α)(necessitation)
Agent can positively introspect.− if “i knows that India won” then “i knows that (i knowsIndia won)”.Formally: Kiα⇒ Ki (Kiα). (Axiom 4)
Agent can negatively introspect.− if “i does not know that India won” then “i knows that (idoes not know that India won)”.Formally: ¬Ki (α)⇒ Ki (¬Ki (α)). (Axiom 5)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 19: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/19.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge (for an Ideal agent)
Agent is logically omniscient.− Ki (India won ∨ ¬India won) with out actually knowing theresult of the match. In general, agent i knows all tautologies(Formulas that are always true).
Formally:α is a tautology
Ki (α)(necessitation)
Agent can positively introspect.− if “i knows that India won” then “i knows that (i knowsIndia won)”.Formally: Kiα⇒ Ki (Kiα). (Axiom 4)
Agent can negatively introspect.− if “i does not know that India won” then “i knows that (idoes not know that India won)”.Formally: ¬Ki (α)⇒ Ki (¬Ki (α)). (Axiom 5)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 20: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/20.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge (for an Ideal agent)
Agent is logically omniscient.− Ki (India won ∨ ¬India won) with out actually knowing theresult of the match. In general, agent i knows all tautologies(Formulas that are always true).
Formally:α is a tautology
Ki (α)(necessitation)
Agent can positively introspect.− if “i knows that India won” then “i knows that (i knowsIndia won)”.Formally: Kiα⇒ Ki (Kiα). (Axiom 4)
Agent can negatively introspect.− if “i does not know that India won” then “i knows that (idoes not know that India won)”.Formally: ¬Ki (α)⇒ Ki (¬Ki (α)). (Axiom 5)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 21: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/21.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge (for an Ideal agent)
Agent is logically omniscient.− Ki (India won ∨ ¬India won) with out actually knowing theresult of the match. In general, agent i knows all tautologies(Formulas that are always true).
Formally:α is a tautology
Ki (α)(necessitation)
Agent can positively introspect.
− if “i knows that India won” then “i knows that (i knowsIndia won)”.Formally: Kiα⇒ Ki (Kiα). (Axiom 4)
Agent can negatively introspect.− if “i does not know that India won” then “i knows that (idoes not know that India won)”.Formally: ¬Ki (α)⇒ Ki (¬Ki (α)). (Axiom 5)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 22: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/22.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge (for an Ideal agent)
Agent is logically omniscient.− Ki (India won ∨ ¬India won) with out actually knowing theresult of the match. In general, agent i knows all tautologies(Formulas that are always true).
Formally:α is a tautology
Ki (α)(necessitation)
Agent can positively introspect.− if “i knows that India won” then “i knows that (i knowsIndia won)”.Formally: Kiα⇒ Ki (Kiα). (Axiom 4)
Agent can negatively introspect.− if “i does not know that India won” then “i knows that (idoes not know that India won)”.Formally: ¬Ki (α)⇒ Ki (¬Ki (α)). (Axiom 5)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 23: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/23.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge (for an Ideal agent)
Agent is logically omniscient.− Ki (India won ∨ ¬India won) with out actually knowing theresult of the match. In general, agent i knows all tautologies(Formulas that are always true).
Formally:α is a tautology
Ki (α)(necessitation)
Agent can positively introspect.− if “i knows that India won” then “i knows that (i knowsIndia won)”.Formally: Kiα⇒ Ki (Kiα). (Axiom 4)
Agent can negatively introspect.
− if “i does not know that India won” then “i knows that (idoes not know that India won)”.Formally: ¬Ki (α)⇒ Ki (¬Ki (α)). (Axiom 5)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 24: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/24.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Properties of Knowledge (for an Ideal agent)
Agent is logically omniscient.− Ki (India won ∨ ¬India won) with out actually knowing theresult of the match. In general, agent i knows all tautologies(Formulas that are always true).
Formally:α is a tautology
Ki (α)(necessitation)
Agent can positively introspect.− if “i knows that India won” then “i knows that (i knowsIndia won)”.Formally: Kiα⇒ Ki (Kiα). (Axiom 4)
Agent can negatively introspect.− if “i does not know that India won” then “i knows that (idoes not know that India won)”.Formally: ¬Ki (α)⇒ Ki (¬Ki (α)). (Axiom 5)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 25: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/25.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Logicians in a bar
We shall model this setting
How did the last logician figure out the answer ?
We shall modelthis situation in our logic and find it out.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 26: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/26.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Logicians in a bar
We shall model this setting
How did the last logician figure out the answer ? We shall modelthis situation in our logic and find it out.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 27: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/27.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
A puzzle
Logicians in a bar
Let us consider 2 logicians to make the notations simple. The storystill remains the same. How did the 2nd(last) agent know theanswer ?
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 28: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/28.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Formalizing the puzzle
Let {1, 2} be the agents.
Let a = Logician 1 wants beer ; b = Logician 2 wants beer .
The waiter asks “Does everyone wants beer” which translatesto “Is (a ∧ b) true”?
Now for any agent i ∈ {1, 2}i th agent answers “yes” iff Ki (a ∧ b).i th agent answers “no” iff Ki (¬(a ∧ b)).i th agent answers “I dont know” iff¬Ki (a ∧ b) and ¬Ki (¬(a ∧ b)).
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 29: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/29.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Formalizing the puzzle
Let {1, 2} be the agents.
Let a = Logician 1 wants beer ; b = Logician 2 wants beer .
The waiter asks “Does everyone wants beer” which translatesto “Is (a ∧ b) true”?
Now for any agent i ∈ {1, 2}i th agent answers “yes” iff Ki (a ∧ b).i th agent answers “no” iff Ki (¬(a ∧ b)).i th agent answers “I dont know” iff¬Ki (a ∧ b) and ¬Ki (¬(a ∧ b)).
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 30: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/30.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Formalizing the puzzle
Let {1, 2} be the agents.
Let a = Logician 1 wants beer ; b = Logician 2 wants beer .
The waiter asks “Does everyone wants beer” which translatesto “Is (a ∧ b) true”?
Now for any agent i ∈ {1, 2}i th agent answers “yes” iff Ki (a ∧ b).i th agent answers “no” iff Ki (¬(a ∧ b)).i th agent answers “I dont know” iff¬Ki (a ∧ b) and ¬Ki (¬(a ∧ b)).
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 31: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/31.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Formalizing the puzzle
Let {1, 2} be the agents.
Let a = Logician 1 wants beer ; b = Logician 2 wants beer .
The waiter asks “Does everyone wants beer” which translatesto “Is (a ∧ b) true”?
Now for any agent i ∈ {1, 2}i th agent answers “yes” iff Ki (a ∧ b).i th agent answers “no” iff Ki (¬(a ∧ b)).i th agent answers “I dont know” iff¬Ki (a ∧ b) and ¬Ki (¬(a ∧ b)).
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 32: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/32.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
In this setting, initially the first logician says “I dont know”.
After hearing this, agent 2 reasons as follows:1 Suppose ¬a. It means “1 does not want beer” and hence 1
knows that 1 does not want beer K1¬a.2 Also, (¬a⇒ ¬(a ∧ b)) is a tautology. Hence (by necessitation)
K1(¬a⇒ ¬(a ∧ b)).3 Now (by K axiom on (1) and (2)) we have K1(¬(a ∧ b)).
(Ki (α⇒ β) ∧ Ki (α)
Ki (β).)
4 Now, K1(¬(a ∧ b)) iff agent 1 would have answered “No”.This is a contradiction to the announcement made by Agent 1.
Hence 2 deduces that “¬a is impossible. Therefore it has tobe the case that a” and hence K2a.
Now, Logician 2 can answer “No” if she does not want beer andshe can answer “yes” if she wants beer since she has figured outthat Logician 1 wants beer. Since she answered yes, in this case“she also wants beer”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 33: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/33.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
In this setting, initially the first logician says “I dont know”.After hearing this, agent 2 reasons as follows:
1 Suppose ¬a. It means “1 does not want beer”
and hence 1knows that 1 does not want beer K1¬a.
2 Also, (¬a⇒ ¬(a ∧ b)) is a tautology. Hence (by necessitation)K1(¬a⇒ ¬(a ∧ b)).
3 Now (by K axiom on (1) and (2)) we have K1(¬(a ∧ b)).
(Ki (α⇒ β) ∧ Ki (α)
Ki (β).)
4 Now, K1(¬(a ∧ b)) iff agent 1 would have answered “No”.This is a contradiction to the announcement made by Agent 1.
Hence 2 deduces that “¬a is impossible. Therefore it has tobe the case that a” and hence K2a.
Now, Logician 2 can answer “No” if she does not want beer andshe can answer “yes” if she wants beer since she has figured outthat Logician 1 wants beer. Since she answered yes, in this case“she also wants beer”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 34: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/34.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
In this setting, initially the first logician says “I dont know”.After hearing this, agent 2 reasons as follows:
1 Suppose ¬a. It means “1 does not want beer” and hence 1knows that 1 does not want beer K1¬a.
2 Also, (¬a⇒ ¬(a ∧ b)) is a tautology. Hence (by necessitation)K1(¬a⇒ ¬(a ∧ b)).
3 Now (by K axiom on (1) and (2)) we have K1(¬(a ∧ b)).
(Ki (α⇒ β) ∧ Ki (α)
Ki (β).)
4 Now, K1(¬(a ∧ b)) iff agent 1 would have answered “No”.This is a contradiction to the announcement made by Agent 1.
Hence 2 deduces that “¬a is impossible. Therefore it has tobe the case that a” and hence K2a.
Now, Logician 2 can answer “No” if she does not want beer andshe can answer “yes” if she wants beer since she has figured outthat Logician 1 wants beer. Since she answered yes, in this case“she also wants beer”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 35: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/35.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
In this setting, initially the first logician says “I dont know”.After hearing this, agent 2 reasons as follows:
1 Suppose ¬a. It means “1 does not want beer” and hence 1knows that 1 does not want beer K1¬a.
2 Also, (¬a⇒ ¬(a ∧ b)) is a tautology. Hence (by necessitation)K1(¬a⇒ ¬(a ∧ b)).
3 Now (by K axiom on (1) and (2)) we have K1(¬(a ∧ b)).
(Ki (α⇒ β) ∧ Ki (α)
Ki (β).)
4 Now, K1(¬(a ∧ b)) iff agent 1 would have answered “No”.This is a contradiction to the announcement made by Agent 1.
Hence 2 deduces that “¬a is impossible. Therefore it has tobe the case that a” and hence K2a.
Now, Logician 2 can answer “No” if she does not want beer andshe can answer “yes” if she wants beer since she has figured outthat Logician 1 wants beer. Since she answered yes, in this case“she also wants beer”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 36: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/36.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
In this setting, initially the first logician says “I dont know”.After hearing this, agent 2 reasons as follows:
1 Suppose ¬a. It means “1 does not want beer” and hence 1knows that 1 does not want beer K1¬a.
2 Also, (¬a⇒ ¬(a ∧ b)) is a tautology. Hence (by necessitation)K1(¬a⇒ ¬(a ∧ b)).
3 Now (by K axiom on (1) and (2)) we have K1(¬(a ∧ b)).
(Ki (α⇒ β) ∧ Ki (α)
Ki (β).)
4 Now, K1(¬(a ∧ b)) iff agent 1 would have answered “No”.This is a contradiction to the announcement made by Agent 1.
Hence 2 deduces that “¬a is impossible. Therefore it has tobe the case that a” and hence K2a.
Now, Logician 2 can answer “No” if she does not want beer andshe can answer “yes” if she wants beer since she has figured outthat Logician 1 wants beer. Since she answered yes, in this case“she also wants beer”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 37: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/37.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
In this setting, initially the first logician says “I dont know”.After hearing this, agent 2 reasons as follows:
1 Suppose ¬a. It means “1 does not want beer” and hence 1knows that 1 does not want beer K1¬a.
2 Also, (¬a⇒ ¬(a ∧ b)) is a tautology. Hence (by necessitation)K1(¬a⇒ ¬(a ∧ b)).
3 Now (by K axiom on (1) and (2)) we have K1(¬(a ∧ b)).
(Ki (α⇒ β) ∧ Ki (α)
Ki (β).)
4 Now, K1(¬(a ∧ b)) iff agent 1 would have answered “No”.This is a contradiction to the announcement made by Agent 1.
Hence 2 deduces that “¬a is impossible. Therefore it has tobe the case that a” and hence K2a.
Now, Logician 2 can answer “No” if she does not want beer andshe can answer “yes” if she wants beer since she has figured outthat Logician 1 wants beer. Since she answered yes, in this case“she also wants beer”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 38: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/38.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
In this setting, initially the first logician says “I dont know”.After hearing this, agent 2 reasons as follows:
1 Suppose ¬a. It means “1 does not want beer” and hence 1knows that 1 does not want beer K1¬a.
2 Also, (¬a⇒ ¬(a ∧ b)) is a tautology. Hence (by necessitation)K1(¬a⇒ ¬(a ∧ b)).
3 Now (by K axiom on (1) and (2)) we have K1(¬(a ∧ b)).
(Ki (α⇒ β) ∧ Ki (α)
Ki (β).)
4 Now, K1(¬(a ∧ b)) iff agent 1 would have answered “No”.This is a contradiction to the announcement made by Agent 1.
Hence 2 deduces that “¬a is impossible. Therefore it has tobe the case that a”
and hence K2a.
Now, Logician 2 can answer “No” if she does not want beer andshe can answer “yes” if she wants beer since she has figured outthat Logician 1 wants beer. Since she answered yes, in this case“she also wants beer”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 39: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/39.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
In this setting, initially the first logician says “I dont know”.After hearing this, agent 2 reasons as follows:
1 Suppose ¬a. It means “1 does not want beer” and hence 1knows that 1 does not want beer K1¬a.
2 Also, (¬a⇒ ¬(a ∧ b)) is a tautology. Hence (by necessitation)K1(¬a⇒ ¬(a ∧ b)).
3 Now (by K axiom on (1) and (2)) we have K1(¬(a ∧ b)).
(Ki (α⇒ β) ∧ Ki (α)
Ki (β).)
4 Now, K1(¬(a ∧ b)) iff agent 1 would have answered “No”.This is a contradiction to the announcement made by Agent 1.
Hence 2 deduces that “¬a is impossible. Therefore it has tobe the case that a” and hence K2a.
Now, Logician 2 can answer “No” if she does not want beer andshe can answer “yes” if she wants beer since she has figured outthat Logician 1 wants beer. Since she answered yes, in this case“she also wants beer”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 40: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/40.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
In this setting, initially the first logician says “I dont know”.After hearing this, agent 2 reasons as follows:
1 Suppose ¬a. It means “1 does not want beer” and hence 1knows that 1 does not want beer K1¬a.
2 Also, (¬a⇒ ¬(a ∧ b)) is a tautology. Hence (by necessitation)K1(¬a⇒ ¬(a ∧ b)).
3 Now (by K axiom on (1) and (2)) we have K1(¬(a ∧ b)).
(Ki (α⇒ β) ∧ Ki (α)
Ki (β).)
4 Now, K1(¬(a ∧ b)) iff agent 1 would have answered “No”.This is a contradiction to the announcement made by Agent 1.
Hence 2 deduces that “¬a is impossible. Therefore it has tobe the case that a” and hence K2a.
Now, Logician 2 can answer “No” if she does not want beer
andshe can answer “yes” if she wants beer since she has figured outthat Logician 1 wants beer. Since she answered yes, in this case“she also wants beer”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 41: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/41.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
In this setting, initially the first logician says “I dont know”.After hearing this, agent 2 reasons as follows:
1 Suppose ¬a. It means “1 does not want beer” and hence 1knows that 1 does not want beer K1¬a.
2 Also, (¬a⇒ ¬(a ∧ b)) is a tautology. Hence (by necessitation)K1(¬a⇒ ¬(a ∧ b)).
3 Now (by K axiom on (1) and (2)) we have K1(¬(a ∧ b)).
(Ki (α⇒ β) ∧ Ki (α)
Ki (β).)
4 Now, K1(¬(a ∧ b)) iff agent 1 would have answered “No”.This is a contradiction to the announcement made by Agent 1.
Hence 2 deduces that “¬a is impossible. Therefore it has tobe the case that a” and hence K2a.
Now, Logician 2 can answer “No” if she does not want beer andshe can answer “yes” if she wants beer since she has figured outthat Logician 1 wants beer.
Since she answered yes, in this case“she also wants beer”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 42: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/42.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
In this setting, initially the first logician says “I dont know”.After hearing this, agent 2 reasons as follows:
1 Suppose ¬a. It means “1 does not want beer” and hence 1knows that 1 does not want beer K1¬a.
2 Also, (¬a⇒ ¬(a ∧ b)) is a tautology. Hence (by necessitation)K1(¬a⇒ ¬(a ∧ b)).
3 Now (by K axiom on (1) and (2)) we have K1(¬(a ∧ b)).
(Ki (α⇒ β) ∧ Ki (α)
Ki (β).)
4 Now, K1(¬(a ∧ b)) iff agent 1 would have answered “No”.This is a contradiction to the announcement made by Agent 1.
Hence 2 deduces that “¬a is impossible. Therefore it has tobe the case that a” and hence K2a.
Now, Logician 2 can answer “No” if she does not want beer andshe can answer “yes” if she wants beer since she has figured outthat Logician 1 wants beer. Since she answered yes, in this case“she also wants beer”.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 43: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/43.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Complete Axiomatization
Complete Axiomatization
Note we used only K axiom and necessitation in the last proof.
In fact for any model in this logic, all deductions aboutknowledge of agents can be arrived using only KT45 axioms+ necessitation + MP (also called S5 axiom system). (andwe can prove that it is indeed the case).
Hence S5 forms a complete axiom system for n ideal agentssetting.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 44: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/44.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Complete Axiomatization
Complete Axiomatization
Note we used only K axiom and necessitation in the last proof.
In fact for any model in this logic, all deductions aboutknowledge of agents can be arrived using only KT45 axioms+ necessitation + MP (also called S5 axiom system). (andwe can prove that it is indeed the case).
Hence S5 forms a complete axiom system for n ideal agentssetting.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 45: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/45.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Complete Axiomatization
Complete Axiomatization
Note we used only K axiom and necessitation in the last proof.
In fact for any model in this logic, all deductions aboutknowledge of agents can be arrived using only KT45 axioms+ necessitation + MP (also called S5 axiom system). (andwe can prove that it is indeed the case).
Hence S5 forms a complete axiom system for n ideal agentssetting.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 46: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/46.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Unboundedly many agents
For the above logic, we need to know the number of agentsparticipating in the system beforehand.
This might not be the case always. We might not be able tobound the number of agents participating apriori.
Client - Server models.Social networks.Large games (voting).
We would like to have logic that can handle arbitrary manynumber of agents (finite unbounded or infinite).
One approach is to use quantification over agents so that wecan express statements like ∃xKx(α).
My work includes exploring various logics suitable to modelknowledge of unboundedly many agents.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 47: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/47.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Unboundedly many agents
For the above logic, we need to know the number of agentsparticipating in the system beforehand.
This might not be the case always. We might not be able tobound the number of agents participating apriori.
Client - Server models.Social networks.Large games (voting).
We would like to have logic that can handle arbitrary manynumber of agents (finite unbounded or infinite).
One approach is to use quantification over agents so that wecan express statements like ∃xKx(α).
My work includes exploring various logics suitable to modelknowledge of unboundedly many agents.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 48: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/48.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Unboundedly many agents
For the above logic, we need to know the number of agentsparticipating in the system beforehand.
This might not be the case always. We might not be able tobound the number of agents participating apriori.
Client - Server models.Social networks.Large games (voting).
We would like to have logic that can handle arbitrary manynumber of agents (finite unbounded or infinite).
One approach is to use quantification over agents so that wecan express statements like ∃xKx(α).
My work includes exploring various logics suitable to modelknowledge of unboundedly many agents.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 49: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/49.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Unboundedly many agents
For the above logic, we need to know the number of agentsparticipating in the system beforehand.
This might not be the case always. We might not be able tobound the number of agents participating apriori.
Client - Server models.Social networks.Large games (voting).
We would like to have logic that can handle arbitrary manynumber of agents (finite unbounded or infinite).
One approach is to use quantification over agents so that wecan express statements like ∃xKx(α).
My work includes exploring various logics suitable to modelknowledge of unboundedly many agents.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 50: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/50.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Unboundedly many agents
For the above logic, we need to know the number of agentsparticipating in the system beforehand.
This might not be the case always. We might not be able tobound the number of agents participating apriori.
Client - Server models.Social networks.Large games (voting).
We would like to have logic that can handle arbitrary manynumber of agents (finite unbounded or infinite).
One approach is to use quantification over agents so that wecan express statements like ∃xKx(α).
My work includes exploring various logics suitable to modelknowledge of unboundedly many agents.
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents
![Page 51: Epistemic assumptions in unboundedly many agentsananthap/images-static/seminarWeek'17.pdfAnantha Padmanabha MS Epistemic assumptions in unboundedly many agents. Introduction Knowledge](https://reader035.vdocuments.net/reader035/viewer/2022071505/61253a8112a6fc5b5c08ef9c/html5/thumbnails/51.jpg)
IntroductionKnowledge of ’n’ Agent
Logicians in the barUnboundedly many agents
Any questions ? ;)
Anantha Padmanabha MS Epistemic assumptions in unboundedly many agents