Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Проверил: Мельниченко А.С.





Ульяновск

Задание:

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

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

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

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

 

Выполнение:

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

 

ПОКУПКА (ВИДЕОПЛЕЕР, SAMSUNG, МАГАЗИН)

ПОЛУЧЕНИЕ (МАГАЗИН, ПРОДУКЦИЯ, ФИРМА SAMSUNG)

ПРОИЗВОДСТВО (ФИРМА SAMSUNG, ВИДЕОПЛЕЕРЫ)

ПРОДАЖА (МАГАЗИН, ВИДЕОПЛЕЕР, SAMSUNG)

 

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

 

ВИДЕОПЛЕЕР

ПОКУПКА (ВИДЕОПЛЕЕР, SAMSUNG, МАГАЗИН)

ПРОИЗВОДСТВО (ФИРМА SAMSUNG, ВИДЕОПЛЕЕР)

ПРОДАЖА (МАГАЗИН, ВИДЕОПЛЕЕР, SAMSUNG)

 

МАГАЗИН

ПОКУПКА (ВИДЕОПЛЕЕР, SAMSUNG, МАГАЗИН)

ПОЛУЧЕНИЕ (МАГАЗИН, ПРОДУКЦИЯ, ФИРМА SAMSUNG)

ПРОДАЖА (МАГАЗИН, ВИДЕОПЛЕЕР, SAMSUNG)

 

ПРОДУКЦИЯ

ПОЛУЧЕНИЕ (МАГАЗИН, ПРОДУКЦИЯ, SAMSUNG)

ПРОИЗВОДСТВО (ФИРМА SAMSUNG, ПРОДУКЦИЯ, ВИДЕОПЛЕЕР)

 

ФИРМА SAMSUNG

 

ПРОИЗВОДСТВО (ФИРМА SAMSUNG, ПРОДУКЦИЯ, ВИДЕОПЛЕЕР)

ПОЛУЧЕНИЕ (МАГАЗИН, ПРОДУКЦИЯ, ФИРМА SAMSUNG)

 

------------------------------------------------------------------------------------------------------------

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

 

(х) [ЭЛЕМЕНТ (х, ПОКУПКИ) Λ ПОКУПКА (х, МАГАЗИН) Λ ОБЪЕКТ (х, ВИДЕОПЛЕЕР) Λ ОБЪЕКТ (х, SAMSUNG)]

 

(у) [ЭЛЕМЕНТ (у, ПРОИЗВОДСТВА) Λ ПРОИЗВОДСТВО (у, ФИРМА SAMSUNG) Λ ОБЪЕКТ (у, ВИДЕОПЛЕЕР) Λ ОБЪЕКТ (у, SAMSUNG)]

 

(z) [ЭЛЕМЕНТ (z, ПРОДАЖИ) Λ ПРОДАЖА (z, МАГАЗИН) Λ ОБЪЕКТ (z, ВИДЕОПЛЕЕР) Λ ОБЪЕКТ (у, SAMSUNG)]

 

(g) [ЭЛЕМЕНТ (g, ПОЛУЧЕНИЯ) Λ ПОЛУЧАЮЩИЙ (g, МАГАЗИН) Λ ОТДАЮЩИЙ (g, ФИРМА SAMSUNG) Λ ОБЪЕКТ (g, ПРОДУКЦИЯ) ]

 

 

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

 

ЭЛЕМЕНТ (ПОК1, ПОКУПКИ) Λ ПОКУПКА (ПОК1, МАГАЗИН) Λ ОБЪЕКТ (ПОК1, ВИДЕОПЛЕЕР) Λ ОБЪЕКТ (ПОК1, SAMSUNG)

 

ЭЛЕМЕНТ (ПРО1, ПРОИЗВОДСТВА) Λ ПРОИЗВОДСТВО (ПРО1, ФИРМА SAMSUNG) Λ ОБЪЕКТ (ПРО1, ВИДЕОПЛЕЕР) Λ ОБЪЕКТ (ПРО1, SAMSUNG)

 

ЭЛЕМЕНТ (ПРОД1, ПРОДАЖИ) Λ ПРОДАЖА (ПРОД1, МАГАЗИН) Λ ОБЪЕКТ (ПРОД1, ВИДЕОПЛЕЕР) Λ ОБЪЕКТ (ПРОД1, SAMSUNG)

 

ЭЛЕМЕНТ (ПОЛ1, ПОЛУЧЕНИЯ) Λ ПОЛУЧАЮЩИЙ (ПОЛ1, МАГАЗИН) Λ ОТДАЮЩИЙ (ПОЛ1, ФИРМА SAMSUNG) Λ ОБЪЕКТ (ПОЛ1, ПРОДУКЦИЯ)

 







Дата добавления: 2015-09-07; просмотров: 440. Нарушение авторских прав; Мы поможем в написании вашей работы!




Практические расчеты на срез и смятие При изучении темы обратите внимание на основные расчетные предпосылки и условности расчета...


Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...


Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...


Вычисление основной дактилоскопической формулы Вычислением основной дактоформулы обычно занимается следователь. Для этого все десять пальцев разбиваются на пять пар...

Трамадол (Маброн, Плазадол, Трамал, Трамалин) Групповая принадлежность · Наркотический анальгетик со смешанным механизмом действия, агонист опиоидных рецепторов...

Мелоксикам (Мовалис) Групповая принадлежность · Нестероидное противовоспалительное средство, преимущественно селективный обратимый ингибитор циклооксигеназы (ЦОГ-2)...

Менадиона натрия бисульфит (Викасол) Групповая принадлежность •Синтетический аналог витамина K, жирорастворимый, коагулянт...

Случайной величины Плотностью распределения вероятностей непрерывной случайной величины Х называют функцию f(x) – первую производную от функции распределения F(x): Понятие плотность распределения вероятностей случайной величины Х для дискретной величины неприменима...

Схема рефлекторной дуги условного слюноотделительного рефлекса При неоднократном сочетании действия предупреждающего сигнала и безусловного пищевого раздражителя формируются...

Уравнение волны. Уравнение плоской гармонической волны. Волновое уравнение. Уравнение сферической волны Уравнением упругой волны называют функцию , которая определяет смещение любой частицы среды с координатами относительно своего положения равновесия в произвольный момент времени t...

Studopedia.info - Студопедия - 2014-2025 год . (0.012 сек.) русская версия | украинская версия