Scholarlink

The study of unknown information in formal contexts can be done from two extremely different points of view: working just with the information available at the moment, or exploring all the different values that the unknown information can take. From these two perspectives, we obtain two kinds of attribute implications: the weak ones which are the attribute implications that hold with the current amount of information, and the strong ones which will also hold under any update of the context. We study whether, given a complete system of weak implications concerning partial formal context, one can extract a complete system of strong ones concerning the same partial formal context.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Inheritance of Completeness Between Systems of Strong and Weak Implications

  • 章节

  • 发表日期：

    2026年

查看全文
  • Francisco Pérez-Gámez,
  • Carlos Bejines,
  • Pablo Cordero,
  • Domingo López-Rodríguez,
  • Manuel Ojeda-Hernández

摘要

The study of unknown information in formal contexts can be done from two extremely different points of view: working just with the information available at the moment, or exploring all the different values that the unknown information can take. From these two perspectives, we obtain two kinds of attribute implications: the weak ones which are the attribute implications that hold with the current amount of information, and the strong ones which will also hold under any update of the context. We study whether, given a complete system of weak implications concerning partial formal context, one can extract a complete system of strong ones concerning the same partial formal context.