Cтраница 2
Семантические отношения, устанавливаемые между лексемами обрабатываемого предложения, соответствуют отношениям, существующим между вершинами семантической сети. Отметим, что выбор имен этих от ношений и имен вершин косвенно накладывает ограничения на тематику входного и выходного языка СЕЯ. [16]
Сравнение подграфов в общем случае может быть выполнено методом поиска с возвратом. Попытаемся отождествить все имена в V, не являющиеся переменными, с именами в V. Поскольку это предполагает, что все имена вершин уникальны, все константы в V должны отождествиться с соответствующими константами в V. [17]
Пример использования языка элементарных операций над данными в системе ИНЭС приведен на рис. 5.12. ЯМД в данном случае реализован в виде набора макроопераций языка ассемблер. Это производится следующим образом. Команда START начинает любую программу на языке ассемблер. Макрокоманда ACS с меткой OPEN получает память под управляющий блок базы данных ( STORE GET), заносит его адрес в поле ABASE и открывает базу данных по dd - именам ДОД и дерева данных. Следующая макрокоманда DCONK с меткой DOWN производит спуск по ветвям дерева данных в соответствии с траекторией, заданной в поле NAME. В поле памяти с меткой NAME хранится соетавнее имя вершины дерева, к которой можно спуститься. Это имя состоит из иерархической последовательности имен вершин ДОД и значений ключа ключевых массивов. И, наконец, команда END заканчивает программу на языке ассемблер. [18]
Пример использования языка элементарных операций над данными в системе ИНЭС приведен на рис. 5.12. ЯМД в данном случае реализован в виде набора макроопераций языка ассемблер. Это производится следующим образом. Команда START начинает любую программу на языке ассемблер. Макрокоманда ACS с меткой OPEN получает память под управляющий блок базы данных ( STORE GET), заносит его адрес в поле ABASE и открывает базу данных по dd - именам ДОД и дерева данных. Следующая макрокоманда DCONK с меткой DOWN производит спуск по ветвям дерева данных в соответствии с траекторией, заданной в поле NAME. В поле памяти с меткой NAME хранится соетавнее имя вершины дерева, к которой можно спуститься. Это имя состоит из иерархической последовательности имен вершин ДОД и значений ключа ключевых массивов. И, наконец, команда END заканчивает программу на языке ассемблер. [19]
Сравнение подграфов в общем случае может быть выполнено методом поиска с возвратом. Попытаемся отождествить все имена в V, не являющиеся переменными, с именами в V. Поскольку это предполагает, что все имена вершин уникальны, все константы в V должны отождествиться с соответствующими константами в V. Другими словами, имена дуг должны также отождествляться. Когда есть несогласованность, мы отказываемся от такой замены переменных, чтобы попытаться использовать другую подстановку. Поиск с возвратом проиллюстрирован рис. 7.13. Если имена вершин неединственны, мы должны попробовать все комбинации. [20]