U.S. National Science Foundation
आर्टिफिशियल इंटेलिजेंस, फॉर्मल मेथड्स और मैथमेटिकल रीज़निंग (AIMing) प्रोग्राम का लक्ष्य नवाचारी कंप्यूटेशनल और आर्टिफिशियल इंटेलिजेंस (AI) तकनीकों तथा मैथमेटिकल रीज़निंग की नई रणनीतियों और तकनीकों के इंटरफेस पर रिसर्च को सपोर्ट करना है, जिससे नॉलेज डिस्कवरी को ऑटोमेट किया जा सके। मैथमेटिकल रीज़निंग इंसानी बुद्धि की एक बुनियादी क्षमता है और नॉलेज डिस्कवरी में अहम भूमिका निभाती है। पिछले कुछ दशकों में गणित और कंप्यूटर साइंस, दोनों समुदायों ने मशीन-असिस्टेड मैथमेटिकल रीज़निंग पर रिसर्च में योगदान दिया है, जिसमें अनुमान, प्रमाण और सत्यापन शामिल हैं। यह काम फॉर्मल मेथड्स और इंटरैक्टिव थ्योरम प्रूवर्स के रूप में हुआ है, और AI की तकनीकों के इस्तेमाल से भी। हाल के तकनीकी विकास की वजह से मैथमेटिकल साइंसेज़, फॉर्मल मेथड्स और AI समुदायों में मशीन-असिस्टेड मैथमेटिकल रीज़निंग को लेकर दिलचस्पी तेज़ी से बढ़ी है। बदले में, इस क्षेत्र की प्रगति का AI रिसर्च पर भी असर पड़ सकता है।
यह अवसर एक आधिकारिक बाहरी स्रोत द्वारा प्रकाशित किया गया है। Fairplace इसके लिए आवेदन संसाधित नहीं करता — आप सीधे उनकी साइट पर आवेदन करेंगे।
