书目详细信息 : 人工智能基础问题解决和自动推理