«Представление и методы обработки знаний в интеллектуальных системах, основанных на формальных логических системах представления знаний» - Контрольная работа

Содержание

Задание 1.

Представьте приведенные ниже высказывания в логике предикатов первого порядка, используя совместимый словарь (который вы должны определить).

а) Некоторые студенты участвовали в экзамене по французскому языку весной 2001 года.

Пусть А –студенты;

В – участие в экзамене по французскому языку

С – весна 2001

Тогда высказывание выглядит следующим образом:

б) Каждый студент, который участвует в экзамене по французскому языку, сдает его.

Пусть А –студент;

В – участие в экзамене по французскому языку

С – сдача экзамена

Тогда высказывание выглядит следующим образом:

в) Только один студент участвовал в экзаменах по греческому языку весной 2001 года.

Пусть А – студент;

В – участие в экзамене по французскому языку

С – весна 2001

Тогда высказывание выглядит следующим образом:

г) Лучшая оценка по греческому всегда выше, чем лучшая оценка по французскому.

Пусть А – лучшая оценка по греческому языку;

В – лучшая оценка по французскому;

Тогда:

д) Любой человек, рожденный в Великобритании, каждым из родителей которого является британский гражданин или британский резидент, является британским гражданином по рождению.

Пусть:

А – человек, рожденный в Великобритании;

В – каждый из родителей является британский гражданин или британский резидент

С - британский гражданин по рождению;

Тогда:

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

Пусть:

А – политические деятели;

В – введение в заблуждение

С – люди;

Тогда:

Введение

Задание 2.

Представьте формально-логической моделью следующие рекомендации трейдеру по покупке и продаже финансовых инструментов, предварительно определив элементарные предикаты и функции.

Обнаружив на недельном графике восходящую тенденцию по 13-периодной экспоненциальной скользящей средней цен закрытия, подождите, когда дневные стохастические линии (стохастического осциллятора с параметрами 7-4-3) опустятся за нижнюю пограничную линию (20%). Затем, не дожидаясь их пересечения или поворота вверх, дайте приказ о покупке над максимумом последнего дня. Открыв длинную позицию, разместите защитный стоп приказ под минимумом данного или предыдущего дня, ориентируясь на более низкую величину.

Обнаружив на недельном графике нисходящую тенденцию по 13-периодной экспоненциальной скользящей средней цен закрытия, подождите, пока дневные стохастические линии (стохастического осциллятора с параметрами 7-4-3) не поднимутся над своей верхней пограничной линии (80%). Затем, не дожидаясь их пересечения или поворота вниз, разместите приказ о короткой продаже под минимумом последнего дня. Начав игру на понижение, разместите защитный стоп приказ над максимумом данного или предыдущего дня, ориентируясь на более высокую величину.

Что в описанной предметной области невозможно и не следует формализовать?

Выдержка из текста работы

Задание 3.

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

Некий банк «Инвест-банк» предоставляет кредиты для физических лиц на следующих условиях. Возраст заемщика не моложе 20 лет и не старше 50 лет. Сумма кредита от 100 тыс. руб. до 500 млн. руб. Кредит предоставляется, если ежемесячный доход заемщика составляет не менее 10% от суммы кредита. Другое условие предоставления: залог под актив, денежная стоимость которого составляет не менее 90% от суммы кредита. При этом не допускается, чтобы этот актив уже был заложен какому-либо банку. Кредит также предоставляется при условии поручительства. При этом требования к поручителю сводятся к следующим. Возраст поручителя от 20 до 50 – ти лет, обладание активом, денежная стоимость которого составляет не менее 90% от суммы кредита и, кроме того, этот актив не заложен ни в одном из банков.

Пусть:

М – выдача кредита

Т – условия 1:

x– возраст заемщика 20-50 лет;

y– сумма кредита 100 тыс.руб. – 500 млн. руб.;

z– ежемесячный доход –не менее 10% суммы крдита;

Р – условия 2:

а - залог под актив

b - стоимость залога составляет не менее 90% от суммы кредита

c - актив уже был заложен какому-либо банку

А – условия 3:

e - поручительства

f – Возраст поручителя от 20 до 50 – ти лет

g - обладание активом, денежная стоимость которого составляет не менее 90% от суммы кредита и, кроме того, этот актив не заложен ни в одном из банков/

Тогда М =

Заключение

Задание 4.

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

А) Управляющий торговой фирмой «У нас есть всё» Петров Николай Иванович, придя рано утром в свой офис, узнал о том, что вчера в поступившей на склад партии ботинок имеется много бракованных. Чтобы разобраться в ситуации он пригласил нескольких менеджеров. Менеджер Макагон сообщила, что если кладовщик Степанов Аркадий Иванович отсутствовал на складе, то либо приемщица Иванова Нина Васильевна ввела в партию принимаемого товара товар от нелегального производителя, либо Степанов Аркадий Иванович не проверил товар. Менеджер Савицкий считает, что или приемщица Иванова Нина Васильевна ввела в партию принимаемого товара товар от нелегального производителя, или Степанов Аркадий Иванович присутствовал на складе и прием товара производился после 16 часов. Менеджер Заславский сообщил, что если прием товара производился после 16 часов, то либо Нина Васильевна ввела в партию принимаемого товара товар от нелегального производителя, либо Степанов Аркадий Иванович не проверил товар. Менеджер Илькин также хотел что-то сообщить, но управляющий Петров Николай Иванович его прервал, сказав, что этого достаточно и, что теперь он знает все. Он знал, что если Степанов Аркадий Иванович присутствует на складе, то он всегда проверяет принимаемый товар. Какой вывод сделал управляющий Степанов Аркадий Иванович?

Решение:

Б) Кто-то из трех менеджеров компании передал ценный заказ конкурирующей компании. В ходе служебного разбирательства каждый из них сделал по два заявления.

Егорочкин. Я не делал этого. Елькин сделал это.

Птичкин. Елькин не виноват. Это сделал Егорочкин.

Елькин. Я не делал этого. Птичкин не делал этого.

В ходе разбирательства также выяснили, что один из них дважды солгал, другой - дважды сказал правду, третий – один раз солгал, один раз сказал правду. Кто передал ценный заказ конкурирующей компании?

Решение:

Список литературы

Задание 5.

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

а) Фермерское хозяйство – это частная фирма. Следовательно, правовые нормы, регулирующие деятельность фермерского хозяйства – это правовые нормы, регулирующие деятельность частных фирм.

Покажите все восемь этапов преобразования формулы в скулемовскую форму.

б) Всякий парикмахер в Джонсвилле бреет всех тех и только тех, кто не бреется сам. Следовательно, в Джонсвилле нет ни одного парикмахера.