Перпелов / Отчет лог прог9

МІНІСТЕРСТВО ОСВІТИ І НАУКИ, МОЛОДІ ТА СПОРТУ УКРАЇНИ

ХЕРСОНСЬКИЙ НАЦІОНАЛЬНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ

Кафедра інформаційних технологій

ЗВІТ З ЛАБОРАТОРНОЇ РОБОТИ 9

з дисципліни „Логічне програмування”

студента першого курсу денної форми навчання

напряму підготовки 6.050102 “Комп’ютерна інженерія”

з професійною орієнтацією “Комп’ютерні системи та мережі”

галузі знань 0501 “Інформатика та обчислювальна техніка”

факультету кібернетики

Перпелова Сергія Олександровича

Дата проведення лабораторної роботи: «10» квітня 2013р

Дата подання звіту за графіком: «17» квітня 2013р.

Дата подання звіту студентом: __________________

Підпис студента: ___________________

Позначка викладача про результати

та дату перевірки звіту: ____________________

Відомості про викладача, що виконував перевірку звіту (прізвище, ініціали, посада,науковий ступінь, вчене звання):

Веселовська Г.В., доцент кафедри інформаційних

технологій ХНТУ, к.т.н., доцент

Підпис викладача, що виконував

перевірку звіту : __________________

Херсон – 2013р

ЛАБОРАТОРНА РОБОТА 9

Тема: Логічне програмування в термінах типових конфігурацій. Модульна контрольна робота 2

Мета: практичне знайомство з особливостями реалізації за допомогою технології логічного програмування базових складових типових практичних застосувань, пов'язаних із використанням типових конфігурацій (зразків); написання та захист контрольної роботи за підсумками змістового модулю 2.

Завдання − опановування наступних питань, покладених в основу типових прикладів логічного програмування мовою Пролог, пов'язаних із програмуванням у термінах типових конфігурацій: архітектура, що орієнтована на типові конфігурації; простий інтерпретатор програм, керованих зразками; проста програма для автоматичного доведення теорем.

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

Системи, що орієнтовані на типові конфігурації (зразки), розглядають як спеціальний підхід до програмування.

Мовою, що орієнтована на зразки, можна вважати і Пролог.

Важливо вміти реалізовувати невеликі інтерпретатори для простих програм указаного типу.

Архітектура, що орієнтована на типові конфігурації (зразки), є добре пристосованою для розв`язування багатьох задач штучного інтелекту.

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

Пролог-програми є частковим випадком систем, керованих зразками.

Паралельна реалізація – найбільш природний спосіб реалізації систем, керованих зразками.

Реалізація на послідовній машині вимагає вирішення конфліктів між модулями, що містяться в конфліктній множині.

Важливо вміти не тільки реалізовувати прості інтерпретації для програм, керованих зразками, а й застосовувати їх надалі до задач типу задачі автоматичного доведення теорем пропозиціональної логіки.

Таким чином, основними поняттями теми «Програмування в термінах типових конфігурацій» є:

– системи, що керовані зразками;

– архітектури, що орієнтовані на зразки;

– програмування в термінах зразків;

– модулі, що керовані зразками;

– конфліктна множина, вирішення конфліктів;

– принцип резолюції,

– автоматичне доведення теорем на основі принципу резолюції.