教師資料查詢 | 類別: 會議論文 | 教師: 洪文斌 Horng Wen-bing (瀏覽個人網頁)

標題: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
語言英文
收錄於
會議性質國際
校內研討會地點
研討會時間19941212~19941215
通訊作者
國別中華民國
公開徵稿Y
出版型式紙本
出處Proceedings of the International Computer Symposium 1994 (ICS-94), Hsinchu, pp.491-496
相關連結
Google+ 推薦功能,讓全世界都能看到您的推薦!