Семанти́ческая сеть

Семанти́ческая  сеть — информационная модель предметной области, имеющая вид ориентированного графа, вершины которого соответствуют  объектам предметной области, а дуги (рёбра) задают отношения между ними. Объектами могут быть понятия, события, свойства, процессы[1]. Таким образом, семантическая сеть является одним из способов представления знаний. В названии соединены термины из двух наук: семантика в языкознании изучает смысл единиц языка, а сеть в математике представляет собой разновидность графа — набора вершин, соединённых дугами (рёбрами). В семантической сети роль вершин выполняют понятия базы знаний, а дуги (причем направленные) задают отношения между ними. Таким образом, семантическая сеть отражает семантику предметной области в виде понятий и отношений. 

у семантического языка есть некоторый «словарь»  — элементарные смыслы. Однако множество  элементарных смыслов само по себе еще не образует языка; язык должен обладать грамматикой — правилами  построения предложений из слов. 
 

единицы семантического языка — это те элементы («атомы»), из различных комбинаций которых складываются «молекулы» — значения реальных слов естественного языка. 

Таким образом, семантический язык имеет свои слова (элементарные смыслы) и свою грамматику (деревья зависимостей). Поэтому мы можем обращаться с ним, как с любым другим   языком,   в   частности переводить тексты с него и на него. Пользуясь понятием перевода, мы можем более точно сформулировать стоящие перед нами задачи. 

В определениях значений могут участвовать неопределяемые понятия, промежуточные понятия и любые уже определенные понятия; при этом следует помнить, что использование промежуточных и уже определенных понятий является техническим приемом сокращения определений; любое определение в случае необходимости может быть переписано в более развернутой форме, составленной исключительно из выражений семантического языка. 

Считается, что  значением каждого определяемого  выражения является внеязыковая  ситуация, которая и изображается семантической записью. Определение  для того или иного выражения подыскивается в ходе интуитивных рассуждений, которые носят название метода порт-ретирования. Этот метод состоит в последовательном описании «картинок», которые в совокупности составляют типовую ситуацию, обозначаемую данным выражением. Так, значение слова цель нащупывается следующими содержательными рассуждениями. Цель — это положение вещей, являющееся желательным для некоторого лица А. Цель отличается от мечты наличием реальных путей к ее осуществлению, а от прочих желаний — тем, что лицо А само ее осуществляет, используя при этом имеющиеся в его распоряжении ресурсы. Для достижения цели лицо А действует или планирует действия, которые кажутся ему целесообразными, и т. д. Когда значение слова таким образом нащупано, оно получает более строгое определение на описанном выше семантическом языке. Подчеркнем, что правильность найденного определения подтверждается не объективностью процедуры, с помощью которой оно отыскивается, а другими средствами, например эффективностью автоматического перевода, осуществляемого на основе данной семантической модели.

            Благодаря отчетливой формулировке  определений становятся возможными  нетривиальные сопоставления сходных,  но не совпадающих по значению  выражений естественного языка.

Ю. Д. АПРЕСЯН  ИДЕИ И МЕТОДЫ СОВРЕМЕННОЙ СТРУКТУРНОЙ ЛИНГВИСТИКИ

      Наиболее  известными методами, позволяющими выполнить  структурирование программ, являются: метод дублирования кодов программы, метод введения переменной состояния  и метод булевых признаков.

Метод дублирования кодов имеет недостаток: он требует больше памяти, чем исходный неструктурированный подход. Однако часто оказывается, что дублируемые модули содержат по 2-3 оператора. В таком случае дублирование кодов – приемлемая плата за возможность получить распадающуюся на уровни структуру. Если же модули состоят из значительного объема кодов, то вводятся подпрограммы. При этом важно,

      чтобы они были организованы как подпрограммы с формальными параметрами, что  дает возможность установить их правильность вне зависимости от контекста, в котором они используются. 

      Блок-схема  — это графическое представление  алгоритма или фрагмента алгоритма. Блок-схема рисуется с использованием специальных символов, таких, как  прямоугольники, ромбы, овалы, и малые  окружности; эти символы соединяются  стрелками, называемыми линиями  связи.

      вся задача рассматривается как единственное предложение (вершина), выражающее общее  назначение программы. Так как вершина  редко отображает достаточное количество деталей, на основании которых можно  написать программу, то поэтому надо начинать процесс детализации. Вершина разделяется на ряд более мелких задач в том порядке, в котором эти задачи должны выполнятся. В результате получим первую детализацию. Далее каждая из подзадач разбивается на подзадачи, принадлежащие второму уровню детализации. Программист завершает процесс нисходящей разработки с пошаговой детализацией, когда алгоритм настолько детализирован, чтобы его можно было бы преобразовать в программу. 

      1)Блок-схема — это графическое представление алгоритма или фрагмента алгоритма. Блок-схема рисуется с использованием специальных символов, таких, как прямоугольники, ромбы, овалы, и малые окружности; эти символы соединяются стрелками, называемыми линиями связи. 

      Узел  слияния - 2 входа 1 выход, операции над  данными не осуществляются 

      Простой предикат – вычисляет логическое выражение и в соответствии с получившимся результатом определяет направление. Вычисление без побочных эффектов. Функция - преобразование входных данных. 
 

      Программа называется простой, если ее схема имеет  один вход один выход, и через каждый вход идет путь от входа к выходу. 

      Программа называется элементарной, если она  простая и нельзя выделить фрагмента  более чем из одного узла (отличного  от самой программы), который тоже является простой программой.

      Существует 15 элементарных программ (не более 4 узлов). 7 из них имеют функциональные узлы:  

      Функция: 

      Следование: 
 
 
 
 

      Если-то-иначе: 
 
 

      Если-то: 
 
 

      Цикл  с предусловием: 
 
 

      Цикл  с постусловием: 
 
 

      Цикл  с внутренним условием: 
 
 

      С помощью указанных управляющих  конструкций можно добиться сколь угодно высокой сложности. 

      Обычно  операторы программы выполняются  друг за другом в той последовательности, в которой они написаны. Это  называется последовательным выполнением. Однако некоторые операторы позволяют  программисту указать, что следующим должен выполнятся не очередной оператор, а какой-то другой. Это называется передачей управления.

Под фреймом  понимается абстрактный образ или  ситуация.

любой фрейм, представляющий образ, содержит набор атрибутов (слотов), значениями которых являются конкретные данные.

Кроме того, фрейм  может содержать процедуры, которые  будут выполняться при определенных условиях (при записи или удалении информации из слота, при обращении  к слоту, в котором отсутствуют  данные и т.д.) С каждым слотом может  быть связано любое количество процедур.

Между различными концептуальными объектами существуют некоторые аналогии, в результате чего и фреймы, представляющие такие  образы, выстраиваются в иерархическую  систему с классификационными и  обобщающими свойствами. При этом сложные объекты представляются комбинацией нескольких фреймов (вложенными фреймами). Свойством сети фреймов, заимствованным из семантических сетей, является наличие AKO-связей (A-Kind-Of), которые связывают фреймы с фреймами, находящимися на уровень выше в иерархии, откуда неявно наследуются (переносятся) значения слотов. Каждый фрейм имеет уникальное имя (идентификатор) в пределах системы фреймов. 

Такая структура  позволяет систематизировать большой  объем информации, оставляя ее при  этом максимально удобной для использования. 

1. Имя фрейма - это идентификатор, присваиваемый фрейму. Фрейм должен иметь имя, единственное в данной фреймовой системе (уникальное имя). Каждый фрейм как показано на рис. 3.6, состоит из произвольного числа слотов, причем несколько из них обычно определяются самой системой для выполнения специфических функций, а остальные определяются пользователем. В их число входят слот IS-А, показывающий фрейм-родитель данного фрейма, слот указателей дочерних фреймов, который является списком указателей этих фреймов, слот для ввода имени пользователя, даты определения, даты изменения, текста комментария и другие слоты. Каждый слот, в свою очередь, так же представлен определенной структурой данных.