U.S. National Science Foundation
يهدف برنامج "الذكاء الاصطناعي والأساليب الشكلية والاستدلال الرياضي" (AIMing) إلى دعم الأبحاث التي تتقاطع فيها تقنيات الذكاء الاصطناعي والحوسبة المبتكرة مع استراتيجيات وتقنيات جديدة في الاستدلال الرياضي، بهدف أتمتة اكتشاف المعرفة. ويُعدّ الاستدلال الرياضي قدرة جوهرية من قدرات الذكاء البشري، ويؤدي دوراً محورياً في اكتشاف المعرفة. وعلى مدى العقود الماضية، أسهم مجتمعا الرياضيات وعلوم الحاسوب في تطوير بحوث الاستدلال الرياضي بمساعدة الآلة، بما يشمل الحدس والبرهان والتحقق. وقد تجلى ذلك في صور منها الأساليب الشكلية ومثبتات النظريات التفاعلية، إضافة إلى استخدام تقنيات مستمدة من الذكاء الاصطناعي. وقد أدت التطورات التقنية الحديثة إلى تصاعد الاهتمام بالاستدلال الرياضي بمساعدة الآلة من جانب مجتمعات العلوم الرياضية والأساليب الشكلية والذكاء الاصطناعي. ويُتوقع أن يكون لهذه التطورات أثر ملموس في بحوث الذكاء الاصطناعي نفسها.
تُنشر هذه الفرصة من قبل مصدر خارجي رسمي. لا يعالج Fairplace الطلبات الخاصة بها — ستقدم مباشرة على موقعهم.
