Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Статья в сборнике "Математические вопросы кибернетики" №10, Москва, 2001
Авторы: Попов С.В.
Логическое моделирование
Аннотация:
Под логическим моделированием понимается конструирование прикладного логического исчисления, сигнатура которого определяется объектами предметной области, а аксиоматика — зависимостями между ними, и построение логической модели для него. В статье предлагается метод построения логической модели по спецификации предметной области. Демонстрируется, что всякое построенное таким образом прикладное исчисление само является программой, которая конструирует его модель. Это основывается на введенной в статье так называемой операционной семантике логических формул. В итоге исходная спецификация предметной области, как прикладное исчисление, автоматически порождает собственную модель. Представляется реальная система логического моделирования.
Ключевые слова:
логическая формула, логическое исчисление, логическая модель, операционная семантика, язык логического моделирования, стратегии решения задач
Язык публикации: русский, страниц: 48 (с. 167-214)
Направление исследований:
Математические вопросы и теория численных методов
Полный текст: Сведения об авторах:
  • Попов Сергей Викторович,  ,  ГБПОУ Колледж автоматизации и информационных технологий №20, Москва