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

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

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

Завдання № 26

1. Яким чином розпізнати зв'язані та вільні змінні в формулі числення предикатів?

2. Розробити програму COUNT(L1, Nl, .N2) на мові логічного програмування ПРОЛОГ, яка виконує наступну операцію - обчислення кількості додаткових - N1 та від'ємних чисел - N2 в списку L1.

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

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

_____________ Гамаюн В. П.

„ _____“ ________2013 року

________________________________________________________________________

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

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

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

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

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

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

Завдання № 27

1. В чому сутність уніфікації при застосуванні метода резолюцій для доказу формули.

2. Розробити програму SUM(L1, Sl, S2) на мові логічного програмування ПРОЛОГ, яка виконує наступну операцію - обчислення суми парних - S1 і непарних чисел - S2 в списку L1.

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

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

_____________ Гамаюн В. П.

„ _____“ ________2013 року

________________________________________________________________________

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

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

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

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

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

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

Завдання № 28

1. Як привести формул числення предикатів до стандартного виду для застосування метода резолюції?

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

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

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

_____________ Гамаюн В. П.

„ _____“ ________2013 року

________________________________________________________________________

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

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

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

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

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

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

Завдання № 29

1. Яки властивості хорнівських диз'юнктів привели до їх широкого застосування при доказі методом резолюцій?

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

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

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

_____________ Гамаюн В. П.

„ _____“ ________2013 року

________________________________________________________________________

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

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

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