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...

Traffic congestion is an important problem in transport systems. The reason for traffic jams is the growing number of vehicles. It is objective and irreparable. Many roads do not have the ability to separate at different levels and have to cross. Most intersections use traffic lights to regulate traffic. Traffic light regulation is a non-stationary, non-linear problem under conditions of uncertainty. Most traffic lights nowadays use fixed time intervals. It is necessary that traffic lights monitor traffic flows at...

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...

It is well known that the process of inference is generally non-deterministic. Therefore, to develop effective inference algorithms, the problem of managing the inference search is very relevant. The solution to this problem is complicated by the fact that the predicate calculus is unsolvable. There is no method for establishing general validity or its absence for an arbitrary formula for calculating predicates. Nevertheless, if the formula for calculating predicates is valid, then there is a procedure for establi...

If we create intelligent automated systems, decision support systems, expert systems, and in general knowledge-based systems then the development of the inference mechanism is very important. This mechanism of inference makes it possible to carry out reasoning on the available knowledge and data, to develop recommendations and decisions, to make their justifications and explanations. In this paper, a model of inference in the form of a bipartite graph is considered. The elements of the graph correspond to clauses,...

Methods of deductive inference that are various modifications of the principle of resolutions are quite effective in logic. The results and justifications for the fuzzy conclusion of the resolution type are widespread in the predicate calculus. The existing models of the resolution inference are effective, and also quite simple and convenient, for conventional reasoning under incomplete information and for automatic processing of uncertain knowledge in interactive systems. However, in such models the set of genera...