Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
One jump ahead: challenging human supremacy in checkers
One jump ahead: challenging human supremacy in checkers
Communications of the ACM
Solving Chinese chess endgames by database construction
Information Sciences: an International Journal - Heuristic Search and Computer Game Playing
Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence
Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence
Formal certification of a compiler back-end or: programming a compiler with a proof assistant
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Chess endgames: 6-man data and strategy
Theoretical Computer Science - Advances in computer games
IEEE Intelligent Systems
Hi-index | 0.00 |
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model' of itself. It is vital that such models are clearly faithful to the reality they purport to represent. This paper examines that issue and systems engineering responses to it, using the chess endgame as the exemplar scenario. A structured survey has been carried out of the intrinsic challenges and complexity of creating endgame data by reviewing the past pattern of errors during work in progress, surfacing in publications and occurring after the data was generated. Specific measures are proposed to counter observed classes of error-risk, including a preliminary survey of techniques for using state-of-the-art verification tools to generate EGTs that are correct by construction. The approach may be applied generically beyond the game domain.