Formal concept analysis （FCA） is a discipline that studied the hierarchical structures induced by a binary relation between a pair of sets, and applies in data analysis, information retrieval, knowledge discovery, e...Formal concept analysis （FCA） is a discipline that studied the hierarchical structures induced by a binary relation between a pair of sets, and applies in data analysis, information retrieval, knowledge discovery, etc. In this paper, it is shown that a formal context T is equivalent to a set-valued mapping S ： G → P（М）, and formal concepts could be defined in the set-valued mapping S. It is known that the topology and set-valued mapping are linked. Hence, the advantage of this paper is that the conclusion make us to construct formal concept lattice based on the topology.展开更多
The aim of this paper is to contribute to the identification and characterization of the various types of intuition put forward by Poincar6, taking his texts as a laboratory for looking for what intuition might be. I ...The aim of this paper is to contribute to the identification and characterization of the various types of intuition put forward by Poincar6, taking his texts as a laboratory for looking for what intuition might be. I will stress that these diverse conceptions are mainly formulated in the context of Poincar6＇s controversies in opposition to logicism, to formalism, and in the context of Poincar6＇s very peculiar conventionalism. I will try to demonstrate that, in each case, Poincar~ comes close to a specific tradition （Kant, of course, but also Leibniz and Peirce）.展开更多
基金the Young Foundation of Sichuan Province(06ZQ026-037) the Education Department Foundation of Sichuan Province(2005A1212006A084)
文摘Formal concept analysis （FCA） is a discipline that studied the hierarchical structures induced by a binary relation between a pair of sets, and applies in data analysis, information retrieval, knowledge discovery, etc. In this paper, it is shown that a formal context T is equivalent to a set-valued mapping S ： G → P（М）, and formal concepts could be defined in the set-valued mapping S. It is known that the topology and set-valued mapping are linked. Hence, the advantage of this paper is that the conclusion make us to construct formal concept lattice based on the topology.
文摘The aim of this paper is to contribute to the identification and characterization of the various types of intuition put forward by Poincar6, taking his texts as a laboratory for looking for what intuition might be. I will stress that these diverse conceptions are mainly formulated in the context of Poincar6＇s controversies in opposition to logicism, to formalism, and in the context of Poincar6＇s very peculiar conventionalism. I will try to demonstrate that, in each case, Poincar~ comes close to a specific tradition （Kant, of course, but also Leibniz and Peirce）.
