评论详情页
全部回复1 条回复
应行仁
赞
+1
赞
+1
Vanderschraaf, Peter and Sillari, Giacomo, "Common Knowledge", The Stanford Encyclopedia of Philosophy (Spring 2009 Edition), Edward N. Zalta (ed.),
http://plato.stanford.edu/archives/spr2009/entries/common-knowledge/
【公共知识的一种定义】
We can now define mutual and common knowledge as follows:
Definition
Let a set Ω of possible worlds together with a set of agents N be given.
1. The proposition that A is (first level or first order) mutual knowledge for the agents of N,K1N(A), is the set defined by
K 1 N (A) ≡ ∩ i ∈ N K i (A).
2. The proposition that A is mth level (or mth order) mutual knowledge among the agents of N,KmN(A), is defined recursively as the set
K m N (A) ≡ ∩ i ∈ N K i (Km−1N(A)).
3. The proposition that A is common knowledgeamong the agents of N,K*N(A), is defined as the set
详看：为什么要向人认错？（科普）http://blog.sciencenet.cn/blog-826653-639066.html
http://plato.stanford.edu/archives/spr2009/entries/common-knowledge/
【公共知识的一种定义】
We can now define mutual and common knowledge as follows:
Definition
Let a set Ω of possible worlds together with a set of agents N be given.
1. The proposition that A is (first level or first order) mutual knowledge for the agents of N,K1N(A), is the set defined by
K 1 N (A) ≡ ∩ i ∈ N K i (A).
2. The proposition that A is mth level (or mth order) mutual knowledge among the agents of N,KmN(A), is defined recursively as the set
K m N (A) ≡ ∩ i ∈ N K i (Km−1N(A)).
3. The proposition that A is common knowledgeamong the agents of N,K*N(A), is defined as the set
详看：为什么要向人认错？（科普）http://blog.sciencenet.cn/blog-826653-639066.html
01-03 12:43
