Научный отчет № 3911

Название

Проблемы формализации знаний при создании автоматизированных банков информации по естественным наукам.

Авторы

Колесниченко Е.Г.

Аннотация

Приведен краткий обзор проблем, возникающих при формализации знании по естественным наукам. Обсуждаются обусловленные этим задачи, связанные с разработкой автоматизированных информационных и экспертных систем по этой тематике, а также возможные подходы к их решению. Естественную науку предлагается рассматривать как совокупность математических моделей, которые трактуются как гипотетико-дедуктивные интерпретированные системы. В целях классификации математических моделей физико-химической газодинамики разрабатывается единый подход к аксиоматизации этих моделей, основание на синтезе системного подхода с аксиоматикой квантовой статистической механики.

Год публикации

1990 г.

Объём

66 с.

Научный руководитель

Лосев С.А.