Towards a categorical approach for meta-modelling epistemic game theory

In order to optimize the use of resources of interdependent systems we need to perform strategic analysis of resources. Game theory is the discipline of science that studies strategy. Epistemic game theory explores how individuals reason about others choices for decision making. This theory can play a vital role for optimizing the use of distributed resources since our systems are continuously providing support for decision making where the outcome of a decision is dependent on other systems. We use a model driven approach to build a bridge between software models and epistemic game theory. In this initial work, we have shown how software models such as entity models may be used for building epistemic models. We propose an algorithm for constructing epistemic models where conflict situations are represented with the use of diagrammatic constraints. We use examples from the healthcare domain to explain the proposed technique.

[1]  John P A Ioannidis,et al.  Modern health care as a game theory problem , 2015, European journal of clinical investigation.

[2]  Gabriele Taentzer,et al.  Co-evolving meta-models and their instance models: A formal approach based on graph transformation , 2015, Sci. Comput. Program..

[3]  Sahar Kokaly,et al.  Mapping-Aware Megamodeling: Design Patterns and Laws , 2013, SLE.

[4]  Blai Bonet,et al.  Belief Tracking for Planning with Sensing: Width, Complexity and Approximations , 2014, J. Artif. Intell. Res..

[5]  Lars Michael Kristensen,et al.  A Diagrammatic Approach to Model Completion , 2015, AMT@MoDELS.

[6]  Lars Michael Kristensen,et al.  Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications , 2015, NIK.

[7]  Michael Löwe,et al.  A categorical framework for the transformation of object-oriented systems: Models and data , 2011, J. Symb. Comput..

[8]  Steffen Becker Coupled model transformations , 2008, WOSP '08.

[9]  Thomas Bolander,et al.  Undecidability in Epistemic Planning , 2013, IJCAI.

[10]  Zinovy Diskin,et al.  A Diagrammatic Logic for Object-Oriented Visual Modeling , 2008, Electron. Notes Theor. Comput. Sci..

[11]  A. Colman,et al.  Models of the medical consultation: opportunities and limitations of a game theory perspective , 2004, Quality and Safety in Health Care.

[12]  Guy Shani,et al.  Replanning in Domains with Partial Information and Sensing Actions , 2011, IJCAI.

[13]  Contents , 2019, International Law Reports.

[14]  Zinovy Diskin,et al.  Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling , 2016, ECMFA.

[15]  Christian J. Muise,et al.  Planning Over Multi-Agent Epistemic States: A Classical Planning Approach , 2015, AAAI.

[16]  Yngve Lamo,et al.  Co-ordination of Multiple Metamodels, with Application to Healthcare Systems , 2014, EUSPN/ICTH.

[17]  Lars Michael Kristensen,et al.  WebDPF: A web-based metamodelling and model transformation environment , 2016, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

[18]  Adrian Rutle,et al.  Diagram predicate framework: A formal approach to MDE , 2010 .

[19]  Juan de Lara,et al.  A declarative and bidirectional model transformation approach based on graph co-spans , 2013, PPDP.

[20]  A. Perea Epistemic Game Theory: Reasoning and Choice , 2012 .

[21]  A. Perea ý Monsuwé Epistemic Game Theory: Reasoning and Choice , 2012 .