Аннотация:
Проведен анализ предметной области. Дано логико-алгебраическое представление транспортно-логистической системы, с единых позиций введены формальные описания элементарной операции, транспортно-логистической операции, транспортно-логистического процесса. Семантикатранспортно-логистического процесса интерпретирована логикой исчисления предикатов. Интеллектуализация транспортно-логистической системы связана с самоорганизацией транспортно-логистического процесса и с автоматным поиском решений в пространстве его состояний. Адекватность модели продемонстрирована на практическом примере.
Ключевые слова:логико-алгебраические модели транспортных процесов, интелектуализация транспортно-логистической системы, логика предикатов первого порядка, теоретико-множественые модели.
Полный текст:
PDF файл (1568 kB)