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

標題: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
語言英文
收錄於
會議性質國際
校內研討會地點
研討會時間19941212~19941215
通訊作者
國別中華民國
公開徵稿Y
出版型式紙本
出處1994 Internation Computer Symposium Conference Proceeding Volume of 1 of 2頁497-502
相關連結
Google+ 推薦功能,讓全世界都能看到您的推薦!