AN AXIOMATIC THEORY OF WINNING MATHEMATICAL GAMES AND ECONOMIC ACTIONS
Werner Schimanovich · Cybernetics & Systems · 1981
The Calculus of Winning CW, a new discipline of AI, consists of 4 main parts: (1) An axiomatic system which is an extension of the predicate logic and which together with the resulting derivable theorems describes a large class of games. (2) Parallel to the axiomatic system there is a procedure which evaluates the recursive levels (of some parts) of the directed graphs of the games and which also permits the computation of the optimal strategies for complicated positional games. (3) Efficient algorithms for the effective construction of these strategies which include technical tricks for “stratified games” as well as for “cyclificable” games (which have repeatable positions). (4) The programming of optimal dialog-players. Until now: Kalah4, De Bono's L-Game and the final stage of chess play (as part of an Al-player).