迈克尔·威尔曼（Michael Wellman）将问题解决作为搜索 电子书下载

原名:Problem Solving as Search by Michael Wellman
作品简介:示例知识库。 □ 法律规定，美国人向敌对国家出售武器是犯罪行为。美国的敌人诺诺国有一些导弹，所有的导弹都是美国卖给它的。韦斯特上校是美国人。 □ 证明：韦斯特上校是一名罪犯……