05357945

a

05357945 Broersen, Jan Mastop, Rosja Meyer, John-Jules Ch. Turrini, Paolo A logic for closed-world interaction. H\"olldobler, Steffen (ed.) et al., Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28--October 1, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87802-5/pbk). Lecture Notes in Computer Science 5293. Lecture Notes in Artificial Intelligence, 89-99 (2008). 2008 Berlin: Springer EN

doi:10.1007/978-3-540-87803-2_9

Summary: The aim of the work is to provide a language to reason about closed-world interaction, that is all those situations in which the outcomes of an interaction can be determined by the agents themselves and in which Nature does not play an active role. We formalize this intuition by identifying all such interactions and axiomatizing their logic. We apply the formal tools to reason about games and their regulation.