منافسة نظام CADE ATP

📅 آخر تحديث: ٢٨ يوليو ٢٠٢٦
✍️ نُشر في: ٢٨ يوليو ٢٠٢٦
الموسوعة الحرة

مسابقة نظام CADE ATP ( CASC ) هي مسابقة سنوية لبرامج إثبات النظريات الآلية بالكامل للمنطق الكلاسيكي . [ 1 ] [ 2 ] [ 3 ] [ 4 ]

مسابقة

ترتبط مسابقة CASC بمؤتمر الاستدلال الآلي والمؤتمر الدولي المشترك حول الاستدلال الآلي الذي تنظمه جمعية الاستدلال الآلي . وقد ألهمت هذه المسابقة مسابقات مماثلة في مجالات ذات صلة، ولا سيما مسابقة SMT-COMP الناجحة [ 5 ] في مجال قابلية الإرضاء modulo النظريات ، ومسابقة SAT [ 6 ] في مجال الاستدلال الافتراضي ، ومسابقة الاستدلال المنطقي الموجه [ 7 ] .

عُقدت أول مسابقة CASC، CASC-13، كجزء من المؤتمر الثالث عشر حول الاستدلال الآلي في جامعة روتجرز ، نيو برونزويك، نيو جيرسي، في عام 1996. [ 3 ] ومن بين الأنظمة المتنافسة Otter [ 8 ] و SETHEO . [ 9 ]

انظر أيضاً

مراجع

  1. ↑ سوتكليف، جيف (2011). "المسابقة الخامسة لأنظمة إثبات النظريات الآلية التابعة للمؤتمر الدولي المشترك للذكاء الاصطناعي - CASC-J5" . اتصالات الذكاء الاصطناعي . 24 (1): 75-89 . doi : 10.3233/AIC-2010-0483 .
  2. ↑ جيف سوتكليف . "مسابقة نظام CADE ATP" . مؤرشف من الأصل بتاريخ 2009-03-02 . تم الاطلاع عليه بتاريخ 2008-10-23 .
  3. 1 2 جيف سوتكليف وكريستيان سوتنر (2006). "حالة CASC" . اتصالات الذكاء الاصطناعي . 19 (1): 35-48 .
  4. ↑ جيف بيليتييه، وجيف سوتكليف، وكريستيان سوتنر (2002). "تطوير CASC" (ملف PDF) . اتصالات الذكاء الاصطناعي . 15 ( 2-3 ): 79-90 .
  5. ↑ باريت، كلارك؛ دي مورا، ليوناردو؛ ستامب، آرون (2005). "SMT-COMP: منافسة قابلية الإرضاء وفقًا للنظريات" (ملف PDF) . التحقق بمساعدة الحاسوب . سلسلة محاضرات في علوم الحاسوب. المجلد 3576. سبرينغر. الصفحات 20-23 . doi : 10.1007/11513988_4 . ISBN   978-3-540-27231-1.
  6. ^ ماتي، جارفيسالو. لو بيري، دانيال؛ روسيل، أوليفييه؛ سيمون ، لوران (2012). "مسابقات حل SAT الدولية" . مجلة الذكاء الاصطناعي . 33 (1): 89-92 . دوى : 10.1609/aimag.v33i1.2395 .
  7. ↑ ماساتشي، فابيو؛ دونيني، فرانشيسكو م. (2000). "تصميم ونتائج مقارنة أنظمة TANCS-2000 غير الكلاسيكية (النمطية)" . المؤتمر الدولي حول الاستدلال الآلي باستخدام الجداول التحليلية والأساليب ذات الصلة . سلسلة محاضرات في علوم الحاسوب. المجلد 1847. سبرينغر. الصفحات 52-56 . CiteSeerX 10.1.1.385.6267 . doi : 10.1007/10722086_4 . ISBN    978-3-540-67697-3.
  8. ↑ ماكيون، ويليام ؛ ووس، لاري (1997). "أوتر - تجسيدات مسابقة CADE-13". مجلة الاستدلال الآلي . 18 (2): 211-220 . doi : 10.1023/A:1005843632307 . S2CID 2481653 . 
  9. ↑ موسر، ماكس؛ إيبنز، أورترون؛ ليتز، راينهولد؛ شتاينباخ، يواكيم؛ غولر، كريستوف؛ شومان، يوهان؛ ماير، كلاوس (1997). "أوتر - تجسيدات مسابقة CADE-13". مجلة الاستدلال الآلي . 18 (2): 237-246 . doi : 10.1023/A:1005808119103 . S2CID 821198 .