Artificial Intelligence

Reduction of Logic to Arithmetic

Authors: Ranganath G Kulkarni
Comments: 13 Pages.

It is possible to make decisions mathematically of first order predicate calculus. A new mathematical formula is found for the solution of decision problem. We can reduce a logical algorithm into simple algorithm without logical trees.
Category: Artificial Intelligence