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

логическая формула, логическое исчисление, логическая модель, операционная семантика, язык логического моделирования, стратегии решения задач

Математические вопросы и теория численных методов