https://scholars.lib.ntu.edu.tw/handle/123456789/56297
Title: | 論法條之知識表現、非單調邏輯及其關聯性 | Authors: | 陳顯武 | Keywords: | Rechtssatz;knowledge representation;nonmonotonic logic;logic programming;rule;exception;principle;prima facie;defeasible logic;negation as failure;computational logic;Abw?gung;forward-chaining;backward-chaining;undercutter;rebutter;die Gewichtsformel;the weight formula;fixed point;法條;知識表現;非單調邏輯;邏輯程式化;規則;例外;原則;初步印象;有疏漏性邏輯;找尋失敗即否定;電腦邏輯;衡量;前向式之鏈結;後向式之分析方式;阻擋條件因子;反駁效果;重力公式;不動定點 | Issue Date: | 31-Jul-2004 | Publisher: | 臺北市:國立臺灣大學國家發展研究所 | URI: | http://ntur.lib.ntu.edu.tw//handle/246246/16903 http://ntur.lib.ntu.edu.tw/bitstream/246246/16903/1/922414H002021.pdf |
Other Identifiers: | 922414H002021 | Rights: | 國立臺灣大學國家發展研究所 |
Appears in Collections: | 國家發展研究所 |
File | Description | Size | Format | |
---|---|---|---|---|
922414H002021.pdf | 430.3 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.