English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 56431/90260 (63%)
造訪人次 : 11697858      線上人數 : 58
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
搜尋範圍 查詢小技巧:
  • 您可在西文檢索詞彙前後加上"雙引號",以獲取較精準的檢索結果
  • 若欲以作者姓名搜尋,建議至進階搜尋限定作者欄位,可獲得較完整資料
  • 進階搜尋
    請使用永久網址來引用或連結此文件: http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/95754


    題名: Formalizing Inheritance Hierarchies with Exceptions by Using Logic Programs
    作者: Horng, Wen-Bing;Yang, Chao-Chih
    貢獻者: 淡江大學資訊工程學系
    關鍵詞: 繼承階層;簡單異常性形式;邏輯程式;含糊繼承階層;Inheritance Hierarchy;Simple Abnormality Formalism;Logic Program;Ambiguous Inheritance Hierarchy
    日期: 1994-12
    上傳時間: 2014-02-13
    摘要: 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.
    關聯: 1994 Internation Computer Symposium Conference Proceeding Volume of 1 of 2,頁497-502
    顯示於類別:[資訊工程學系暨研究所] 會議論文

    文件中的檔案:

    檔案 大小格式瀏覽次數
    Formalizing Inheritance Hierarchies with Exceptions by Using Logic Programs_西文摘要.docx13KbMicrosoft Word75檢視/開啟

    在機構典藏中所有的資料項目都受到原著作權保護.

    TAIR相關文章

    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library & TKU Library IR teams. Copyright ©   - 回饋