Bạn có thể muốn chính xác hơn một chút về ý của bạn về "Nguyên tắc mặc khải" vì có nhiều công thức của "Nguyên tắc mặc khải" ngoài kia, một số trong đó mạnh hơn những thứ khác. Mỗi công thức này đưa ra một yêu cầu khác nhau và dựa trên một nhóm các giả định cụ thể. Tất nhiên, yêu cầu thường sẽ không thành sự thật nếu một số giả định là sai.
(Sau đây là từ các ghi chú tôi nhận được từ một lớp kinh tế vi mô.)
Ví dụ, hãy xem xét phiên bản sau của nguyên tắc mặc khải, từ Repullo (1985), Đánh giá các nghiên cứu kinh tế:
Nguyên tắc mặc khải của Repullo: Gọi là một cơ chế chiến lược chi phối cho trò chơi , trong đó là một dạng trò chơi. Đối với mỗi hàm chọn cân bằng , tồn tại một cơ chế chiến lược chi phối trực tiếp tương đương đến (trong đó là tập hợp các loại). Ngoài ra, hàm chọn cân bằng là tính từ , thì kết quả cân bằng chi phối theo là một tập hợp con của kết quả cân bằng chi phối dưới cho tất cảgΓ ≡ ( g, U1, ... , Un)gs : Θ → ShgΘS*: Θ → Shgq ∈ q.
Phần in đậm rất quan trọng. Nếu nó không được thỏa mãn, vẫn có thể có một trạng thái cân bằng không chân thực trong cơ chế trực tiếp tương đương. Một ví dụ được cung cấp trong Repullo (1985), Tạp chí Nghiên cứu kinh tế Trang 223-229.
Θ 1 ≡ { θ ' 1 , θ " 1 } Θ 2 ≡ { θ ' 2 , θ " 2 }
A ≡ { a , b , c , d}
Θ1≡ { θ'1, θ′ ′1}
Θ2≡ { θ'2, θ′ ′2}
bạn1( ⋅ , θ'1)bạn1( ⋅ , θ′ ′1)bạn2( ⋅ , θ'2)bạn2( ⋅ , θ′ ′2)một2121b4022c2240d4444
S1≡ { s'1, s′ ′1, s′1}
S2≡ { s'2, s′ ′2, s′2}
Hình thức trò chơi là
S'1S′ ′1S′1S'2mộtccS′ ′2bdbS′2bcmột
Bật có thể kiểm tra sau đây là một cơ chế trực tiếp tương đương
θ1θ1θ'2mộtcθ′ ′2bd
Tuy nhiên, khi các loại là , mặc dù nói sự thật là một chiến lược chi phối, bất kỳ báo cáo ưu tiên nào khác cũng là một chiến lược chi phối . Điều này có thể khá phiền phức vì nó có nghĩa là đối với một số cấu hình của các loại, nói sự thật chỉ là một điểm cân bằng giữa những người khác. Do đó, chúng tôi không có đảm bảo thực sự rằng "nói sự thật" sẽ được phát (thậm chí có thể nói rằng sự thật là Pareto bị chi phối bởi một trạng thái cân bằng khác. Sử dụng một lập luận đầu mối, điều này có thể làm giảm thêm sự liên quan của sự thật- nói cân bằng).( θ'1, θ'2)
Vấn đề trên là do trong trò chơi gốc, một số chiến lược không bao giờ được chơi, được loại trừ nếu là tính từ. Vì vậy, phiên bản Nguyên lý mặc khải của Repullo (yêu cầu rằng mọi kết quả cân bằng chiến lược chi phối của trò chơi tương đương đều nằm trong kết quả cân bằng của trò chơi ban đầu đối với mọi cấu hình có thể có của các loại ) chỉ tồn tại nếu chức năng lựa chọn cân bằng bị loại bỏ và ngược lại.S*