國立臺灣大學國家發展研究所陳顯武2006-07-262018-06-282006-07-262018-06-282004-07-31http://ntur.lib.ntu.edu.tw//handle/246246/16903http://ntur.lib.ntu.edu.tw/bitstream/246246/16903/1/922414H002021.pdfapplication/pdf440626 bytesapplication/pdfzh-TW國立臺灣大學國家發展研究所Rechtssatzknowledge representationnonmonotonic logiclogic programmingruleexceptionprincipleprima faciedefeasible logicnegation as failurecomputational logicAbw?gungforward-chainingbackward-chainingundercutterrebutterdie Gewichtsformelthe weight formulafixed point法條知識表現非單調邏輯邏輯程式化規則例外原則初步印象有疏漏性邏輯找尋失敗即否定電腦邏輯衡量前向式之鏈結後向式之分析方式阻擋條件因子反駁效果重力公式不動定點reporthttp://ntur.lib.ntu.edu.tw/bitstream/246246/16903/1/922414H002021.pdf