摘要: Iedere dag van ons leven is gevuld met kleine handelingen die onze informatie wijzigen. We zien nieuwe feiten, concluderen dingen op grond daarvan, veronderstellen dingen, worden bewust mogelijkheden, erkennen wat we wel en niet weten, vergeten herinneren weer andere. Al deze veranderen kennis, opvattingen, verlangens, intenties andere houdingen een kleine, maar beslissende manier. Fernando Velazquez deed onderzoek naar handelingen. Hij presenteert formeellogisch raamwerk waarin hij alleen de stappen dynamiek analyseert, er ook over redeneert.
uva.nl参考文章(102)
Peter Gärdenfors, Knowledge in Flux: Modeling the Dynamics of Epistemic States ,(1990)
Ben Polak, Epistemic Conditions for Nash Equilibrium, and Common Knowledge of Rationality Econometrica. ,vol. 67, pp. 673- 676 ,(1999) , 10.1111/1468-0262.00043
Joseph Y. Halpern, Leandro C. Rêgo, Reasoning about knowledge of unawareness revisited Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - TARK '09. pp. 166- 173 ,(2009) , 10.1145/1562814.1562838
Craig Boutilier, Conditional logics of normality: a modal approach Artificial Intelligence. ,vol. 68, pp. 87- 154 ,(1994) , 10.1016/0004-3702(94)90096-5
Fernando Raymundo Velázquez-Quesada, Inference and update Synthese. ,vol. 169, pp. 283- 300 ,(2009) , 10.1007/S11229-009-9556-2
Liesbeth Flobbe, Rineke Verbrugge, Petra Hendriks, Irene Krämer, Children's Application of Theory of Mind in Reasoning and Language Journal of Logic, Language and Information. ,vol. 17, pp. 417- 442 ,(2008) , 10.1007/S10849-008-9064-7
J. van Benthem, Logic, mathematics, and general agency Tributes. ,(2010)
Johan van Benthem, Logic and Reasoning: do the facts matter? Studia Logica. ,vol. 88, pp. 67- 84 ,(2008) , 10.1007/S11225-008-9101-1
Barteld Kooi, Johan van Benthem, Jan van Eijck, Logics of communication and change Information & Computation. ,vol. 204, pp. 1620- 1662 ,(2006) , 10.1016/J.JC.2006.04.006
Kevin T. Kelly, The Logic of Reliable Inquiry ,(1996)