We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 7 Issue 2
April  1992
Turn off MathJax
Article Contents
Abstract
References
Related Articles
Fan Zhongchun, Xing Hancheng. DKLFRS:A Default Knowledge Logical Framework Representation System[J]. Journal of Computer Science and Technology, 1992, 7(2): 136-142.
Citation: Fan Zhongchun, Xing Hancheng. DKLFRS:A Default Knowledge Logical Framework Representation System[J]. Journal of Computer Science and Technology, 1992, 7(2): 136-142.
shu

DKLFRS:A Default Knowledge Logical Framework Representation System

  • Dept.of Maths.& Computer Nanjing Normal University; Nanjing; Dept.of Computer Science; Southeast University;

More Information
  • Published Date: April 09, 1992
    Abstract
  • The traditional reasoning system based on first order predicate logic can t represent and handle de- fault knowledge.This paper presents a logical framework representation approach for default reasoning. Based on Mixed SLDNF-resolution,a nonmonotonic reasoning system has been constructed.
    • FullText(HTML)
    • References (5)
  • [1]
    Reiter.R., A logic for default reasoning. AI, 1980, 13.
    [2]
    McDermott, D. & Doyle, J., Nonmonotonic logic I. Al, 1980, 13.
    [3]
    McDermott, D., Nonmonotonic logic II: Nonmonotonic model theories. JACM,
    [4]
    Moore, R. C., Semantical consideration on nonmonotonic logic. AI. 1985, 25
    [5]
    McCarthy, J., Circumscription—a form of nonmonotonic reasoning. AI. 1980,13 ……….
    • Relative Articles

  • Related Articles

    [1]Zhi-Guo Wan, Robert H. Deng, David Lee, Ying Li. MicroBTC: Efficient, Flexible and Fair Micropayment for Bitcoin Using Hash Chains[J]. Journal of Computer Science and Technology, 2019, 34(2): 403-415. DOI: 10.1007/s11390-019-1916-x
    [2]Shu-Sheng Liu, Zheng Gong, Li-Bin Wang. Cryptanalysis of Reduced-Round DASH[J]. Journal of Computer Science and Technology, 2013, 28(1): 159-164. DOI: 10.1007/s11390-013-1320-x
    [3]Jie Liang, Xue-Jia Lai. Improved Collision Attack on Hash Function MD5[J]. Journal of Computer Science and Technology, 2007, 22(1): 79-87.
    [4]XU Ke, WU Jianping, YU Zhongchao, XU Mingwei. A Non-Collision Hash Trie-Tree Based Fast IP Classification Algorithm[J]. Journal of Computer Science and Technology, 2002, 17(2).
    [5]MA Jun, YANG Bo, MA Shaohan. A Practical Algorithm for the Minimum Rectilinear Steiner Tree[J]. Journal of Computer Science and Technology, 2000, 15(1): 96-99.
    [6]Xu Dianxiang, Zheng Guoliang. Logical Object as a Basis of Knowledge Based Systems[J]. Journal of Computer Science and Technology, 1995, 10(5): 425-438.
    [7]Li wei. A Logical Framework for Knowledge Base Maintenance[J]. Journal of Computer Science and Technology, 1995, 10(3): 193-205.
    [8]Xu Meirui, Liu Xiaolin. A VLSI Algorithm for Calculating the Tree to Tree Distance[J]. Journal of Computer Science and Technology, 1993, 8(1): 68-76.
    [9]Li Hao, Liu Qun. A Problem of Tree Graph[J]. Journal of Computer Science and Technology, 1989, 4(1): 61-66.
    [10]Meng Liming, Xu Xiaofei, Chang Huiyou, Chen Guangxi, Hu Mingzeng, Li Sheng. A Tree-Structured Database Machine for Large Relational Database Systems[J]. Journal of Computer Science and Technology, 1987, 2(4): 265-275.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (17) PDF downloads (1259) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return