3 ms·
Chu spaces generalise the idea of concept-attribute table in formal concept analysis [1], by allowing the possession of an attribute by a concept to not simply
by chalst 5y ago
Chu spaces generalise the idea of concept-attribute table in formal concept analysis [1], by allowing the possession of an attribute by a concept to not simply be yes or no. Topological spaces are already a generalisation, where concepts are points and attributes are the open sets, but sometimes even topological systems are not general enough for the modelling you want to do.
Vaughan Pratt (the same Vaughan Pratt who was a cofounder of Sun), has done a lot to interest people in Chu spaces and his page might be of interest [2].
[1]: https://en.wikipedia.org/wiki/Formal_concept_analysis https://en.wikipedia.org/wiki/Formal_concept_analysis
[2]: http://chu.stanford.edu/ http://chu.stanford.edu/
- spekcular 5y agoHold on a second. Calling topological spaces a generalization of a concept-attribute table is a pretty ahistorical take. They were introduced to generalize metric spaces and other concrete examples. Do you have a link to where Pratt (or someone else) has applied Chu spaces to facilitate solving a problem (either practical or theoretical)? Because that is the crux of the issue.
- chalst 5y agoThat page mentions Steve Vickers' book Topology via Logic, which motivates the study of topology in computer science via this application.