- •Назовите основные способы реализации искусственных интеллектуальных систем.
- •Приведите структуру доказательств на основе резолюции
- •Назовите основные сферы приложения искусственного интеллекта и охарактеризуйте их.Извлечение информации из баз данных
- •Комбинаторные задачи и составление расписаний
- •Доказательство теорем
- •Автоматическое программирование
- •Роботика
- •Экспертные консультирующие системы
- •Обработка естественного языка
- •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. Интерпретация формулы, область интерпретации, примеры правильно построенных формул.
Формула имеет определенный смысл, т.е. обозначает определенное высказывание, если существует какая-либо интерпретация. Интерпретировать формулу – значит связать с ней определенное непустое множество М, т.е. конкретизировать предметную область, называемую также областью интерпретации и указать соответствие, относящее:
- каждой предметной константе в формуле конкретный элемент на М;
- каждой функциональной букве в формуле конкретную функцию на М;
- каждой предикатной букве в формуле конкретное отношение между элементами на М.
Рассмотрим элементарную формулу G(f(a,b),g(a,b)) и следующую интерпретацию: М – множество действительных чисел;
a, b – числа 2 и 3 соответственно;
f - функция сложения : f (a, b) = a + b;
g- функция умножения : g (a, b) = a * b;
G – отношение “не меньше”.
При такой интерпретации формула обозначает “сумма 2+3 не меньше произведения 2*3” . Это утверждение не верно и поэтому G = Ложь . Формула А называется выполнимой тогда и только тогда, когда существует интерпретация I, такая, что А принимает значение Истина в I. Если формула А принимает значение Истина в интерпретации I, то говорят что I удовлетворяет формуле А. Если некоторая формула A принимает значение Истина при всех интерпретациях, то её называют общезначимой. Формула называется невыполнимой, если при всех интерпретациях она принимает значение Ложь.
Обычно правила записывают в виде A → B. Левая часть выражения называется антецедент, правая консеквент. Выражение A → B ложно только в одном случае: Если А- истинно, а B – ложно. В остальных случаях A → B истинно. Например выражение {луна_сделана_из_зеленого_сыра → лошади_способны_летать } – истинно, т.к. антецедент ложный.
Рассмотрим несколько примеров на составление предикатных формул.
Все слоны серые.
x [Слон(x) → Цвет(x, Серый)]
Существует человек, который написал “Войну и Мир”.
x [Писать (x, Война и Мир)]
У каждого есть свой родитель.
y x P(x, y),
где предикатный символ P представляет собой отношение между аргументами x и y в предикате P(x,y) - x является родителем y. Если в приведенной формуле поменять кванторы местами, то получим формулу: x y P(x, y), которая интерпретируется как – существует некто, кто является для всех родителем. Таким образом, интерпретация формулы зависит от порядка расположения в ней кванторов существования и общности.
Если x является родителем y, а y родителем z, то x является дедушкой или бабушкой для z.
xyz){[P(x,y) P(y,z)] → G (x,z)} ,
где P – родитель, G – дедушка или бабушка.
Если x>0 и y>0, то x*y>0.
x y {[G(x,0) G(y,0)] → G (times(x,y),0} ,
где times(x,y) =x*y, предикатный символ G устанавливает отношение больше между аргументами x,y в предикате G(x,y).
6. В отделе закупок все кому более 30 женаты.
xy{[Работает_в(Отдел_закупок, x)Возраст(x, y)G (y, 30)] → Женат(х)}
7. На каждом красном цилиндре сверху стоит кубик.
x{[Цилиндр(х)Красный(х)] → ( y) [Кубик(y)На(y,x)]}