Рассматривается проблема упрощения и частичной автоматизации разработки моделей для решения задач моделирования многофазных сред с применением системы порождения программ PGEN++. Предлагается использовать дедуктивный вывод фрагментов модели элементов описания задачи и плана ее решения. Такой подход устраняет необходимость явного указания всех требуемых объектов и перечисления их комбинаций.
искусственный интеллект, целевые предикаты, схема дедуктивного вывода