林一鵬2006-07-252018-07-052006-07-252018-07-051996http://ntur.lib.ntu.edu.tw//handle/246246/8230zh-TW國立臺灣大學資訊工程學系暨研究所自動推理系統環境II─自動推理系統環境：子計畫(二)整合式常識推理研究及其製作report