| Formalizing Inheritance Hierarchies with Exceptions by Using Logic Programs | |
|---|---|
| 學年 | 83 |
| 學期 | 1 |
| 發表日期 | 1994-12-12 |
| 作品名稱 | Formalizing Inheritance Hierarchies with Exceptions by Using Logic Programs |
| 作品名稱（其他語言） | |
| 著者 | Horng, Wen-Bing; Yang, Chao-Chih |
| 作品所屬單位 | 淡江大學資訊工程學系 |
| 出版者 | |
| 會議名稱 | 1994 International Computer Symposium Conference |
| 會議地點 | 新北市, 臺灣 |
| 摘要 | Inheritance hierarchies are a central part of semantic networks, an important tool for knowledge representation. In this paper, we investigate how logic programs can be used to formalize inheritance hierarchies with exceptions. In this investigation, we adopt Gelfond and Lifschitz's extended logic programs with answer set semantics as our knowledge representation tool and McCarthy's simple abnormality formalism to express exceptions. It turns out that our representation can formalize not only unambiguous inheritance hierarchies, but also the credulous and skeptical reasonings in ambiguous inheritance hierarchies. |
| 關鍵字 | 繼承階層;簡單異常性形式;邏輯程式;含糊繼承階層;Inheritance Hierarchy;Simple Abnormality Formalism;Logic Program;Ambiguous Inheritance Hierarchy |
| 語言 | en |
| 收錄於 | |
| 會議性質 | 國際 |
| 校內研討會地點 | |
| 研討會時間 | 19941212~19941215 |
| 通訊作者 | |
| 國別 | TWN |
| 公開徵稿 | Y |
| 出版型式 | 紙本 |
| 出處 | 1994 Internation Computer Symposium Conference Proceeding Volume of 1 of 2，頁497-502 |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/95754 ) |
GoogleAnalytics