Formal concept analysis and resolution in algebraic domains Export

@misc{citeulike:1082264, abstract = {We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution rule from the domain logic coincides with the concept closure operator from formal concept...}, author = {Hitzler, P. and Wendt, M.}, citeulike-article-id = {1082264}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.6711}, keywords = {algebraic-domains, fca, lp, resolution}, posted-at = {2007-02-01 17:16:42}, priority = {2}, title = {Formal concept analysis and resolution in algebraic domains}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.6711}, year = {2003} }

TY - GEN ID - citeulike:1082264 L3 - citeulike-article-id:1082264 N2 - We relate two formerly independent areas: Formal concept analysis and logic of domains. We will establish a correspondene between contextual attribute logic on formal contexts resp. concept lattices and a clausal logic on coherent algebraic cpos. We show how to identify the notion of formal concept in the domain theoretic setting. In particular, we show that a special instance of the resolution rule from the domain logic coincides with the concept closure operator from formal concept... TI - Formal concept analysis and resolution in algebraic domains KW - algebraic-domains KW - fca KW - lp KW - resolution AU - Hitzler, P AU - Wendt, M PY - 2003/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.6711 ER -