- •Назовите основные способы реализации искусственных интеллектуальных систем.
- •Приведите структуру доказательств на основе резолюции
- •Назовите основные сферы приложения искусственного интеллекта и охарактеризуйте их.Извлечение информации из баз данных
- •Комбинаторные задачи и составление расписаний
- •Доказательство теорем
- •Автоматическое программирование
- •Роботика
- •Экспертные консультирующие системы
- •Обработка естественного языка
- •2. Дайте определение понятию общеинтеллектуальная процедура (метапроцедура). Опишите процедуру целенаправленного поиска в лабиринте возможностей.
- •1. Дайте определения понятиям "знание" и "данные" и укажите их различие. Назовите основные признаки знаний и дайте им определения.
- •Приведите основные этапы процесса извлечения ответа.
- •Опишите синтаксис и семантику языка предикатов.
- •Опишите процедуру поиска методом редукции.
- •1. Дайте определение понятию "искусственный интеллект". Охарактеризуйте основные теоретические проблемы искусственного интеллекта.
- •2.Охарактеризуйте понятие резолюции в общем виде.
- •Другими словами, помня, что
- •Дайте определения понятиям "знание" и "данные" и укажите их различие.Назовите основные признаки знаний и дайте им определения.
- •Опишите структуру продукционного правила.
- •Перечислите основные виды знаний и охарактеризуйте их.
- •2. Что такое логический вывод? в чем заключается метод решения задач, использующий аппарат логики предикатов
- •1. Что такое предикатная функция?
- •2. Опишите процедуру поиска в глубину. Опишите процедуру поиска в ширину.
- •1. Дайте определение семантической сети.
- •Что такое унификация?
- •1. Перечислите семантические отношения и дайте им определения.
- •2. В чем заключается задача представления некоторой системы в виде системы продукций?
- •1. Перечислите основные типы объектов в семантической сети и дайте им определения.Приведите пример семантической сети.
- •2. Как вычисляются коэффициенты определенности посылок и заключений?
- •Если (а1 а2), то в.
- •В нашем случае
- •Перемножив все компоненты этой формулы, мы увидим, что
- •Дайте определение фрейму
- •Опишите стратегию управления на основе принципа “классной доски”.
- •1. Дайте определение продукционному правилу.
- •2. Как представляется система доказательств в системе опровержения на основе резолюции?
- •1. Назовите группы и типы фреймов. Приведите пример фрейма.
- •2. Опишите стратегию “подъема на гору”.
- •1.Опишите структуру ядра продукционного правила.
- •2.Опишите правило исключения кванторов существования и дайте определение функции Сколема.
- •Опишите основные компоненты системы продукций и связь между ними.
- •2. Опишите процедуру поиска в факторизованном пространстве.
- •1. Что такое интерпретация формулы, область интерпретации?Приведите примеры правильно построенных формул.
- •Приведите последовательность основных этапов тождественных преобразований исходной формулы во множество клауз.
- •1. Что такое продукции?
- •2. Что представляет собой дерево опровержения?
- •1. Что такое стратегия управления в системе продукций?
- •2. Назовите основные стратегии поиска на дереве опровержения.
- •1. Назовите основные признаки и функциональные возможности в соответствии с которыми систему можно отнести к интеллектуальной
- •2. Как применяются методы доказательства теорем к решению задач.
- •1. Опишите процедуру поиска метода генерация – проверка.
- •2. В чем сущность процесса извлечения ответа?
- •1. Опишите методику выработки заключения на основе вероятностных характеристик.
- •2. Опишите используемые в системах продукций стратегии управления.
- •Опишите структуру вывода заключения на основе байесовского подхода.
- •2. Опишите процедуру поиска с использованием нескольких моделей
- •1. Опишите основные принципы дедукции на основе байесовского подхода.
- •2. В чем, на современном этапе исследований, отличие искусственного интеллекта от естественного?Чем отличаются формализованные знания от неформализованных?
- •1. Нечеткие и приближенные высказывания? Что такое коэффициент определенности?
- •Если (а1 а2), то в.
- •2. Приведите структуру доказательств на основе резолюции.
- •Другими словами, помня, что
- •1 Учет нескольких признаков при расчете вероятности гипотезы? Для чего и как рассчитывается цена свидетельств? Как учитывается неопределенность в ответе пользователя?
- •2. Интерпретация формулы, область интерпретации, примеры правильно построенных формул.
2. Что такое логический вывод? в чем заключается метод решения задач, использующий аппарат логики предикатов
Для обработки знаний с помощью исчисления предикатов исключительно важное значение приобретает возможность логически выводить новые факты и правила из заданного набора. Более того, всегда хочется сделать это таким способом, который позволял бы подтвердить достоверность новой информации. Одним из таких правил является рассмотренное выше правило «modus ponens». Используем для компактной записи правил знак =›, интерпретируемый как «следовательно». Тогда правило «modus ponens» можно представить в виде {А В, А} =› В. Из истинности формул, расположенных слева от =›, следует истинность формулы, расположенной справа от =›.
Вторым является правило «специализация», которое записывается так:
{( ) W(x), А} =› W(А).
Это правило отражает представление о том, что если некоторому классу объектов присуще какое-либо свойство, то любой объект этого класса будет обладать тем же свойством. Другими словами, если истинно выражение ( ) W(x), то если осуществить подстановку вместо переменной x другой переменной y или константы А, то будут истинны выражения (y) W(y) или W(A).
Правила вывода – это утверждение самого общего характера во взаимосвязях между допущениями и заключениями, которые с позиций исчисления предикатов всегда справедливы. Допустим задано правило: «если программа разработана на IBM – совместном персональном компьютере (ПК), то она может эксплуатироваться на ПК IBM PC AT» и факт «программа «TRASSA» разработана на ПК IBM PC XT», тогда, следуя правилам «modus ponens» и «специализация», мы приходим к выводу, что «программа «TRASSA» может эксплуатироваться на ПК IBM PC AT».
В исчислении предикатов существует много различных правил вывода. Обладая для исчисления предикатов универсальной истинностью, они могут применяться либо для установления истинности утверждения в целом, либо для порождения заключения. Некоторые основные правила вывода имеют вид:
Modus ponendo ponens (MPP): А В, А =› В.
Modus tollendo tollens (MTT): А В, ~В =› ~А (например: «ЕСЛИ моя программа правильна (А), ТО она будет работать (В); моя программа НЕ будет работать, СЛЕДОВАТЕЛЬНО, она неправильна»).
Двойное отрицание (DO): А =› ~ (~А) (например: «моя программа работала (А), СЛЕДОВАТЕЛЬНО, моя программа НЕ НЕ РАБОТАЛА»).
Введение конъюнкции (ВК): А, В =› (А В) (например: «моя программа работала (А), она правильна (В), СЛЕДОВАТЕЛЬНО, моя программа работала, И она правильна»).
Reductio ad absurdum (RAA): А В, А В =› А (например: «если моя программа правильна, То она будет работать, ЕСЛИ моя программа правильна, ТО она НЕ будет работать, СЛЕДОВАТЕЛЬНО, моя программа неправильна»).
Специализации (С): (x) W(x), А =› W(А).
Правила вывода можно использовать как отдельно, так и в сочетании с другими правилами. Успешное получение искомого заключения будет во многом зависеть от того, какая последовательность и каких правил будет выбрана и применена к исходным фактам и правилам.
Билет №8