罗德里克·贾尔 迈克尔·麦克罗比 探索认识迷宫：知识表征形式理论的新方向。 156-176 1988 conf/ausai/1988 澳大利亚人工智能联合会议 db/conf/ausai/ausai1988.html#GirleM88 https://doi.org/10.1007/3-540-52062-7_77