Please translate the given English sentence to Hindi
औपचारिक तर्क के विकास ने स्वचालित तर्क के क्षेत्र में एक बड़ी भूमिका निभाई, जिसने खुद कृत्रिम बुद्धि का विकास किया।
The development of formal logic played a big role in the field of automated reasoning, which itself led to the development of artificial intelligence.