Ну вот, дошел до проблем
Понял что скорее всего современное состояние этой ветви знания - почти никакое...
Пока получились следующие мысли по поводу "почти дерева" объектов (типов и экземпляров):
(прим. - поискал по таким ключевым словам в рунете, убил 3-4 часа, обнаружил что изобрел велосипед, однако почти в полной мере, т.е. больше этого почти ничего и нету
- называется это по научному - семантическая сеть)
У всех без исключения объектов есть следующие характеристики:
1. Каждый объект является типом или экземпляром (или это просто стол, или это конкретный стол);
2. Между двумя объектами может существовать связь "А разновидность Б" - т.е. объект А это строгая разновидность объекта Б, эта связь не может зацикливаться. Если такая связь указывается между объектами являющимися типами, то она должна сопровождаться описанием, в каких случаях эта связь работает, например, принтер является струйным, если у него ездит печатающая головка, но нету ленты;
3. Между объектами можно запретить классы эквивалентности для упрощения структуры, т.е. просто для каждого объекта составить словарь синонимов;
4. Между объектами возможно соответствие декомпозиции - т.е. каждый объект может быть разложен на несколько других (при этом не обязательное нахождение их вместе в плане расположения в пространстве - проводка в квартире состоит из кучи проводов и приборов по всей квартире) - здесь есть существенный вопрос касающийся порядка определения вариантов декомпозиции для объектов не являющихся экземплярами.
5. В реальном времени экземпляр объекта может менять свои связи "является разновидностью", т.е. мы можем узнать, что угол непонятного предмета, при ближайшем рассмотрении оказался углом принтера Epson 43UX, т.е. это струйный принтер, или узнать что непонятная аббривеатура МФУ это на самом деле и принтер и сканер и факс;
6. У каждого объекта могут быть указаны характеристики, которые действуют на все дочерние объекты, например, у всех ЖКТ-мониторов есть размер матрицы, при этом характеристики могут быть заполнены или оставаться пустыми;
-------------------------------------------------------------------------------------
Остается под вопросом - насколько имеет смысл дублировать некоторые характеристики созданием соответствующего дерева типов объектов...
Кроме того есть кипа вопросов по поводу действий, принятия решений и т.п. но это видимо не все сразу
пойду думать... искать... читать...