对弈必胜策略的符号化模型检测
【摘要】:正1 引言在对弈问题的研究中,人们一直都在探询这样的问题:对弈中的某一方是否存在必胜策略,也就是说无论对手如何行棋,该方是否总是能够战胜对手。从搜索技术的角度来看,这将需要对棋局的状态空间进行穷举搜索,因此启发式搜索技术无法很好地解决这个问题。然而从形式化方法的角度来看,这个问题可归结为棋局模型中的形式化验证问题,即
【相似文献】 | ||
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
【相似文献】 | ||
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|
|
|||||||||||||||||||||
|