USING ALFA-CUT FOR OPTIMIZATION OF DESIGNS FORMULATED BY AXIOMATIC THEORY AND PARA-COMPLETE LOGIC