人工智能 知识表示方法----问题规约法