Розглянуто проблеми створення інтелектуальних інформаційних систем. Висвітлено питання концептуального моделювання і подання знань у таких системах, а також роль формальних математичних методів у даному процесі. Використано математичну логіку та існуючі в її рамках формальні методи. На цій формально-логічній основі з'ясовано базові поняття і розроблено підхід до концептуального моделювання статики і динаміки предметних областей. Стисло подано формальні основи створення ситуаційно-орієнтованих мов концептуального моделювання. Розглянуто шляхи і засоби підвищення інтелектуальності автоматизованих інформаційних систем.