RUS  ENG
Полная версия
ЖУРНАЛЫ // Проблемы управления // Архив

Пробл. управл., 2006, выпуск 4, страницы 32–35 (Mi pu357)

Эта публикация цитируется в 6 статьях

Искусственный интеллект

Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 1. Общее описание модели

Т. Л. Гаврилова, А. С. Клещев


Аннотация: Для разработки автоматизированных систем конструирования правильных доказательств математических утверждений на основе математических знаний предложена модель математической практики, более адекватная, чем модели математической логики. Модель математической практики представлена в виде комбинации двух моделей: внутренней модели – формальной системы, и внешней модели, в рамках которой математик управляет процессом конструирования интуитивных доказательств. Сформулированы требования к внешней и внутренней моделям математической практики. Дано общее описание внутренней модели.

УДК: 681.3.057.51-7.311.17



© МИАН, 2024