Лаба 1 Изучение инструментальных средств для работы с однородными семантическими сетями

Белорусский государственный университет информатики и радиоэлектроники

Кафедра ИИТ

Отчет

По лабораторной работе по курсу ОТС №1

«Изучение инструментальных средств для работы с

однородными семантическими сетями»

Выполнила: Проверил:

Студентка гр.421702 Агашков В.В.

Алейникова К.А.

Сороко Д.

Минск

2005

Цель работы:

Изучение средств представления семантических сетей в терминальном и процессорном модуле графодинамической ассоциативной машины.

Ход работы:

1. Запустила терминальный модуль и изучила базовый алфавит графических примитивов языка SCg, используемых в редакторе терминального модуля. Изображения всех графических примитивов с их описанием, используемых в редакторе терминального модуля:

Константы	Переменные	Мета- переменные	Пояснения
			изображение sc-элемента неуточняемого типа
			изображение sc-узла неуточняемого типа
			обозначение предметного множества
			обозначение узлового непредметного множества
			обозначение множества знаков пар принадлежности
			обозначение отношения
			обозначение ориентированной связки
			обозначение неориентированной связки
			обозначение атомарной логической формулы
			Обозначение класса
			Обозначение семейства
			обозначение простой ориентированной пары с дополнительно уточняемой семантикой
			обозначение пары принадлежности
			обозначение пары непринадлежности
			Обозначение пары  нечеткой принадлежности
			Обозначение   пары  равенства значений
			Обозначение неориентированной (неупорядоченной) пары с дополнительно уточняемой семантикой

Таблица1. Основные графические примитивы языка SC

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

			Контур - замкнутая линия, являющаяся обозначением множества sc-элементов, изображенных внутри этой линии
			Шинная линия, являющаяся способом увеличения контактной зоны sc-узла
			Бинарная связка – линия, связывающая два sc-элемента
			Бинарная ориентированная связка – линия, связывающая два sc-элемента с указанием их ролей

Таблица 2. Сложные графические примитивы языка SC

3. Аксиома. Первая аксиома принадлежности: Через 2 любые точки можно провести прямую, и только одну.

Определение. Фигура, лежащая на прямой: Фигура лежит на прямой, если у нее и этой прямой есть общие точки.

Теорема. Пример соотношения точки и прямой: Если прямая проходит

через точку, то эта точка принадлежит данной прямой.

4. Ошибки:

   1. Неправильная расстановка атрибутов в отношении “строгое включение”: прямая должна входить в него под атрибутом “часть_”, а фигура – под атрибутом “целое_”.

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

Рис.1 Исправленный фрагмент 1.

Рис.2 Формализованное высказывание. “Для каждой прямой существует по крайней мере одна точка, не принадлежащая этой прямой”