• Article
  • | |
  • Metrics
  • |
  • Reference [5]
  • |
  • Related
  • |
  • Cited by
  • | |
  • Comments
    Abstract:

    That how to enable knowledge base to have the function of inference and maintenance automatically has been a key problem, which existed in the design of the knowledge base that wants to be practical and effective. In this paper, we propose an automatical knowledge base inference and maintenance method based on default inference at first, and then we introduce a knowledge base inference and maintenance system, which has been implemented on VAX-11/780 machine in GKD-Prolog.

    Reference
    [1] Davi8 M.The Mathematics of Non-monotonic Reasoning,Arti.Intell,Vol.13(1980),PP 73—80.
    [2] A Logic for Default Reasoning.R.Reiter,AI,vol.13,No.1,No.2.April,1980.
    [3] Doyle J.,The Ins And Outs of Reason Maintenance.IJCAI-8,1983.
    [4] 知识获取系统GKD-NKAS鉴定会资料,国防科技大学,1989,10.
    [5] KIS:一个新颖的知识精化系统。《89年全国人工智能及应用学术会议论文集》.
    Related
    Cited by
Get Citation

杨莉,胡守仁.缺言推理系统GKD-DIS.软件学报,1991,2(3):20-25

Copy
Share
Article Metrics
  • Abstract:3787
  • PDF: 4604
  • HTML: 0
  • Cited by: 0
History
  • Received:November 01,1989
  • Revised:February 21,1990
You are the first2045182Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063