Эти три условия отражают различные способы обобщения, которые мы рассмотрели в примерах 4.3—4.7. Так, первое условие есть обобщение по квантификатору. В частности, при объединении в одну вершину неопределенного количества объектов (примером этого служит СГ на рис. 4.14, б) вместо количественного значения для составляющей веса п можно использовать качественный квантификатор количества. Второе условие есть обобщение по имени, так как т связаны некоторой иерархической связью родо-видового типа. В 2.9 мы уже говорили о иерархиях типа АКО-связи, которая как раз и задает условия для обобщения, выполняемого по такому принципу. Наконец, третье условие есть условие обобщения по модификаторам, проиллюстрированное нами в примере 4.6. [c.201]
Наличие х в данном неравенстве связывает точность заключительной детерминации с точностями детерминаций, входящих в посылки. Это область обобщенных силлогизмов. Если, например, х=1, то P(bla) = , P( lb)= и Р(с/а)=1. Мы получаем известный аристотелевский силлогизм, называемый обычно Barbara. Интересно, что при х=1 оказываются незначимыми значения v, т. е. характер контекста силлогизма. Это означает, что то условие v=2, которое всегда подразумевается в классическом истолковании силлогизмов Аристотеля, не является обязательным для модусов типа Barbara. Если отказаться от одинаковости ограничений v в контексте, то можно получать и другие расширения силлогизмов. Отметим, что значение v легко связывается с квантификаторами оценки частоты типа часто, очень часто, почти всегда. А если правые ограничения в контексте также сделать различными и отличными от единицы, то контекст будет определять частотные квантификаторы, с которыми входят в схему вывода посылки силлогизма. [c.152]
Для каждого вида обобщений нужно иметь специальные средства. Однако для многих из них существует общая модель, связанная с моделью представления описаний в виде семантического графа. Каждый семантический граф (СГ) представляет собой взвешенный мультиграф, причем веса могут приписываться как вершинам СГ, так и его дугам. Будем рассматривать СГ, в которых используется пять типов вершин. Вершины первого типа носят название объектных. Вес объектных вершин имеет вид < , т>. Здесь п — число однотипных объектов, приписываемых данной вершине или некоторый квантификатор, оценивающий это число, т — тип объекта (некоторый класс, к которому принадлежат объекты, соответствующие данной вершине). Вершины второго типа называются признанными. Вес таких вершин имеет вид <(ль ITJ, (л2, П2)...(лй, Пь)>, где л — имена признаков, а П — значения признаков. Вершины третьего типа называются предикатными. В качестве их веса выступает имя некоторого предиката P-t с указанием его местности. Функциональные вершины составляют четвертый тип вершин в СГ. В качестве их веса выступает тот функциональный символ, который определяет суть этой вершины. Для функционального символа указывается его местность. Наконец, последний тип вершин вСГ — именные вершины их вес выражается через некоторые символы из множества имен. [c.199]