Về Nền Tảng Tri Thức cho Tính Chiếm Vị Yếu Liên Tục: Phân Tích trong Logic của Thái Độ Cá Nhân và Tập Thể

Springer Science and Business Media LLC - Tập 42 - Trang 863-904 - 2013
Emiliano Lorini1
1IRIT-CNRS, Toulouse, France

Tóm tắt

Bài báo này đề xuất một khung logic để biểu diễn các thuộc tính tĩnh và động của nhiều loại thái độ cá nhân và tập thể khác nhau. Đưa ra một cách định nghĩa đầy đủ cũng như kết quả có thể quyết định cho logic này. Logic được áp dụng trong lý thuyết trò chơi bằng cách cung cấp một phân tích chính thức về các điều kiện tri thức của việc loại bỏ lặp đi lặp lại các chiến lược yếu bị chiếm vị (IDWDS), hay còn gọi tắt là chiếm vị yếu lặp lại. Sự khác biệt chính giữa phân tích các điều kiện tri thức của chiếm vị yếu lặp lại được trình bày trong bài báo này và các phân tích khác là chúng tôi sử dụng cách tiếp cận bán định tính đối với sự không chắc chắn dựa trên khái niệm khả năng mà Spohn đã giới thiệu lần đầu, trong khi các phân tích khác dựa vào biểu diễn định lượng của sự không chắc chắn dưới dạng xác suất.

Từ khóa

#logic #thái độ cá nhân #thái độ tập thể #lý thuyết trò chơi #tri thức #chiếm vị yếu

Tài liệu tham khảo

Alchourrón, C.E., Gärdenfors, P., Makinson, D. (1985). On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2), 510–530. Asheim, G., & Dufwenberg, M. (2003). Admissibility and common belief. Games and Economic Behavior, 42, 208–234. Asheim, G., & Søvik, Y. (2005). Preference-based belief operators. Mathematical Social Sciences, 50, 61–82. Asheim, G.B. (2001). Proper rationalizability in lexicographic beliefs. International Journal of Game Theory, 30, 453–478. Aucher, G. (2005). A combined system for upyear logic and belief revision. In Proceedings of PRIMA 2004 of LNAI (Vol. 3371, pp. 1–18). Springer-Verlag. Aumann, R. (1999). Interactive epistemology, I. knowledge. International Journal of Game Theory, 28(3), 263–300. Baltag, A., Moss, L., Solecki, S. (1998). The logic of public announcements, common knowledge and private suspicions. In Proceedings of TARK’98 (pp. 43–56). Morgan Kaufmann. Baltag, A., & Moss, L.S. (2004). Logics for epistemic programs. Synthese, 139(2), 165–224. Baltag, A., & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. In Proceedings of LOFT 7, texts in logic and games (Vol. 3, pp. 13–60). Amsterdam University Press. Baltag, A., & Smets, S. (2009). Talking your way into agreement: belief merge by persuasive communication. In Proceedings of the second multi-agent logics, languages, and organisations federated workshops (MALLOW), CEUR workshop proceedings (Vol. 494). CEUR-WS.org. Baltag, A., Smets, S., Zvesper, J.A. (2009). Keep ‘hoping’ for rationality: a solution to the backward induction paradox. Synthese, 169(2), 301–333. Battigalli, P., & Siniscalchi, M. (2002). Strong belief and forward induction reasoning. Journal of Economic Theory, 106(2), 356–391. Bernheim, D. (1986). Axiomatic characterizations of rational choice in strategic environments. Scandinavian Journal of Economics, 88, 473–488. Blume, L.E., Brandenburger, A., Dekel, E. (1991). Lexicographic probabilities and choice under uncertainty. Econometrica, 59, 61–79. Board, O. (1998). Belief revision and rationalizability. In Proceedings of TARK’98 (pp. 201–213). Morgan Kaufmann. Board, O. (2002). Knowledge, beliefs, and game-theoretic solution concepts. Oxford Review of Economic Policy, 18, 418–432. Bonanno, G. (2008). A syntactic approach to rationality in games with ordinal payoffs. In Proceedings of LOFT 2008, texts in logic and games series (pp. 59–86). Amsterdam University Press. Börgers, T. (1994). Weak dominance and approximate common knowledge. Journal of Economic Theory, 64, 265–276. Börgers, T., & Samuelson, L. (1992). Cautious utility maximization and iterated weak dominance. International Journal of Game Theory, 21, 13–25. Brandeburger, A. (2007). The power of paradox: some recent developments in interactive epistemology. International Journal of Game Theory, 35(4), 465–492. Brandeburger, A., & Dekel, E. (1987). Rationalizability and correlated equilibria. Econometrica, 55, 1391–1402. Brandenburger, A. (1992). Lexicographic probabilities and iterated admissibility. In P. Dasgupta, D. Gale, O. Hart, E. Maskin (Eds.), Economic analysis of markets and games (pp. 282–290). MIT Press. Brandenburger, A., Friedenberg, A., Keisler, J. (2008). Admissibility in games. Econometrica, 76, 307–352. Dekel, E., & Fudenberg, D. (1990). Rational behavior with payoff uncertainty. Journal of Economic Theory, 52, 243–267. Dubois, D., & Prade, H. (1998). Possibility theory: qualitative and quantitative aspects. In D. Gabbay & P. Smets (Eds.), Handbook of defeasible reasoning and uncertainty management systems (Vol. 1, pp. 169–226). Kluwer. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M. (1995). Reasoning about knowledge. Cambridge: MIT Press. Gärdenfors, P., & Makinson, D. (1988). Revisions of knowledge systems using epistemic entrenchment. In M.Y. Vardi, (Ed.), Proceedings of TARK 1988 (pp. 83–95). Morgan Kaufmann. Goldszmidt, M., & Pearl, J. (1996). Qualitative probability for default reasoning, belief revision and causal modeling. Artificial Intelligence, 84, 52–112. Grove, A. (1988). Two modellings for theory change. Journal of Philosophical Logic, 17, 157–170. Halpern, J.Y. (2011). Beyond nash equilibrium: solution concepts for the 21st century. In K.R. Apt & E. Gradel (Eds.), Lectures in game theory for computer scientists (pp. 264–1278). Halpern, J.Y., & Lakemeyer, G. (2001). Multi-agent only knowing. Journal of Logic and Computation, 11(1), 41–70. Halpern, J.Y., & Pass, R. (2009). A logical characterization of iterated admissibility. In A. Heifetz (Ed.), Proceedings of TARK 2009 (pp. 146–155). Harel, D., Kozen, D., Tiuryn, J. (2000). Dynamic logic: MIT Press. Klein, P.D. (1971). A proposed definition of propositional knowledge. Journal of Philosophy, 68, 471–482. Laverny, N., & Lang, J. (2005). From knowledge-based programs to graded belief-based programs, part II: off-line reasoning. In Proceedings of IJCAI’05 (pp. 497–502). Lehrer, K., & Paxton, T. (1969). Undefeated justified true belief. Journal of Philosophy, 66, 225–237. Lorini, E., & Schwarzentruber, F. (2010). A modal logic of epistemic games. Games, 1(4), 478–526. Mas-Colell, M., Winston, A., Green J. (1995). Microeconomic theory. New York: Oxford University Press. Monderer, D., & Samet, D. (1989). Approximating common knowledge with common beliefs. Games and Economic Behavior, 1, 170–190. Pearce, D. (1984). Rationalizable strategic behavior and the problem of perfection. Econometrica, 52, 1029–1050. Pearl, J. (1993). From conditional oughts to qualitative decision theory. In D. Heckerman & E.H. Mamdani (Eds.), Proceedings of UAI’93 (pp. 12–22). Morgan Kaufmann. Perea, A. (2012). Epistemic game theory: reasoning and choice. Cambridge: Cambridge University Press. Rott, H. (2004). Stability, strength and sensitivity: converting belief into knowledge. Erkenntnis, 61, 469–493. Samuelson, L. (1992). Dominated strategies and common knowledge. Games and Economic Behavior, 4, 284–313. Spohn W (1988). Ordinal conditional functions: a dynamic theory of epistemic states. In W.L. Harper & B. Skyrms (Eds.), Causation in decision, belief change and statistics (pp. 105–134). Kluwer. Stalnaker, R. (1994). On the evaluation of solution concepts. Theory and Decision, 37, 49–73. Stalnaker, R. (1996). Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy, 12, 133–163. Stalnaker, R. (1998). Belief revision in games: forward and backward induction. Mathematical Social Sciences, 36, 31–56. Stalnaker, R. (2006). On logics of knowledge and belief. Philosophical Studies, 128, 169–199. Tan, T., & Werlang, S. (1988). The bayesian foundation of solution concepts of games. Journal of Economic Theory, 45, 370–391. van Benthem, J. (2007). Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 17, 129–155. van Benthem, J. (2007). Rational dynamics and epistemic logic in games. International Game Theory Review, 9(1), 13–45. van Benthem, J., van Eijck, J., Kooi, B. (2006). Logics of communication and change. Information and Computation, 204(11), 1620–1662. van Ditmarsch, H. (2005). Prolegomena to dynamic logic for belief revision. Synthese, 147(2), 229–275. Weydert, E. (1994). General belief measures. In R.L. de Mántaras & D. Poole (Eds.), Proceedings of UAI’94 (pp. 575–582). Morgan Kaufmann. Zvesper, J.A. (2010). Playing with information PhD thesis, The Netherlands: University of Amsterdam.