A new kind of implication to reason with unknown information

DOI10.1007/978-3-030-77867-5_5MaRDI QIDQ2117119zbMATH OpenOpenAlexFDO

Authors Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Angel Mora

Publication date 21 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-77867-5_5

zbMATH Keywords

logicGalois connectionimplicationsunknown information

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• A simple logic for reasoning about incomplete knowledge
• On some new classes of implication operators and their role in approximate reasoning
• Reasoning with imprecise belief structures
• Reasoning about uncertainty and explicit ignorance in generalized possibilistic logic
• An extended propositional logic for incomplete knowledge
• A logic for reasoning with inconsistent knowledge
• A new approach to epistemic logic
• A quantitative approach to reasoning about incomplete knowledge
• A new approach to inference in approximate reasoning

Cites work

• scientific article; zbMATH DE number 5510996 (Why is no real title available?)
• scientific article; zbMATH DE number 3823743 (Why is no real title available?)
• scientific article; zbMATH DE number 3771669 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 2090753 (Why is no real title available?)
• Attribute implications in \textbf{L}-concept analysis with positive and negative attributes: validity and properties of models
• Bilattices and the semantics of logic programming
• Closure via functional dependence simplification
• Computing implications with negation from a formal context
• Concept lattices with negative information: a characterization theorem
• Conceptual exploration
• Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis
• Formal Concept Analysis
• Galois connections in data analysis: Contributions from the Soviet era and modern Russian research
• Hypotheses and version spaces
• Inference of mixed information in formal concept analysis
• Interactive error correction in implicative theories
• Mathematical aspects of concept analysis
• Treating incomplete knowledge in formal concept analysis

Cited in

(1)

• Mining for Unknown Unknowns

This page was built for publication: A new kind of implication to reason with unknown information

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