• Articles •    

Some Contributions to Nonmonotonic Consequence


  • Online:2001-07-10 Published:2001-07-10

This paper introduces a non-Horn rule WRM which is a weak form of rational monotony. We explore the effects of adding this non-Horn rule to the rules for the preferential inference. 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 in literatures. Moreover, we explore the relation between P+WRM and conditional logic, and demonstrate that P+WRM is equivalent to 'flat' fragment of conditional logic CS4.2. Another contribution of this paper is to explore the relation between two special kinds of preferential models, I.e., PRC model and quasi-linear model. Main result reveals that the latter is a special form of the former.

Key words: chameleon signature; chameleon hash; key-exposure;

[1] Wei Gao, Xue-Li Wang, and Dong-Qing Xie. Chameleon Hashes Without Key Exposure Based on Factoring [J]. , 2007, 22(1): 109-113 .
Full text



No Suggested Reading articles found!

ISSN 1000-9000(Print)

CN 11-2296/TP

Editorial Board
Author Guidelines
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
E-mail: jcst@ict.ac.cn
  Copyright ©2015 JCST, All Rights Reserved