The book approaches questioning actions using a resolution modality based on the intersection of two equivalence relations representing information & questioning & gives a general & extensible implementation for complex questioning & resolution dynamic actions. We study strategic aspects in games with questions & interactive inquiry with oracles encoding imperfect information or limited experimental procedures. We use a tripartite interpretation for questions in multi-agent contexts. We implement questioning games, compute game matrices & give an algorithm for minimizing issue-epistemic models to capture behavioral equivalence as intersimulation. We use backtrack oracle search heuristics to study Nash equilibria in the location game on a line. We characterize NE by local game properties & use querying an oracle of local properties & matching profile fragments to design efficient strategies for solving LG. We implement LG in Alloy Analyzer & check assertions of logical entailment.
Details
- Publication Date
- Nov 8, 2011
- Language
- English
- Category
- Computers & Technology
- Copyright
- All Rights Reserved - Standard Copyright License
- Contributors
- By (author): Stefan Minica
Specifications
- Pages
- 250
- Binding
- Perfect Bound
- Interior Color
- Black & White
- Dimensions
- Crown Quarto (7.44 x 9.68 in / 189 x 246 mm)