| On semantics of commonsense knowledge | |
|---|---|
| 學年 | 83 |
| 學期 | 1 |
| 發表日期 | 1994-12-12 |
| 作品名稱 | On semantics of commonsense knowledge |
| 作品名稱（其他語言） | |
| 著者 | Horng, Wen-Bing; Yang, Chao-Chih |
| 作品所屬單位 | 淡江大學資訊工程學系 |
| 出版者 | |
| 會議名稱 | 1994 International Computer Symposium Conference |
| 會議地點 | 新北市, 臺灣 |
| 摘要 | McCarthy's simple abnormality formalism provides a new way to paraphrase commonsense knowledge by using the word "unless", roughly called the "unless" semantics. In this paper, we first point out that the introduced inheritance cancellation axioms in this formalism may cause the semantic inconsistency problem in the paraphrases of the models obtained from circumscription and propose a simple way to resolve it. We then explore the "unless" semantics in the convention of commonsense reasoning and propose the extended answer set semantics to incorporate this new semantics in extended logic programs. It turns out that a clause in an extended logic program can be transformed into one of four other different forms based on the given information so that the conclusions will become more reasonable and the transformed programs more coherent. |
| 關鍵字 | 常識知識;邏輯程式;語意;簡單異常性形式;Commonsense Knowledge;Logic Program;Semantic;Simple Abnormality Formalism |
| 語言 | en |
| 收錄於 | |
| 會議性質 | 國際 |
| 校內研討會地點 | |
| 研討會時間 | 19941212~19941215 |
| 通訊作者 | |
| 國別 | TWN |
| 公開徵稿 | Y |
| 出版型式 | 紙本 |
| 出處 | Proceedings of the International Computer Symposium 1994 (ICS-94), Hsinchu, pp.491-496 |
| 相關連結 |
機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/37487 ) |
GoogleAnalytics