We use cookies to improve your experience with our site.

Indexed in:

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

Submission System
(Author / Reviewer / Editor)
Shen Ningchuan, Li Wei. R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance[J]. Journal of Computer Science and Technology, 1997, 12(1): 17-28.
Citation: Shen Ningchuan, Li Wei. R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance[J]. Journal of Computer Science and Technology, 1997, 12(1): 17-28.

R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

More Information
  • Published Date: January 09, 1997
  • Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first introduced, and then a framework for extended logic programming (ELP) is given,where an extended logic program is equivalent to a knowledge base. A transition system called R-calculus for ELP is provided. For a given knowledge base and a user's rejection, the Rcalculus for ELP will deduce best revisions of the base. The soundness and the completeness of the Rcalcul…
  • [1]
    Alchourron.C, Gardenfors.P, Makinson.D. On the logic of theory change: Partial meet contraction and revision. The Journal of Symbolic Logic, 1985, 50: 510-530.
    [2]
    Li Wei. An open logic system. Science in China (Series A), 1993, 36: 362-375.
    [3]
    Li Wei. A logic framework for knowledge base maintenance. Journal of Computer Science and Technology, 1995, 10(3): 193-205. ………….
  • Related Articles

    [1]Li wei. A Logical Framework for Knowledge Base Maintenance[J]. Journal of Computer Science and Technology, 1995, 10(3): 193-205.
    [2]Jin Zhi. The Structure and Semantics of an Object-Oriented Logic Programming Language: SCKE[J]. Journal of Computer Science and Technology, 1995, 10(1): 74-84.
    [3]Wang Xianchang, Chen Huowang, Zhao Qinping. On the Relationship Between TMS and Logic Programs[J]. Journal of Computer Science and Technology, 1994, 9(3): 245-251.
    [4]Xu Manwu. An Implementation of Pure Horn Clause Logic Programming in a Reduction System[J]. Journal of Computer Science and Technology, 1993, 8(3): 53-61.
    [5]Shen Yidong, Tong Fu, Cheng Daijie. On Local StratifiabUity of Logic Programs and Databases[J]. Journal of Computer Science and Technology, 1993, 8(2): 3-11.
    [6]Deng Tieqing, Wu Quanyuan, Wang Zhiying. A New Integrated System of Logic Programming and Relational Database[J]. Journal of Computer Science and Technology, 1993, 8(1): 58-67.
    [7]Shao Zhiqing. Extending Hoare Logic with an Infinite While-Rule[J]. Journal of Computer Science and Technology, 1992, 7(4): 363-368.
    [8]Nie Xumin. On the Complexities of Non-Horn Clause Logic Programming[J]. Journal of Computer Science and Technology, 1992, 7(2): 114-122.
    [9]Huang Zhiyi, Hu Shouren. Detection of And-Parallelism in Logic Programs[J]. Journal of Computer Science and Technology, 1990, 5(4): 379-387.
    [10]Wu Yunzeng. On the Development of Applications of Logic in Programming[J]. Journal of Computer Science and Technology, 1987, 2(1): 30-34.

Catalog

    Article views (22) PDF downloads (1190) Cited by()
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return