KorNet 1.5

А.В. Корочков
Система программирования на основе
языка С++ для работы с моделью данных типа
"семантическая сеть" ("KorNet")

Описание системы (1995)

(См. также KorNet )

1. Модель данных

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

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

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

В данной реализации сети (для работы в среде MS/PC DOS)
поддерживаются два типа внутренних значений: строка символов
(произвольной длины, состоящая из букв английского и/или русского
алфавита и/или цифр, далее - строка) и целое положительное число (от 0
до 4294967295, далее - число). Для ОС, поддерживающих динамическую
компоновку на этапе выполнения программного модуля (напр., OS/2),
предполагается введение процедуры (программы) как третьего типа
внутренних значений объекта, что позволит полностью реализовать
объектно-ориентированный подход к построению данных (информации,
хранимой в системе).

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

Узлы могут иметь неограниченное число атрибутов. Атрибуты в качестве
значения могут иметь либо объект с внутренним значением (строка или
число), либо узел (как другой, так и тот же самый, которому принадлежит
атрибут). Помимо значения атрибуты всегда имеют имя, в качестве
которого может быть использована строка или число. Имена атрибутов
должны быть уникальными в контексте узла, которому они принадлежат. Это
ограничение не касается числовых имен, равных нулю. Количество
атрибутов с такими числовыми именами у одного узла не ограничено.
Значения таких атрибутов, условно называемых далее "безымянными", могут
быть получены только их последовательным перебором, для чего в системе
предусмотрены соответствующие средства (см. ниже).

1. Модель данных
2. Реализация сети
3. Использование системы KorNet
4. Дополнительные программы

   4.1	Интерфейсная программа TVDianet
   4.2	Интерфейсная программа ClDianet
   4.3	Программа создания снимка сети

5. Приложения

   5.1	Операции в сети и соответствующие им макрокоманды
   5.2	Макроязык системы KorNet (часть I)*
   	Макроязык системы KorNet (часть II)
   	Макроязык системы KorNet (часть III)
   5.3	Комплектация системы

* - подраздел 5.2 содержит также описания операций и примеры воздействия некоторых из них на сеть

KorNet || Переход на основную страницу

Copyright © 1999 А.В.Корочков
Последнее обновление: Октябрь 09, 2000.