概念图的增量计算
计算机科学中的逻辑
2019-03-08 v1
摘要
给定一个形式背景 K=(G,M,I)，其具有属性可加概念图的概念格 B(K) 已知，且需向其插入或从中删除一个属性列 C=(G,{n},J)。本文引入并证明了针对这两项任务的增量更新算法。
引用
@article{arxiv.1903.02593,
title = {Incremental Computation of Concept Diagrams},
author = {Francesco Kriegel},
journal= {arXiv preprint arXiv:1903.02593},
year = {2019}
}
备注
Supplemental proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA 2014), Cluj-Napoca, Romania