Практическая часть. Содержание и порядок выполнения работы

 

Содержание и порядок выполнения работы

Цель работы

 

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

 

Исходные данные

Варианты исходных текстов на русском языке для выполнения лабораторной работы:

 

ВАРИАНТ 1. МАКАРОВА - В БРАКЕ С ОРЛОВЫМ.

ОРЛОВ - СОТРУДНИК ОТДЕЛА 23.

МАКАРОВА - СОТРУДНИК ОТДЕЛА 41

ОТДЕЛЫ В СТРУКТУРЕ НИИ.

 

ВАРИАНТ 2. ИВАНОВУ ВЫДАЛИ ЗАРПЛАТУ В КАССЕ.

КАССА В СТРУКТУРЕ БУХГАЛТЕРИИ.

БУХГАЛТЕРИЯ В СТРУКТУРЕ НИИ.

БУХГАЛТЕР НАЧИСЛИЛ ЗАРПЛАТУ.

 

ВАРИАНТ 3. РОМАНОВ КУПИЛ АВТОМОБИЛЬ.

А/М ВАЗ ПРОИЗВЕДЕНА В ТОЛЬЯТТИ.

А/М ВАЗ ПЕРЕДАНА ДЛЯ ПРОДАЖИ В АВТОСАЛОН.

АВТОСАЛОН ПРОДАЛ А/М ВАЗ РОМАНОВУ.

 

ВАРИАНТ 4. ВИДЕОПЛЕЙЕР КУПЛЕН В МАГАЗИНЕ.

МАГАЗИН ПОЛУЧАЕТ ПРОДУКЦИЮ ФИРМЫ SAMSUNG.

ФИРМА SAMSUNG ПРОИЗВОДИТ ВИДИОПЛЕЙЕРЫ.

МАГАЗИН ПРОДАЁТ ВИДИОПЛЕЙЕРЫ.

 

ВАРИАНТ 5. ПЕЛЬМЕНИ КУПЛЕНЫ В СУПЕРМАРКЕТЕ.

СУПЕРМАРКЕТ ПОЛУЧАЕТ ПРОДУКЦИЮ ФИРМЫ «ЛОЖКАРЕВ».

ФИРМА «ЛОЖКАРЕВ» ПРОИЗВОДИТ ПЕЛЬМЕНИ.

СУПЕРМАРКЕТ ПРОДАЕТ ПЕЛЬМЕНИ ФИРМЫ «ЛОЖКАРЕВ».

 

Порядок выполнения лабораторной работы

 

1. Представить предложения на русском языке (варианты 1 - 5) в виде правильно построенных формул (ППФ).

2. Собрать факты, относящиеся к отдельным понятиям в ППФ, в одну группу (блок).

3. Применить схему эквивалентных преобразований для записи полученных трехаргументных ППФ в ППФ только с бинарными пре­дикатами.

4. Ввести сколемовские выражения для переменных, от­носящихся к квантору существования, в полученную в п. 3 ППФ.

 

Оформление работы

 

Лабораторная работа оформляется в соответствии с приложением

данного учебного пособия.