Reductions and saturation reductions of (abstract) knowledge bases

DOI10.1016/J.ENTCS.2014.01.012MaRDI QIDQ276409zbMATH OpenOpenAlexWikidataFDO

Authors Luoshan Xu, Jing Zhao

Publication date 3 May 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2014.01.012

zbMATH Keywords

topologycoreexistenceabstract knowledge baseposetsaturation reductionsemilattice

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30)

Recommendations

• \(\ast\)-reductions in a knowledge base
• Knowledge Reduction in Concept Lattices Based on Irreducible Elements
• Rules reduction for knowledge representation systems
• Verifying Context-Dependent Reduction Relations for Knowledge Specifications
• \(\overline{F}\)-knowledge and its \(F\)-reduction theorems
• ``Reducing classic to practice: Knowledge representation theory meets reality
• On relative reduction of knowledges in covering decision systems
• Reduction of knowledge via minimal approximation space and graphs

Cites work

• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• Comparative study of alternative types of knowledge reduction in inconsistent systems
• Continuous Lattices and Domains
• Knowledge reduction based on the equivalence relations defined on attribute set and its power set
• Reduction and axiomization of covering generalized rough sets.
• Rough sets
• Rudiments of rough sets
• Verification of knowledge bases based on containment checking

Cited in

(4)

• Verifying Context-Dependent Reduction Relations for Knowledge Specifications
• \(\ast\)-reductions in a knowledge base
• \(\overline{F}\)-knowledge and its \(F\)-reduction theorems
• Knowledge reduction based on the equivalence relations defined on attribute set and its power set

This page was built for publication: Reductions and saturation reductions of (abstract) knowledge bases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q276409)