Browse

For the development of traffic management systems in order to optimize it, especially traffic control at intersections, it is necessary to model traffic flows and their main characteristics. The purpose of this work is to propose a methodology for creating such models, to develop algorithms that simulate the operation of traffic lights and the movement of vehicles, to develop an application that plausibly simulates traffic flows and their control. In this work, for modeling the transport system, we proposed the pr...

When we carry out inference automation, the time required to complete the inference procedure is very important. The shorter the time, the more effective the procedure. If we carry out the logical inference procedure manually, then we make a choice of a sequence of steps. In this case, the person takes into account the specifics of the problem being solved. It does not act formally, but taking into account the substantial meaning of predicates. If we are going to shift the inference procedure to a computer, then w...