Browse

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

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