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 )

機構典藏連結