Вопросы по дисциплине
«Интеллектуальные подсистемы САПР»
История возникновения и развития искусственного интеллекта. Развитие искусственного интеллекта в России. Основные направления современных исследований в области искусственного интеллекта. Понятие знаний и данных. Классификация моделей представления знаний. Преимущества и недостатки каждой модели. Продукционные модели представления знаний. Преимущества и недостатки продукционных моделей. Классификация ядер продукции. Управление системой продукций. Вывод на продукционной базе знаний. Фреймовые модели представления знаний. Классификация фреймов. Фреймовые модели представления знаний. Конкретизация фрейма, связи между фреймами. Сетевые модели представления знаний. Представление знаний в виде семантических сетей. Механизмы вывода на семантической сети. Логические модели представления знаний. Формальные системы: назначение, определение, структура. Исчисление высказываний. Интерпретация и свойства высказываний. Исчисление высказываний как формальная система. Нормальные формы в логике высказываний. Алгоритм преобразования формулы в дизъюнктивную нормальную форму (ДНФ). Нормальные формы в логике высказываний. Алгоритм преобразования формулы в конъюнктивную нормальную форму (КНФ). Нормальные формы в логике высказываний. Алгоритм преобразования формулы в совершенную дизъюнктивную нормальную форму (СДНФ). Метод резолюций в логике высказываний. Предикаты и операции над ними. Исчисление предикатов I-го порядка как формальная система. Логические эквивалентные преобразования в исчислении предикатов I-го порядка. Алгоритм приведения к сколемовской нормальной форме (СНФ). Логические эквивалентные преобразования в исчислении предикатов I-го порядка. Алгоритм приведения к пренексной нормальной форме (ПНФ). Подстановка и унификация в логике предикатов I-го порядка. Алгоритм нахождения наиболее общего унификатора. Алгоритм метода резолюций для проверки невыполнимости множества дизъюнктов в логике высказываний. Алгоритм применения метода резолюций в логике предикатов I-го порядка. Стратегии метода резолюций. Назначение, определение и структура экспертных систем. Классификация экспертных систем. Основные этапы разработки экспертных систем. Стратегии получения знаний при разработке экспертных систем. Подсистемы накопления знаний. Подсистемы объяснений в экспертных системах. Назначение, определение и основные преимущества нечетких моделей представления знаний. Интеллектуальные подсистемы в современных САПР. Языки искусственного интеллекта. Современные методы и средства интеллектуального анализа данных Назначение и принципы работы искусственных нейронных сетей. Эволюционное моделирование. Назначение и принципы построения генетических алгоритмов.