English  |  正體中文  |  简体中文  |  Items with full text/Total items : 62797/95867 (66%)
Visitors : 3737185      Online Users : 359
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library & TKU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version
    Please use this identifier to cite or link to this item: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/95754


    Title: Formalizing Inheritance Hierarchies with Exceptions by Using Logic Programs
    Authors: Horng, Wen-Bing;Yang, Chao-Chih
    Contributors: 淡江大學資訊工程學系
    Keywords: 繼承階層;簡單異常性形式;邏輯程式;含糊繼承階層;Inheritance Hierarchy;Simple Abnormality Formalism;Logic Program;Ambiguous Inheritance Hierarchy
    Date: 1994-12
    Issue Date: 2014-02-13
    Abstract: 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.
    Relation: 1994 Internation Computer Symposium Conference Proceeding Volume of 1 of 2,頁497-502
    Appears in Collections:[Graduate Institute & Department of Computer Science and Information Engineering] Proceeding

    Files in This Item:

    File SizeFormat
    Formalizing Inheritance Hierarchies with Exceptions by Using Logic Programs_西文摘要.docx13KbMicrosoft Word110View/Open

    All items in 機構典藏 are protected by copyright, with all rights reserved.


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