Вводится множество Н, которое строится в результате следующей процедуры. Составляется список L, в который в начальный мсмент помещаются элементы из DI- Для очередного элемента из этого списка берется очередной элемент из D2 и для полученной пары проверяется условие изоморфного наложения S на S", где S — СГ из списка Dlt a S" — из D2, если выполнены условия, сформулированные в пункте 2а для процедуры нахождения обобщенных дизъюнктивных описаний для объединения. Если это условие не выполнено, то берется следующий элемент из D2. Если все элементы из D2 уже использованы, то берется следующий элемент из списка L, a S из L вычеркивается и с ним снова сравниваются последовательно все элементы из D2. Если же для некоторой пары S и S" условие изоморфного наложения выполнены, то для этой пары образуют новое описание, в котором вершина У, у соответствует паре вершин У,- и Vj из S и S", для которых произошло наложение, причем весом этой новой вершины будет разность весов, которые соответствовали V и Vj. В семантическом графе S вместо вершины V используют вершину Vij, а остальные вершины сохраняют. Так поступают для всех пар вершин, что приводит к образованию N новых описаний, где N — число вершин в S (в S" столько же вершин). Все эти новые описания помещают в список L, a S из него вычеркивают. Если после появления первого изоморфного наложения для S все элементы из D2 уже с ним сравнены, то S становится элементом Н. Процесс заканчивается, когда список L оказывается пустым. [c.214]
Только в самое последнее время в исследованиях по созданию систем с искусственным интеллектом находят отражение работы по моделированию механизмов аналогии, хотя роль их в процессе мыслительной деятельности человека при решении задач велика. В этих работах аналогии рассматриваются в конструктивном плане как различные виды отображений. Использование аналогии при разработке систем с искусственным интеллектом может сыграть значительную роль как в процессах формирования моделей проблемных сред, так и в процессах принятия решений. В связи с этим можно указать на работу Беккера [22], в которой рассматривается процесс вывода по аналогии при обобщении некоторых структур семантической памяти. Аналогия между структурами, представленными в виде графа, определяется как обусловленное соответствие (motivated orresponden e) между элементами структур. По существу, один из используемых видов аналогии между двумя структурами определяется как взаимнооднозначное отображение элементов одной структуры на элементы другой структуры. При этом процесс отображения, по Беккеру, требует подтверждающей информации, т. е. для каждой неидентичной пары сопоставляемых элементов структур в памяти системы должна существовать информация, подтверждающая идентификацию этих элементов. Это и подчеркивается термином обусловленное соответствие . [c.375]