Предлагаются методологические, языковые и инструментальные средства для быстрого получения логических моделей систем и процессов. Язык определяется в исчислении предикатов первого порядка с равенством и допускает представление отрицаний, модулей, интервалов дискретного времени. Заданная вычислимая математическая семантика языка позволяет строить интерпретаторы, сложность которых составляет O(nlogn) относительно мощности моделей. Результат интерпретации – модель, построенная по логической спецификации объектов с помощью прямого вывода. Модель может быть использована как действующий прототип системы. Технология предназначена для решения широкого спектра задач анализа языков, проектов, процессов, разработки экспертных и обучающих систем.
логическая модель, логические ошибки, логическая семантика