Abstract
We show that every indeterministic n-agent choice model Mi can be transformed into a deterministic n-agent choice model Md, such that Mi is a bounded morphic image of Md. This generalizes an earlier result from Van Benthem and Pacuit [16] about finite two-player choice models. It further strengthens the link between STIT logic and game theory, because deterministic choice models correspond in a straightforward way to normal game forms, and choice models are generally used to interpret STIT logic.
Original language | English |
---|---|
Title of host publication | Business Process Management - 15th International Conference, BPM 2017, Proceedings |
Editors | Jeremy Seligman, Tomoyuki Yamada, Alexandru Baltag |
Publisher | Springer-Verlag Italia |
Pages | 209-223 |
Number of pages | 15 |
ISBN (Print) | 9783319649993 |
DOIs | |
Publication status | Published - 2017 |
Externally published | Yes |
Event | 15th International Conference on Business Process Management, BPM 2017 - Barcelona, Spain Duration: 10 Sept 2017 → 15 Sept 2017 |
Publication series
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 10445 LNCS |
ISSN | 0302-9743 |
Conference
Conference | 15th International Conference on Business Process Management, BPM 2017 |
---|---|
Country/Territory | Spain |
City | Barcelona |
Period | 10/09/17 → 15/09/17 |
Bibliographical note
Funding Information:Acknowledgements. Frederik Van De Putte’s research for this paper was funded by the Flemish Research Foundation (FWO-Vlaanderen). Allard Tamminga and Hein Duijf gratefully acknowledge financial support from the ERC-2013-CoG project REINS, no. 616512. The research for this paper was facilitated by two research visits of Allard Tamminga to Ghent University that were co-funded by the FWO through the scientific research network for Logical and Methodological Analysis of Scientific Reasoning Processes (LMASRP). We are indebted to Johan van Benthem, Olivier Roy, and Dominik Klein for useful discussions on this paper’s topic. We also thank Mathieu Beirlaen and two anonymous referees of LORI for their remarks on previous versions of the paper.
Publisher Copyright:
© Springer-Verlag GmbH Germany 2017.