Метриза

Семантическая модель и оптимизация при построении и распространении математического знания

Предлагается математическая модель построения математического знания как дедуктивной теории. В рамках этой модели построение дедуктивной теории представляется как освоение определенного информационного пространства, элементы которого структурированы в виде ориентированной семантической сети. Данная сеть разбивается на области доминирования и определенным образом метризуется, после чего на этой сети ставятся задачи оптимизации, например, в виде минимизации доказательств рассматриваемой дедуктивной теории.