Model Checking Games for AI

Priyanka Kumar

Abstract


Model checking games are applications of Hintikka's game semantics for logic that are used to debug system verification models. Previous research in the field has resulted in the development of these games for branching time logic. The paper develops a logic extension that includes epistemic operators and interprets branching time operators in terms of fairness constraints. The extended games' implementation in the epistemic model checker MCK is described.

References


Picard, R.W., Vyzas, E., Healey, J.: Toward machine emotional intelligence: analysis of affective physiological state. IEEE Transactions on Pattern Analysis and Machine Intelligence 23(10), 1175–1191 (2001)

Olofsson, J.K., Nordin, S., Sequeira, H., Polich, J.: Affective picture processing: an integrative review of erp findings. Biol. Psychol. 77(3), 247–265 (2008)

Bashashati, A., Fatourechi, M., Ward, R.K., Birch, G.E.: A survey of signal processing algorithms in brain-computer interfaces based on electrical brain signals. J. Neural Eng. 4(2), R32–R57 (2007)

Tunguturi, M. (2009). More On Principles and Applications of Big Data Analytics. International Journal of Statistical Computation and Simulation, 1(1), 1–10. Retrieved from https://journals.threws.com/index.php/IJSCS/article/view/43


Refbacks

  • There are currently no refbacks.