CAISL: Simplification Logic for Conditional Attribute Implications
| Data(s) |
25/07/2016
25/07/2016
2016
25/07/2016
|
|---|---|
| Resumo |
In this work, we present a sound and complete axiomatic system for conditional attribute implications (CAIs) in Triadic Concept Analysis (TCA). Our approach is strongly based on the Simplification paradigm which offers a more suitable way for automated reasoning than the one based on Armstrong’s Axioms. We also present an automated method to prove the derivability of a CAI from a set of CAI s. Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. |
| Identificador | |
| Idioma(s) |
spa |
| Relação |
13th International Conference on Concept Lattices and Their Applications Moscú - Rusia 18/7/2016 |
| Direitos |
info:eu-repo/semantics/openAccess |
| Palavras-Chave | #Axioma de elección #Triadic Concept Analysis #Logic #Implications |
| Tipo |
info:eu-repo/semantics/conferenceObject |
