7.080402 „Інформаційні технології проектування”

Дисципліна "Основи проектування систем штучного інтелекту"

КОМПЛЕКСНА КОНТРОЛЬНА РОБОТА

Завдання № 18

1. Як доказати тотожність 2-х логічних формул за допомогою функції істинності?

2. Розробити програму INSERT(X, Y, L1, L2) на мові логічного програмування ПРОЛОГ, яка виконує наступну операцію - вставлення елемента Х в список L1 замість елемента Y.

3. Відобразити засобами числення предикатів наступні родинні відносини - відношення СИН(Х,У) через відношення БАТЬКИ(Х,У), ЧОЛОВИЧА_СТАТЬ(Х).

Завідувач кафедри

_____________ Гамаюн В. П.

„ _____“ ________2013 року

Національний авіаційний університет

Кафедра прикладної інформатики

Спеціальності:

7.080402 „Інформаційні технології проектування”

Дисципліна "Основи проектування систем штучного інтелекту"

КОМПЛЕКСНА КОНТРОЛЬНА РОБОТА

Завдання № 19

1. Чим відрізняється дистрибутивний закон в численні речень від відповідного алгебраїчного закону?

2. Розробити програму MENBER(N, L1,Y) на мові логічного програмування ПРОЛОГ яка виконує наступну операцію - виділення N-того елемента зі списку L1.

3. Відобразити засобами числення предикатів наступні родинні відносини - відношення ДЕВЕРЬ(Х, У) через відношення БАТЬКИ(Х, У), ЧОЛОВИЧА_СТАТЬ(Х), ШЛЮБ(Х,У). Деверь – брат мужа.

Завідувач кафедри

_____________ Гамаюн В. П.

„ _____“ ________2013 року

________________________________________________________________________

Національний авіаційний університет

Кафедра прикладної інформатики

Спеціальності:

7.080402 „Інформаційні технології проектування”

Дисципліна "Основи проектування систем штучного інтелекту"

КОМПЛЕКСНА КОНТРОЛЬНА РОБОТА

Завдання № 20

1. Поясніть, чому важко реалізувати людський метод доказу на ЕОМ?.

2. Розробити програму DEL(N, Ll, L2) на мові логічного програмування ПРОЛОГ, яка виконує наступну операцію - усунення N-того елемента зі списку L1.

3. Відобразити засобами числення предикатів наступні родинні відносини - відношення ДОЧЬ(Х,У) через відношення БАТЬКИ(Х,У), ЖІНОЧА_СТАТЬ(Х).

Завідувач кафедри

_____________ Гамаюн В. П.

Національний авіаційний університет

Кафедра прикладної інформатики

Спеціальності:

7.080402 „Інформаційні технології проектування”

Дисципліна "Основи проектування систем штучного інтелекту"

КОМПЛЕКСНА КОНТРОЛЬНА РОБОТА

Завдання № 21

1. Обґрунтуйте, які властивості метода резолюції привели к його широкому застосуванню при машинних методах доказу.

2. Розробити програму SPLIT(K ,L1 ,L2, L3) на мові логічного програмування ПРОЛОГ, яка виконує наступну операцію - розподіл списку L1 на два списки L2, L3 по компаратору К: L2 вміщує числа менші за К, L3 - більші за К.

3. Відобразити засобами числення предикатів наступні родинні відносини - відношення СНОХА(Х, У) через відношення БАТЬКИ(Х, У), ЖІНОЧА_СТАТЬ(Х), ШЛЮБ(Х,У). Сноха – жінка сина по відношенню до отця.

Завідувач кафедри

_____________ Гамаюн В. П.

„ _____“ ________2013 року

________________________________________________________________________

Національний авіаційний університет

Кафедра прикладної інформатики

Спеціальності: