一个问题是算法上可解的(algorithmically solvable)是指存在一组计算机程 序，通过计算，对该问题的结果是“是”或“否”做出明确的回答。
基于12个网页-相关网页
算法上可解的
Algorithmically solvable
以上为机器翻译结果，长、整句建议使用 人工翻译 。
该算法将封闭世界模型上的概念图推理转化为对博弈树根节点的可解性标示过程。
The algorithm translates the inference of Conceptual-Graphs, in a Closed World Model, to marking processes in Game-Trees.
youdao
应用推荐
模块上移
模块下移
不移动