• Articles •    


  • 出版日期:2001-07-10 发布日期:2001-07-10

Some Contributions to Nonmonotonic Consequence

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


关键词: key-exposure, chameleon signature, chameleon hash

Abstract: 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

Full text



No Suggested Reading articles found!
版权所有 © 《计算机科学技术学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn