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 16 Issue 4
July  2001
Turn off MathJax
Article Contents
Abstract
Related Articles
ZHU Zhaohui, ZHANG Dongmo, CHEN Shisu, ZHU Wujia. Some Contributions to Nonmonotonic Consequence[J]. Journal of Computer Science and Technology, 2001, 16(4).
Citation: ZHU Zhaohui, ZHANG Dongmo, CHEN Shisu, ZHU Wujia. Some Contributions to Nonmonotonic Consequence[J]. Journal of Computer Science and Technology, 2001, 16(4).
shu

Some Contributions to Nonmonotonic Consequence

More Information
  • Published Date: July 14, 2001
    Abstract
  • This paper introduces a non-Horn ruleWRM which is a weak form of rational monotony. We explorethe effects of adding this non-Horn rule to the rules for the preferentialinference. In this paper, a relation is said to be P+WRM iff it is a preferential inference and satisfies the rule WRM. We establish the representation theorem for P+WRM, and compare the strength of WRM with some non-Horn rules appearing inliteratures. Moreover, we explore the relation between P+WRM andconditional logic, and demonstrate that P+WRM is equivalent to 'flat'fragment of conditional logic CS4.2. Another contribution of thispaper is to explore the relation between two special kinds of preferentialmodels, I.e., PRC model and quasi-linear model. Main result reveals thatthe latter is a special form of the former.
    • FullText(HTML)
    • References (0)
    • Relative Articles

  • Related Articles

    [1]Jing-Fa Liu, Wen-Qi Huang. Quasi-Physical Algorithm of an Off-Lattice Model for Protein Folding Problem[J]. Journal of Computer Science and Technology, 2007, 22(4): 569-574.
    [2]WU GenQing, ZHENG Fang. A Method to Build a Super Small but Practically Accurate Language Model for Handheld Devices[J]. Journal of Computer Science and Technology, 2003, 18(6).
    [3]LI Xuandong. Verifying Time Petri Nets by Linear Programming[J]. Journal of Computer Science and Technology, 2001, 16(1).
    [4]WU Jinzhao, LIU Zhuojun. Linear Strategy for Boolean Ring Based Theorem Proving[J]. Journal of Computer Science and Technology, 2000, 15(3): 271-279.
    [5]SHAO Zhiqing, SUN Yongqiang, SONG Guoxin, YU Huiqun. Deciding Quasi-Reducibility Using Witnessed Test Sets[J]. Journal of Computer Science and Technology, 1999, 14(2): 146-152.
    [6]MIN Yinghua, LI Zhongcheng. An Analytical Delay Model[J]. Journal of Computer Science and Technology, 1999, 14(2): 97-115.
    [7]Ma Jiyong, Gao Wen. The Supervised Learning Gaussian Mixture Model[J]. Journal of Computer Science and Technology, 1998, 13(5): 471-474.
    [8]Zhang Tong. Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language[J]. Journal of Computer Science and Technology, 1998, 13(1): 13-17.
    [9]Liao Lejian, Shi Zhongzhi. Minimal Model Semantics for Sorted Constraint Representation[J]. Journal of Computer Science and Technology, 1995, 10(5): 439-446.
    [10]Wang Huaimin, Chen Huowang. A Constructor-Based EI-Model Semantics of EI-CTRS[J]. Journal of Computer Science and Technology, 1995, 10(1): 85-96.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (14) PDF downloads (1225) 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