Інтел системи лаба 3 і питання до модуля / Лаб работа 1_24.02.13

Лабораторная работа 1

Искусственный интеллект и Пролог. Введение в язык Пролог.

Цель: Практически познакомиться с математическим аппаратом исчисления высказываний, понятием исчисления предикатов. Изучить основными конструкциями языка Пролог, используемых для формирования правил при решении задач искусственного интеллекта. Научиться программировать типовые задачи искусственного интеллекта на основе одного из языков MS Visual Studio 2010.

Теоретические сведения и программное обеспечение:

• лекция 2 (файл - Логика-01.pdf; файл - Логика-02.pdf);

• лекция 2 (файл –Техника использования знаний на языке пролог_ 01.рdf );

• Лекция 3 (файл - Основные концепцепции_16.02.13.pptx );

• MS Visual Studio 2010.

Задание 1

1. Подготовить программы, демонстрирующие формирование высказываний с помощью двух основных операций: конъюнкции и дизъюнкции.. Для выполнения программ использовать примеры, иллюстрирующие отношения между объектами, приведенные в лекции 2 (файл - Логика-01.pdf, раздел - Комбинации высказываний ). Примеры программ реализовать на одном из языков MS Visual Studio 2010 (C#, Java, Visual Basic).

2. Подготовить программы, демонстрирующие формирование правил вычисления значений комбинированных логических высказываний (двойное отрицание; идемпотентность; поглощение) на основе операций булевой алгебры (AND, OR, NOT). . При подготовке примеров использовать материала лекции 2 (файл - Логика-01.pdf, раздел – Булева алгебра). Примеры вычислений значений комбинированных логических высказываний підготовить на одном из языков MS Visual Studio 2010 (C#, Java, Visual Basic).

3. Используя файл Техника использования знаний на языке пролог_ 01.pdf (Лекция 2), а также Основные концепцепции_16.02.13.pptx (Лекция 3) написать программу для экспертной системы, используя правила приложения Б. Номера вариантов выбирать по формуле, используя номера зачетной книжки: (сумма двух первых цифр; двух средних цифр; двух последних цифр)/2. Программу реализовать на одном из языков MS Visual Studio 2010 (C#, Java, Visual Basic).

Вопросы

1. Что специфицирует набор правил экспертной системы? Опишите форму общепринятой в области искусственного интеллекта конструкции предикат-аргумент.

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

3. Что понимается под стратегией «обратных» рассуждений? Приведите пример использования этой стратегии.

4. Опишите структуру и назначение основных блоков системы MYCIN.

5. Сформулируйте общее правило импортирования правил из базы знаний, включающее и оценки уровня истинности соблюдаемых условий.

6. Какие структурные формы используются в базе знаний экспертной системы для хранения фактов и определений?

7. Что понимается под контекстным деревом в экспертной системе?

8. Покажите на примере процесс определения показателя степени уверенности в выполнении перечисленных в нем условий.

9. Что такое таблица операторов? Можно ли в таблице операторов представить любую операцию, выполнение которой хотелось бы потребовать от робота?

10. Что такое порождающее правило? Какое существует соответствие между набором порождающих правил и деревом решений?

11. Какая связь существует между таблицами операторов и набором порождающих правил? Эквивалентны ли они? Можно ли выразить одни в терминах других?

Литература

1. Дж. Макаллистер. Искусственный интеллект и Пролог на микроЭВМ. –М.: «Машиностроение», 1990.- 237с.

2. И. Братко. Программирование на языке Пролог для искусственного интеллекта. –М.: изд. «Мир», 1990.- 587с

3. Г.С. Поспелов. Искусственный интеллект- основа. Новой информационной технологии. – М.: изд. «Наука», 1988.- 278с

4. Ю.Я. Любарский. Интеллектуальные информационные системы. – М.: Наука. Гл. ред. Физ. мат. лит., 1980.- 232с