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

Задание 1.

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

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

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

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

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

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

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

Задание 3.

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

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

Задание 4.

Некая рекрутинговая компания занимается подбором кадров для иностранных компаний на должности разработчиков баз данных в среде Oracle. Претенденты принимаются на две должностные категории разработчиков: младший программист и старший программист. К претендентам предъявляются следующие требования. Прохождение теста по английскому языку – прошедшим тест считается набравший не менее 7 баллов из 10. Опыт работы с Oracle не менее 3 лет и сдача теста по предмету на не менее чем 6 баллов из 10. Также допускается наличие опыта работы с системой Oracle менее 3 лет, но не меньше 1 года при условии сдачи теста по предмету на не менее чем 9 баллов из 10. Для получения должности младший программист необходимо иметь возраст от 23 до 29 лет. Для получения должности старший программист необходимо быть в возрасте от 27 лет, иметь опыт работы с системой Oracle не менее 4 лет и сдать тест по предмету не менее чем на 8 баллов из 10. Разработайте набор продукционных правил для экспертной системы, позволяющей по результатам испытаний отбирать претендентов на должности младшего и старшего программистов.

Задание 5.

Перед руководителем предприятия стоит проблема принятия решения о вложении средств в акции другого предприятия. Наиболее перспективными являются акции предприятий с низким долгом и высоким или средним ростом за прошедший год. Также можно покупать акции предприятия со средним долгом и высоким ростом.

Низкий долг - процент долга не выше 100%; средний долг – процент долга выше 100%, но не выше 130%.

Низкий рост – с приростом меньше 10%; средний рост – с приростом не меньше 10% и не больше 30%; высокий рост – с приростом выше 30%.

Разработайте продукционные правила для экспертной системы, вырабатывающей рекомендации по покупке акций.

Задание 9.

Постройте семантическую сеть для заемщика кредита в банке на ведение бизнеса. В качестве вершин используйте понятия: Заемщик, Сидоров, Банк, ОАО Инвест-банк, Кредит, Процентная ставка, 18%, Фермерское хозяйство, с. Лосиный. Выделите все отношения между перечисленными понятиями.