Simulations of Computer, Telecommunications, Control and Social Systems

About logical-algebraic description of the transport logistic process

Ya. A. Seliverstov, S. A. Seliverstov

Institution N.S.Solomenko Institute of Transportation Problems Institute of the Russian Academy of Sciences

Abstract: Analysis of the publications on the subject of the article is carried out in the article. A logical and algebraic description of the transport and logistics system is being given, a formal description of the unit operations,transport and logistics operations, transportation and logistics process are introduced. Semantics of the transportlogistics operation is interpreted by logic of the predicate calculus. Intellectualization of the transport logistics system is associated with self-organization of the transport logistics process and with automatic search ofsolutions in the space of states. The adequacy of the model is demonstrated by the practical example.

Keywords: logic-algebraic models of transport processes, intelectualization transport and logistics system, the first-order predicate logic, settheoretic models.

UDC: 656, 004.89, 510.67