- •1. Понятие интеллектуальной системы и искусственного интеллекта
- •2. Подходы к пониманию ии(1)
- •3. Подходы к пониманию ии(2)
- •4. Существует 2 подхода разработкии ии(1)
- •5. Существует 2 подхода разработкии ии(2)
- •6. Существует 2 подхода разработкии ии(3)
- •7. Существует 2 подхода разработкии ии(4)
- •8. Понятие знаний.
- •9. Свойства знаний
- •10. Виды знаний.
- •11. Деятельность инженера по знаниям.
- •13. Современные области исследований в ии.
- •14. Продукционные системы. Представление знаний.
- •15. Рассмотрим структуру продукционных систем.
- •16. Прямой вывод
- •16. Обратный вывод
- •17. Вывод в ширину и в глубину
- •Пропускаем и или деревья
- •18. Логика высказываний. Исчисление высказываний.
- •19. Система представления знаний
- •20. Формальные аксиоматические теории (фат).
- •21. Свойства выводимости.
- •Свойства выводимости.
- •22. Понятие логического следования.
- •23. Дерево доказательств
- •24. Исчисление высказываний l.
- •25. Теорема Дедукции.
- •26. Следствие теоремы дедукции.
- •27. Теорема о полноте.
- •Следствия теоремы о полноте.
- •28. Закон снятия двойного отрицания и вывод из противоречивых гипотез.
- •29. Теорема опровержения гипотезы.
- •30. Закон снятия двойного отрицания.
- •31. Вывод на основе противоречия.
- •32. Независимость системы аксиом исчисления высказывания l.
- •34. Выводимость на основе противоречия. Приведение к кнф.
- •35. Понятие резольвенты.
7. Существует 2 подхода разработкии ии(4)
Нисходящий
– создание экспертных систем, баз знаний
Восходящий – основан на изучении нейронных сетей. Восходящий не очень укладывается в в рамки понимания ИИ. Как нейросеть так и эволюционные методы позволяют повысить «интеллектуальность» системы за счет ее адаптации. Более того эволюционные вычисления позволяют строить модели предметной области и программы поведения не основываясь на каких то исключительно строгих умозаключениях. Что позволяет в известном смысле как то решать проблему детерменированности компьютерного мышления. В рамках перечисленных подходов выделяют следующие направления:
Гибридный. Предполагает что только самоорганизующаяся синергетическая комбинация низко уровневых и высоко уровневых моделей нейронных и символьных, эволюционных и логических достигает полнгого спектра когнетивных(позновательных) и вычислительных возможностей. Например экспертные правила умозаключений могут генерироваться нечеткими нейросетями. В дальнейшем эти правила могут быть использованы. Предполагается что компибинированные системы дадут системный эффект. То есть значительно более сильными чем сумма результатов различных концепций по отдельности.
8. Понятие знаний.
Знание является центральным для многих систем основанных на логическом подходе к разработке систем искусственного интеллекта(интеллектуальных элементов). Знания получаются в результате применений к исходным данным или декларативной информации некоторых методов обработки или подключения внешних процедур, их еще называют присоединенными процедурами или процедурными информациями. Итаку основа работы логической программы ИИ заключается в выводе на знаниях или выводе новых знаний. То есть в процессе получения такой информации содержательный смысл, которая напрямую не содержится ни в исходной информации, ни в базе знаний, хранящейся в системе. Этот процесс схематично может быть представлен следующим образом:
Данные + процедура обработки = информация
Информация + процедура обработки = Знания
Например, человек смотрит на часы. В мозг поступает электрический сигнал и формируется изображение стрелок на циферблате. Далее обрабатывая этот видео образ то есть соотнося положение стрелок со шкалой, человек получает делкративную информацию, то есть непосредственно время. После чего подключая дополнительные знания, например свое рабочее рассписание, человек понимает, что опаздывает и меняет параметры своего поведения, ускоряет шаг вызывает такси. На циферблате часов не содержалось никакой информации об опоздании. Этой информации не содержалось и в его рабочем рассписании. Знание об опоздании возникло в результате применения процедуры сопоставления. Дальнейший логический вывод позволил человеку принять решение, как ему ликвидировать отставание от графика.