
Лаба 1 Изучение инструментальных средств для работы с однородными семантическими сетями
.docБелорусский государственный университет информатики и радиоэлектроники
Кафедра ИИТ
Отчет
По лабораторной работе по курсу ОТС №1
«Изучение инструментальных средств для работы с
однородными семантическими сетями»
Выполнила: Проверил:
Студентка гр.421702 Агашков В.В.
Алейникова К.А.
Сороко Д.
Минск
2005
Цель работы:
Изучение средств представления семантических сетей в терминальном и процессорном модуле графодинамической ассоциативной машины.
Ход работы:
-
Запустила терминальный модуль и изучила базовый алфавит графических примитивов языка SCg, используемых в редакторе терминального модуля. Изображения всех графических примитивов с их описанием, используемых в редакторе терминального модуля:
Константы |
Переменные |
Мета- переменные |
Пояснения |
|
|
|
изображение sc-элемента неуточняемого типа |
|
|
|
изображение sc-узла неуточняемого типа |
|
|
|
обозначение предметного множества |
|
|
|
обозначение узлового непредметного множества |
|
|
|
обозначение множества знаков пар принадлежности |
|
|
|
обозначение отношения |
|
|
|
обозначение ориентированной связки |
|
|
|
обозначение неориентированной связки |
|
|
|
обозначение атомарной логической формулы |
|
|
|
Обозначение класса
|
|
|
|
Обозначение семейства |
|
|
|
обозначение простой ориентированной пары с дополнительно уточняемой семантикой |
|
|
|
обозначение пары принадлежности |
|
|
|
обозначение пары непринадлежности |
|
|
|
Обозначение пары нечеткой принадлежности |
|
|
|
Обозначение пары равенства значений |
|
|
|
Обозначение неориентированной (неупорядоченной) пары с дополнительно уточняемой семантикой |
Таблица1. Основные графические примитивы языка SC
-
Опишем сложные примитивы, используемые в терминальном модуле - контур, шину, бинарную связку (пару)
|
|
|
Контур - замкнутая линия, являющаяся обозначением множества sc-элементов, изображенных внутри этой линии |
|
Шинная линия, являющаяся способом увеличения контактной зоны sc-узла |
||
|
Бинарная связка – линия, связывающая два sc-элемента |
||
|
Бинарная ориентированная связка – линия, связывающая два sc-элемента с указанием их ролей |
Таблица 2. Сложные графические примитивы языка SC
-
Аксиома. Первая аксиома принадлежности: Через 2 любые точки можно провести прямую, и только одну.
Определение. Фигура, лежащая на прямой: Фигура лежит на прямой, если у нее и этой прямой есть общие точки.
Теорема. Пример соотношения точки и прямой: Если прямая проходит
через точку, то эта точка принадлежит данной прямой.
-
Ошибки:
-
Неправильная расстановка атрибутов в отношении “строгое включение”: прямая должна входить в него под атрибутом “часть_”, а фигура – под атрибутом “целое_”.
-
Лучше было бы направить связки не в узлы, обозначающий семейство прямых и семейство фигур, а ввести дополнительные узлы.
-
Рис.1 Исправленный фрагмент 1.
Рис.2 Формализованное высказывание. “Для каждой прямой существует по крайней мере одна точка, не принадлежащая этой прямой”