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