Browse

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