24001 - Представление неопределенности знаний и данных 24002 - Источники неопределенности 24003 - Экспертные системы и теория вероятностей. Условная вероятность. 24004 24005 - Коэффициенты уверенности 24006 - Коэффициенты уверенности и условные вероятности 24007 24008 - Сомнительность и возможность. Нечеткие множества. 24009 - Нечеткая логика 24010 - Теория возможности 24011 - Неопределенное состояние проблемы неопределенности 24012 - Рекомендуемая литература. Упражнения. 24013 - Приобретение знаний 24014 - Приобретение знаний 24015 - Теоретический анализ процесса приобретения знаний. Стадии приобретения знаний. 24016 - Уровни анализа знаний 24017 24018 - Онтологический анализ 24019 - Оболочки экспертных систем. Система EMYCIN. 24020 - Сопровождение и редактирование баз знаний с помощью программы TEIRESIAS 24021 - Методы приобретения знаний. Использование опроса экспертов для извлечения знаний в системе COMPASS. 24022 - Автоматизация процесса извлечения знаний в системе OPAL. Графический интерфейс модели предметной области. 24023 24024 - Эффективность программы OPAL 24025 - Приобретение новых знаний на основе существующих 24026 - Рекомендуемая литература. Упражнения. 24027 24028 24029 24030 24031 - Эвристическая классификация (I) 24032 - Классификация 24033 - Классификация задач экспертных систем 24034 24035 - Классификация методов решения проблем. Эвристическое сопоставление. 24036 24037 - Общность эвристической классификации 24038 24039 - Классификация или конструирование? 24040 - Рекомендуемая литература. Упражнения. 24041 24042 24043 24044 - Эвристическая классификация (II) 24045 - Инструментальные средства и задачи, решаемые экспертной системой 24046 - Эвристическая классификация в системах MUD и MORE. Модель предметной области выполнения буровых работ. 24047 24048 24049 - Стратегии приобретения знаний 24050 24051 - Использование коэффициентов уверенности в программе MORE 24052 - Опыт эксплуатации системы MORE 24053 - Совершенствование стратегий. Уроки проекта GUIDON. 24054 - Структура задач в системе NEOMYCIN 24055 - Рекомендуемая литература. Упражнения. 24056 24057 24058 - Иерархическое построение и проверка гипотез 24059 - Влияние сложности пространства гипотез на организацию работы системы 24060 24061 - Структурированные объекты в CENTAUR. Структура фреймов в CENTAUR. 24062 - Правила, включенные в прототипы 24063 - Формирование суждений на базе модели в системе INTERNIST 24064 - Представление знаний в дереве заболеваний 24065 24066 - Методика выделения правдоподобных гипотез в INTERNIST 24067 - Проблемы, обнаруженные в процессе эксплуатации системы INTERNIST 24068 - Рабочая среда инженерии знаний TDE 24069 - Рекомендуемая литература. Упражнения. 24070 24071 - Решение проблем конструирования (I) 24072 - Области применения методов конструктивного решения проблем 24073 - Система R1/XCON 24074 - Компоненты и ограничения 24075 - Использование текущего контекста для управления структурой задачи 24076 24077 - Формирование суждений с учетом ограничений: метод Match 24078 - Использование знаний, развитие и расширение системы XCON. Извлечение знаний в системе R1/XCON. 24079 - Совершенствование и расширение системы R1/XCON 24080 24081 - Рекомендуемая литература. Упражнения. 24082 - Решение проблем конструирования (II) 24083 - Стратегии конструирования 24084 - Архитектура систем планирования и метапланирования 24085 24086 24087 24088 24089 - Извлечение, представление и применение знаний о проектировании. Реализация обратного прослеживания в системе VT. 24090 24091 - Приобретение знаний с помощью системы SALT 24092 - Итоги анализа систем решения проблем конструирования 24093 - Рекомендуемая литература. Упражнения. 24094 24095 - Средства формирования пояснений 24096 - Формирование пояснений на основе знаний 24097 - Подсистема формирования пояснений в MYCIN 24098 - Формирование пояснений в системах, производных от MYCIN. Формирование пояснений на основе фреймов. 24099 24100 - Организация вывода пояснений в системе CENTAUR 24101 24102 24103 24104 24105 - Использование мультимедийного интерфейса для формирования пояснений 24106 - Формирование пояснений и автоматическое программирование. Автоматическое программирование в системе XPLAN. 24107 - Проект Explainable Expert Systems 24108 24109 - Планирование текстов пояснений и модели пользователей в PEA 24110 - Перспективы дальнейших исследований методов формирования пояснений 24111 - Рекомендуемая литература. Упражнения. 24112 24113 24114 - Инструментальные средства разработки экспертных систем 24115 - Общая характеристика инструментальных средств для построения экспертных систем 24116 - Оболочки экспертных систем 24117 - Языки программирования высокого уровня. Языки описания порождающих правил. 24118 - Объектно-ориентированные языки 24119 - Языки логического программирования экспертных систем 24120 - Многофункциональные программные среды 24121 24122 - Дополнительные модули 24123 24124 - Использование инструментальных средств. Характерные сложности и способы их избежать. 24125 - Выбор подходящего инструментария для разработки экспертной системы 24126 - Практическое освоение инструментальных средств 24127 24128 - Стиль программирования 24129 - Некоторые максимы разработки экспертных систем 24130 - Рекомендуемая литература. Упражнения. 24131 24132 - Системы с доской объявлений 24133 - Принципы организации систем с доской объявлений 24134 - Системы HEARSAY, AGE и ОРМ. Почему для HEARSAY-II выбрана такая архитектура. 24135 - Использование источников знаний в HEARSAY-II 24136 - Система HEARSAY-III – оболочка для создания систем с доской объявлений 24137 - Инструментальные среды AGE и ОРМ 24138 - Среда с доской объявлений ВВ. Уровни абстракции в среде ВВ. 24139 - Системы ВВ1 и ACCORD 24140 - Система PROTEAN 24141 - Интеграция стратегий логического вывода. Общая характеристика ВВ. 24142 - Эффективность и гибкость модели с доской объявлений. Организация доски объявлений в системе GBB. 24143 - Компоновка доски объявлений в среде ERASMUS 24144 - Организация параллельных вычислений в системах CAGE и POLIGON 24145 - Рекомендуемая литература. Упражнения. 24146 - Система отслеживания истинности предположений 24147 - Отслеживание зависимостей. Релаксация в сети. 24148 24149 - Пересмотр допущений 24150 - Пересмотр теорий высказываний 24151 - Немонотонное обоснование 24152 24153 - Работа со множеством контекстов. Отслеживание истинности предположений, основанное на анализе допущений. 24154 24155 24156 - Использование систем отслеживания истинности предположений для диагностирования на основе моделей 24157 24158 - Сравнение различных вариантов организации систем отслеживания истинности предположений 24159 - Рекомендуемая литература. Упражнения. 24160 - Формирование знаний на основе машинного обучения 24161 - Машинное обучение 24162 - Индуктивное обучение 24163 24164 - Система Meta-DENDRAL 24165 - Формирование и уточнение правил 24166 - Пространство версий 24167 - Алгоритм отсеивания кандидатов 24168 - Сопоставление экземпляров с образцами в Meta-DENDRAL 24169 - Построение дерева решений и порождающих правил. Структура дерева решений. 24170 24171 - Алгоритм формирования дерева решений по обучающей выборке 24172 24173 24174 24175 - Уточнение наборов правил 24176 24177 - Рекомендуемая литература. Упражнения. 24178 - Сети доверия 24179 - Теория Демпстера-Шефера 24180 - Функции доверия 24181 - Применение теории Демпстера-Шефера к системе MYCIN 24182 - Методика Перла 24183 24184 - Сравнение методов неточных рассуждений 24185 - Резюме 24186 - Рекомендуемая литература. Упражнения. 24187 - Рассуждения, основанные на прецедентах 24188 - Рассуждение, основанное на прецедентах 24189 - База прецедентов 24190 - Программа CHEF 24191 - Методы извлечения и адаптации прецедентов 24192 - Обучение с помощью компьютера: система САТО. Предметная область программы САТО. 24193 - Расследования и рассуждения в юриспруденции 24194 - Обучение с помощью системы САТО 24195 24196 - Формирование отчетов в системе FRANK 24197 24198 - Сравнение систем, основанных на правилах и прецедентах 24199 - Рекомендуемая литература. Упражнения. 24200 24201 - Гибридные системы 24202 - Гибридные системы 24203 - Методы обучения в системе ODYSSEUS 24204 24205 - Системы ODYSSEUS и MINERVA. Оболочка экспертной системы MINERVA. 24206 - Обучение в системе ODYSSEUS 24207 - Использование прецедентов для обработки исключений 24208 24209 - Гибридный символический подход и Нейронные сети 24210 24211 24212 - SCALIR – гибридная система для извлечения правовой информации 24213 24214 - Организация обучения в системе SCALIR 24215 - Будущее гибридных систем 24216 - Рекомендуемая литература. Упражнения. 24217 - Заключение 24218 - Загадка искусственного интеллекта 24219 - Представление знаний 24220 - Языки программирования систем искусственного интеллекта 24221 - Решение практических проблем 24222 - Архитектура экспертных систем 24223 - Рекомендуемая литература 24224 - Приложение. Программирование на языке CLIPS. 24225 - Краткая история CLIPS 24226 - Правила и функции в CLIPS. Факты. 24227 24228 - Правила 24229 24230 - Наблюдение за процессом интерпретации 24231 - Использование шаблонов. Определение функций. 24232 - Объектно-ориентированные средства в CLIPS 24233 24234 24235 - Задача "Правдолюбцы и лжецы" 24236 - Анализ проблемы 24237 - Онтологический анализ и представление знаний 24238 24239 - Разработка правил 24240 24241 - Расширение набора правил – работа с составными высказываниями 24242 24243 24244 24245 24246 - Обратное прослеживание и множество контекстов 24247 24248 24249 24250