2014 | OriginalPaper | Buchkapitel
Propositional Compilation for All Normal Parameter Reductions of a Soft Set
verfasst von : Banghe Han, Xiaonan Li
Erschienen in: Rough Sets and Knowledge Technology
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper proposes a method for compiling all the normal parameter reductions of a soft set into a conjunction of disjunctive normal form, which is generated by parameter boolean atomic formulas. A subset of parameter set is a normal parameter reduction if and only if the characteristic function of its complementary set is a model of this proposition. Three rules for simplifying this job are developed and combined.