Хорошая классификация должна отвечать только двум условиям. Во-первых, любой объект может быть размещен в одном из классов. Во-вторых, классификация не должна подчиняться гиперболическому закону Виллиса, при котором большинство объектов включены в меньшинство классов.
Возьмем пример для OpenStreetMap. Есть ли тег для деревянного столба с лазерным излучением? А если тег выдумать, не окажется ли, что на планете их всего несколько десятков?
Любая булева классификация рано или поздно упирается в одну из двух проблем. Либо появляется объект, который никуда не приткнуть (здравствуй теорема Геделе), либо сама классификация разрастается до невероятных размеров за счет классов, которые содержат всего по одному-два объекта (здравствуй бритва Оккама).
Кто-то решит, что я слишком теоретизирую и в реальном мире такие понятия как «лазер» и «деревянный столб» несовместимы. Но ведь объекты не обязательно должны принадлежать реальному миру. И потом, приезжайте в Мурманскую область, вы там и не такое увидите.
(☠) городшахты.рф - стиль картографа
