Эти три условия отражают различные способы обобщения, которые мы рассмотрели в примерах 4.3—4.7. Так, первое условие есть обобщение по квантификатору. В частности, при объединении в одну вершину неопределенного количества объектов (примером этого служит СГ на рис. 4.14, б) вместо количественного значения для составляющей веса п можно использовать качественный квантификатор количества. Второе условие есть обобщение по имени, так как т связаны некоторой иерархической связью родо-видового типа. В 2.9 мы уже говорили о иерархиях типа АКО-связи, которая как раз и задает условия для обобщения, выполняемого по такому принципу. Наконец, третье условие есть условие обобщения по модификаторам, проиллюстрированное нами в примере 4.6. [c.201]
Эти три условия отражают различные способы обобщения, которые мы рассмотрели в примерах 4.3—4.7. Так, первое условие есть обобщение по квантификатору. В частности, при объединении в одну вершину неопределенного количества объектов (примером этого служит СГ на рис. 4.14, б) вместо количественного значения для составляющей веса п можно использовать качественный квантификатор количества. Второе условие есть обобщение по имени, так как т связаны некоторой иерархической связью родо-видового типа. В 2.9 мы уже говорили о иерархиях типа АКО-связи, которая как раз и задает условия для обобщения, выполняемого по такому принципу. Наконец, третье условие есть условие обобщения по модификаторам, проиллюстрированное нами в примере 4.6. [c.201]