तो यह एक नियमित विकास प्रक्रिया है, जो आर्टिफिशियल इंटेलिजेंस में भी अनुसंधान पर चल रही है, जिसे इस रूप में दिखाया गया है कि तर्क को कितना संरचित किया जा सकता है, तर्कशास्त्र में अग्रिम दिए गए तर्क को कितना स्वचालित किया जा सकता है।
ఇది ఒక సాధారణ పరిణామ ప్రక్రియ . కృత్రిమ మేధస్సుపై పరిశోధన కూడా, తార్కికం)