I. Достоверный вывод 1. Формальные системы 2. Автоматическое доказательство теорем 3. Вывод на графе связей 4. Вывод на графе дизъюнктов 5. Вывод на аналитических таблицах 6. Вывод на иерархических структурах 7. Данные и знания в интеллектуальных системах 8. Монотонные классические модальные логики 9. Немонотонные модальные логики 10. Немонотонные логики в логическом программировании 11. Системы аргументаций и абдуктивный вывод II. Индукция и обобщение 12. Базовые принципы построения систем обучения и принятия решений 13. Задача обучения "без учителя" 14. Обучение с учителем 15. Индуктивные методы для случая неполной информации 16. Индуктивное формирование понятий в "зашумленных" базах данных |