Практическая часть. Содержание и порядок выполнения работы
Содержание и порядок выполнения работы Цель работы
Лабораторная работа имеют своей целью закрепление, углубление и расширение знаний студентов по вопросам построения логико - алгебраических моделей представления знаний; развитие у студентов профессиональных навыков преобразования знаний о предметной области, представленных на русском языке, в представления знаний в предикатной двухаргументной форме.
Исходные данные Варианты исходных текстов на русском языке для выполнения лабораторной работы:
ВАРИАНТ 1. МАКАРОВА - В БРАКЕ С ОРЛОВЫМ. ОРЛОВ - СОТРУДНИК ОТДЕЛА 23. МАКАРОВА - СОТРУДНИК ОТДЕЛА 41 ОТДЕЛЫ В СТРУКТУРЕ НИИ.
ВАРИАНТ 2. ИВАНОВУ ВЫДАЛИ ЗАРПЛАТУ В КАССЕ. КАССА В СТРУКТУРЕ БУХГАЛТЕРИИ. БУХГАЛТЕРИЯ В СТРУКТУРЕ НИИ. БУХГАЛТЕР НАЧИСЛИЛ ЗАРПЛАТУ.
ВАРИАНТ 3. РОМАНОВ КУПИЛ АВТОМОБИЛЬ. А/М ВАЗ ПРОИЗВЕДЕНА В ТОЛЬЯТТИ. А/М ВАЗ ПЕРЕДАНА ДЛЯ ПРОДАЖИ В АВТОСАЛОН. АВТОСАЛОН ПРОДАЛ А/М ВАЗ РОМАНОВУ.
ВАРИАНТ 4. ВИДЕОПЛЕЙЕР КУПЛЕН В МАГАЗИНЕ. МАГАЗИН ПОЛУЧАЕТ ПРОДУКЦИЮ ФИРМЫ SAMSUNG. ФИРМА SAMSUNG ПРОИЗВОДИТ ВИДИОПЛЕЙЕРЫ. МАГАЗИН ПРОДАЁТ ВИДИОПЛЕЙЕРЫ.
ВАРИАНТ 5. ПЕЛЬМЕНИ КУПЛЕНЫ В СУПЕРМАРКЕТЕ. СУПЕРМАРКЕТ ПОЛУЧАЕТ ПРОДУКЦИЮ ФИРМЫ «ЛОЖКАРЕВ». ФИРМА «ЛОЖКАРЕВ» ПРОИЗВОДИТ ПЕЛЬМЕНИ. СУПЕРМАРКЕТ ПРОДАЕТ ПЕЛЬМЕНИ ФИРМЫ «ЛОЖКАРЕВ».
Порядок выполнения лабораторной работы
1. Представить предложения на русском языке (варианты 1 - 5) в виде правильно построенных формул (ППФ). 2. Собрать факты, относящиеся к отдельным понятиям в ППФ, в одну группу (блок). 3. Применить схему эквивалентных преобразований для записи полученных трехаргументных ППФ в ППФ только с бинарными предикатами. 4. Ввести сколемовские выражения для переменных, относящихся к квантору существования, в полученную в п. 3 ППФ.
Оформление работы
Лабораторная работа оформляется в соответствии с приложением данного учебного пособия.
|
