Abstract
In this paper we provide an insight into the skill representation, where skill representation is seen as an essential part of the skill assessment stage in the Computational Red Teaming process. Skill representation is demonstrated in the context of Sudoku puzzle, for which the real human skills used in Sudoku solving, along with their acquisition, are represented computationally in a cognitively plausible manner, by using feed-forward neural networks with back-propagation, and supervised learning. The neural network based skills are then coupled with a hard-coded constraint propagation computational Sudoku solver, in which the solving sequence is kept hard-coded, and the skills are represented through neural networks. The paper demonstrates that the modified solver can achieve different levels of proficiency, depending on the amount of skills acquired through the neural networks. Results are encouraging for developing more complex skill and skill acquisition models usable in general frameworks related to the skill assessment aspect of Computational Red Teaming.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Berggren, P., Nilsson, D.: A study of sudoku solving algorithms. Master’s thesis, Royal Institute of Technology, Stockholm (2012)
Crook, J.F.: A pencil-and-paper algorithm for solving sudoku puzzles. Notices of the AMS 56(4), 460–468 (2009)
Yato, T.: Complexity and completeness of finding another solution and its application to puzzles. Master’s thesis, Graduate SChool of Science, University of Tokyo (2003)
Yato, T., Seta, T.: Complexity and completeness of finding another solution and its application to puzzles. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 86(5), 1052–1060 (2003)
Weber, T.: A sat-based sudoku solver. In: The 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning, pp. 11–15 (2005)
Ercsey, R.M., Toroczkai, Z.: The chaos within sudoku. Sci. Rep. 2 10.1038/srep00725 (2012)
Goldberg, P.W.: Np-completness of sudoku, October 2015
Pacurib, J.A., Seno, G.M.M., Yusiong, J.P.T.: Solving sudoku puzzles using improved artificial bee colony algorithm. In: Fourth International Conference on Innovative Computing, Information and Control, pp. 885–888. IEEE (2009)
Mantere, T., Koljonen, J.: Solving, rating and generating sudoku puzzles with ga. In: IEEE Congress on Evolutionary Computation, pp. 1382–1389. IEEE (2007)
Perez, M., Marwala, T.: Stochastic optimization approaches for solving sudoku, May 2008. arXiv:0805.0697
Yue, T.W., Lee, Z.C.: 115. In: Sudoku Solver by Q’tron Neural Networks. Lecture Notes in Computer Science, vol. 4113, pp. 943–952. Springer, Heidelberg (2006)
Hopfield, J.J.: Searching for memories, sudoku, implicit check bits, and the iterative use of not-always-correct rapid neural computation. Neural Computation 20(5), 1119–1164 (2008)
Simonis, H.: Sudoku as a constraint problem. In: CP Workshop on Modeling and Reformulating Constraint Satisfaction Problems. vol. 12, pp. 13–27. Citeseer (2005)
Norvig, P.: Solving every sudoku puzzle
Aslaksen, H.: The mathematics of sudoku (2014)
Davis, T.: The math of sudoku (2008)
Chadwick, S.B., Krieg, R.M., Granade, C.E.: Ease and toil: Analyzing sudoku. UMAP Journal 363 (2007)
Pitts, J.: Master Sudoku. Teach yourself. McGraw-Hill Companies, Inc. (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Leu, G., Abbass, H. (2016). Computational Red Teaming in a Sudoku Solving Context: Neural Network Based Skill Representation and Acquisition. In: Lavangnananda, K., Phon-Amnuaisuk, S., Engchuan, W., Chan, J. (eds) Intelligent and Evolutionary Systems. Proceedings in Adaptation, Learning and Optimization, vol 5. Springer, Cham. https://doi.org/10.1007/978-3-319-27000-5_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-27000-5_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26999-3
Online ISBN: 978-3-319-27000-5
eBook Packages: EngineeringEngineering (R0)