Головна → Математика. Природничі науки → Математика
home first_page chevron_left / 84 chevron_right last_page unfold_more unfold_more zoom_out zoom_in refresh refresh
В. А. Кондратенко, А. И. Кондратенко. Теория и практика искусственного интеллекта в автоматическом доказательстве теорем
1.0. Разработка методики математического моделирования аксиоматических рассуждений о реальном мире и методики автоматического доказательства истинности этих рассуждений
2.1. Определение понятий "искусственный интеллект" (ИИ) и "система искусственного интеллекта" (СИИ)
2.2 Выбор структуры рассуждения с логическим следованием и анализ пригодности индуктивного и дедуктивного рассуждений для аксиоматических рассуждений
2.3. Выбор математической структуры , язык и сигнатура которой функционально полны для моделирования аксиоматических рассуждений и предметах реального мира
2.4. Определенияе алфавита, синтаксиса и сементики языка исчисления высказываний
2.5. Определение функционально полной системы правил для эквивалентных преобразований математических моделей аксиоматических рассуждений, направленной на получение кононической формы этих моделей
2.6. Выбор высокоэффективного метода, предназначенного для доказательства истинности аксиоматического рассуждения
2.7. Определение условий, при которых обеспечивается высокая эффективность работы метода резолюций
2.8. Определение алфавита, синтаксиса и семантики языка исчисления предикатов
2.9. Особенности применения метода резолюций при доказательстве теорем в исчислении предикатов
2.10. Методика моделирования реального мира, отражаемого в аксиоматических рассуждениях, и методика доказательства истинности этих рассуждений
Список литературы
Содержание