Topic
Erasing rule
About: Erasing rule is a research topic. Over the lifetime, 4 publications have been published within this topic receiving 1 citations.
Papers
21 Apr 1998
TL;DR: In logical settings and the possibilistic framework, two identities that capture the relationships between update and erasure in the AGM paradigm still remain valid between updating rule and the refined erasing rule are shown.
Abstract: Belief change operations in logical settings and the possibilistic framework are reviewed. In logical settings, the Alchourron-Gardenfors-Makinson (AGM) paradigm (1985) and the Katsuno-Mendelzon framework (1992) are reviewed and interdefinability between update and erasure in the AGM paradigm is explained precisely. Moreover, a new identity that captures a relationship from contraction to erasure in the AGM paradigm is introduced and clear relationships among revision, contraction, update and erasure in the AGM paradigm are established. In the possibilistic framework, expansion and above four types of belief change are also formulated, and it is shown that two identities that capture the relationships between update and erasure in the AGM paradigm still remain valid between updating rule and the refined erasing rule.
1 citations
1 Jan 1998
TL;DR: In this paper, a new identity that captures a relationship from contraction to erasure in the AGM paradigm is introduced and clear relationships among revision, contraction, update and erasure are established.
Abstract: Belief change operations in logical settings and the possibilistic framework are reviewed. In logical settings, the AGM paradigm and the KM framework are reviewed and interdefinability between update and erasure in the AGM paradigm is explained precisely. Moreover, a new identity that captures a relationship from contraction to erasure in the AGM paradigm is introduced and clear relationships among revision, contraction, update and erasure in the AGM paradigm are established. In the possibilistic framework, expansion and above four types of belief change are also formulated, and it is shown that two identities that capture the relationships between update and erasure in the AGM paradigm still remain valid between updating rule and the refined erasing rule.
TL;DR: Two Chomsky-like normal forms are established for path controlled grammars the first allows unit rules, the second allows just one erasing rule.
Abstract: This paper discusses path controlled grammars—context-free gram- mars with a root-to-leaf path in their derivation trees restricted by a control language. First, it investigates the impact of erasing rules on the generative power of path controlled grammars. Then, it establishes two Chomsky-like normal forms for path controlled grammars—the first allows unit rules, the second allows just one erasing rule.
Patent•
18 May 2016
TL;DR: In this article, a configurable security file object reusing method for Linux kernel layers is presented, which is based on decision logic to judge whether security file erasing is needed or not, and collecting corresponding file information.
Abstract: The invention discloses a configurable security file object reusing method. The configurable security file object reusing method comprises the following steps: (1), constructing a security file erasing rule base; (2), monitoring file operation in a Linux kernel layer, invoking decision logic to judge whether security file erasing is needed or not, and collecting corresponding file information; and (3), in need of performing security file erasing, executing security file erasing operation in combination with the file information according to the security file erasing rule base. Compared with the prior art, the configurable security file object reusing method disclosed by the invention is high in universality, good in compatibility and high in flexibility, and is applied to occasions having different security protection grades.
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2016 | 1 |
| 2014 | 1 |
| 1998 | 2 |