Домой

Отчет по курсу моис по лабораторной работе №3




НазваниеОтчет по курсу моис по лабораторной работе №3
Дата16.01.2013
Размер27.1 Kb.
ТипОтчет
Содержание
Результаты выполнения заданий
Подобные работы:


Министерство образования Республики Беларусь


Учреждение образования

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


Кафедра интеллектуальных информационных технологий


Отчет по курсу МОИС

По лабораторной работе №3


Выполнил: студент гр. 721701

Бобров И.П.


Проверил: Ивашенко В.П.


Минск

2010


Теоретические сведения


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

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

Логические высказывания бывают следующего типа: отрицание («не»), конъюнкция («и»), дизъюнкция («или»), сильная дизъюнкция (исключающее «или»), импликация («если…, то…»), эквиваленция.

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

  1. имена существительные, которые будут соответствовать предметным узлам или абсолютным понятиям, которые следует представить на языке SCL;

при том наличие предлога перед существительным обычно указывает на то, что это понятие относительное;

  1. имена прилагательные;

  2. глаголы, соответствующие отношениям.

Абсолютные понятия описываются классами объектов, относительные понятия – отношениями.

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

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

Если представленное утверждение действует на все переменные, то оно закрытое, а если хотя бы на одну не действует – открытое.

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

В вопросах, как правило, все переменные связанные.

^ Результаты выполнения заданий

Задание: Записать на графовом логическом языке фрагмент теории.

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



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



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



Заключение

В данной лабораторной работе я продолжил ознакомление с представлением замкнутых и открытых логических формул в графовом логическом языке представления знаний и получил навыки выявления логической структуры высказываний в процессе формирования по теории «лингвистический анализ текста».

Поиск по сайту:



База данных защищена авторским правом ©dogend.ru 2019
При копировании материала укажите ссылку
обратиться к администрации
Уроки, справочники, рефераты