Ответы на гос экзамен по ипсапр 2011.

1. Хорновская логическая программа. Сеанс работы с интерпретатором Пролога. Общие принципы поиска ответов на вопросы системой Пролог. Синтаксис языка swi-Prolog.

Хорновским дизъюнктом называется дизъюнкт, содержащий не более одного позитивного литерала. Дизъюнкт, состоящий только из одного позитивного литерала, называется фактом. Дизъюнкт, имеющий позитивный и негативные литералы называется правитом. Логическая или Хорновская логическая программа состоит из набора Хорновских дизъюнктов. Хорновский дизъюнкт есть элементарная формула, либо имеет вид А₀v-А₁v...v-А_n, где Ак- атомарные формулы к = 1,и и n > 1.

Сеанс работы с интерпретатором Пролога.

После вызова на выполнение интерпретатор выдает приглашение «?», которое говорит о том. что работа ведется в режиме выполнения запросов. После ввода запроса интерпретатор обращается к своей базе данных, находит в ней факты и правила, необходимые для ответа на запрос, формирует и выводит ответ.

Общие принципы поиска ответов.

Вопрос к системе пролог всегда представляет собой последовательность из одной или нескольких целей. Чтобы ответить на вопрос Пролог пытается достичь всех целей. Достичь цели означает: показать что цель логически следует из фактов и правил, заданных в программе. Если вопрос содержит переменные, то пролог должен найти конкретные объекты (вместо переменных), при использовании которых цели достигаются. Если это не удается, то пролог выдает «N0».

Синтаксис языка SWI-PROLOG.

Система SWI-Prolog распознает тип данных в программе по его синтаксической форме.

Программа на Прологе обычно описывает некую действительность. Объекты описываемого мира представляются с помощью термов. Терм - это имя объекта. Четыре вида термов: атомы, числа, переменные, составные термы.

Переменные записываются с помощью произвольных латинских и русских букв, цифр и знаков подчеркивания, но первый символ должен быть прописной латинской буквой или знаком подчеркивания «_fgh».«_» - это анонимная переменная (ее значение не используется в программе).

Атомы могут формироваться тремя способами:

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

2.Строкой специальных символов (без пробелов): «», <=>, и т.д.

3.Строка любых символов, заключенные в одинарные апострофы. Составные термы (структуры) состоят из имени структур(представленного атомом) и списка аргументов (атомов, чисел, переменных и др. составных термов), заключенных в () и разделенных запятыми. Имя структуры называется функтором.

Количество аргументов предиката называется его арностью. Префиксная форма: сначала имя, потом аргументы. Инфиксная форма: имя помещается между аргументами.

2. Предмет «Искусственный интеллект». Область исследования. Методы исследования. Особенности исследований.

Искусственный интеллект (ИИ) - это область исследований, находящаяся на стыке наук - это дисциплина, имеющая закономерности. Специалисты, работающие в этой области пытаются понять, какое поведение считается разумным (анализ), и создать работающие модели этого поведения (синтез). Инженерные методы и навыки в области ИИ называются «технологией знаний».

Предмет исследования ИИ - любая интеллектуальная деятельность человека, подчиняющая заранее неизвестным законам.

В области ИИ имеются две трудности:

1.Выполняя какие-то действия, мы сами не осознаем, как мы это делаем, т.е. отсутствует алгоритм.

2.Компьютеры далеки от человеческого уровня компетенции, т.е. до начало работы необходимо составить соответствующую программу.

По своим методам ИИ - это экспериментальная научная дисциплина.

Эксперимент в ИИ - это проверка и уточнение моделей (компьютерных программ) на многочисленных примерах – наблюдениях над человеком с целью раскрыть модели и понять функционирование человеческого разума.

Исследования в области ИИ рекурсивны - так как мы с помощью своего мышления пытаемся понять, как мы мыслим.

Уточнение определения области ИИ - всякая задача, для которой не известен алгоритм решения, априорно относится к ИИ.