Abstract
By moving from a suggestive example, the paper analyzes how information flows among agents involved in a deliberation. By deliberating, agents become aware of details, draw the attention of the group to some issues, perform inferences and announce what they know. The proposed framework—which builds on the paradigm of dynamic logic—captures how, during a deliberation, information results from step-wise multi-agent interaction.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kornhauser, L.A., Sager, L.G.: Unpacking the court. Yale Law Journal (1986)
List, C., Puppe, C.: Judgment aggregation: A survey. In: Oxford Handbook of Rational and Social Choice. Oxford University Press, Oxford (2009)
Dietrich, F., List, C.: Strategy-proof judgment aggregation. Economics and Philosophy 23, 269–300 (2007)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol. 337. Springer, Heidelberg (2007)
van Ditmarsch, H., French, T.: Awareness and forgetting of facts and agents. In: Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technologies, WI-IAT 2009 (to appear, 2009)
Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence 34(1), 39–76 (1988)
Duc, H.N.: Reasoning about rational, but not logically omniscient, agents. Journal of Logic and Computation 7(5), 633–648 (1997)
Jago, M.: Rule-based and resource-bounded: A new look at epistemic logic. In: Ågotnes, T., Alechina, N. (eds.) Proceedings of the Workshop on Logics for Resource-Bounded Agents, ESSLLI 2009, Malaga, Spain, August 2006, pp. 63–77 (2006)
van Benthem, J.: Merging observation and access in dynamic logic. Journal of Logic Studies 1(1), 1–17 (2008)
Velázquez-Quesada, F.R.: Inference and update. Synthese (Knowledge, Rationality and Action) 169(2), 283–300 (2009)
Velázquez-Quesada, F.R.: Dynamic logics for explicit and implicit information. Working paper. Current version (2009), http://staff.science.uva.nl/~fvelazqu/docs/InfBeliefs-06-25.pdf
Grossi, D.: A note on brute vs. institutional facts: Modal logic of equivalence up to a signature. In: Dagstuhl Seminar Proceedings 09121: Normative Multi-Agent Systems (2009)
van Benthem, J., Kooi, B.: Reduction axioms for epistemic actions. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) Advances in Modal Logic (Technical Report UMCS-04-09-01), pp. 197–211. University of Manchester (2004)
van Benthem, J., Velázquez-Quesada, F.R.: Inference, promotion, and the dynamics of awareness. Submitted to Synthese (KRA) (2009)
Prakken, H., Vreeswijk, G.: Logics for defeasible argumentation. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 4, pp. 218–319. Kluwer Academic Publishers, Dordrecht (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grossi, D., Velázquez-Quesada, F.R. (2009). Twelve Angry Men: A Study on the Fine-Grain of Announcements. In: He, X., Horty, J., Pacuit, E. (eds) Logic, Rationality, and Interaction. LORI 2009. Lecture Notes in Computer Science(), vol 5834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04893-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-04893-7_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04892-0
Online ISBN: 978-3-642-04893-7
eBook Packages: Computer ScienceComputer Science (R0)