دليل الاستدلال الآلي

الموسوعة الحرة

دليل الاستدلال الآلي ( ISBN) 0444508139(٢١٢٨ صفحة) عبارة عن مجموعة من المقالات الاستقصائية حول مجال الاستدلال الآلي . [ ١ ] نُشرت في يونيو ٢٠٠١ من قِبل مطبعة معهد ماساتشوستس للتكنولوجيا ، وقام بتحريرها جون آلان روبنسون وأندريه فورونكوف . يصف المجلد الأول أساليب المنطق الكلاسيكي ، ومنطق الرتبة الأولى مع المساواة ونظريات أخرى، والاستقراء . أما المجلد الثاني فيغطي الرتب العليا ، والمنطق غير الكلاسيكي ، وأنواعًا أخرى من المنطق.

فِهرِس

المجلد 1

تاريخ
المنطق الكلاسيكي
  1. ليو باخماير ، هارالد غانزينغر . إثبات نظرية الاستدلال، ص  19-99.
  2. راينر هانلي . الجداول والأساليب ذات الصلة، ص  100-178.
  3. أناتولي ديجتياريف ، أندريه فورونكوف . الطريقة العكسية، ص  179-272.
  4. ماتياس باز ، أوفه إيغلي ، ألكسندر ليتش . تحويلات الشكل الطبيعي، ص  273-333.
  5. أندرياس نونينجارت ، كريستوف فايدنباخ . حساب النماذج العادية للفقرات الصغيرة، الصفحات من  335 إلى 367.
المساواة ونظريات أخرى
  1. روبرت نيوفينهاوس ، ألبرتو روبيو. إثبات النظرية القائم على التعديل البارامتري، الصفحات  371-443.
  2. فرانز بادر ، واين سنايدر . نظرية التوحيد ، ص  445-532.
  3. ناحوم ديرشوفيتز ، ديفيد بلايستيد . إعادة الكتابة ، الصفحات  535-610.
  4. أناتولي ديجتياريف ، أندريه فورونكوف . استدلال المساواة في الحسابات المبنية على التسلسل، الصفحات من  611 إلى 706.
  5. شانغ تشينغ تشو ، شياو شانغ غاو . الاستدلال الآلي في الهندسة، ص  707-749.
  6. ألكسندر بوكمير ، فولكر فايسبفينينج . حل القيود العددية، الصفحات  751-842.
تعريفي
  1. آلان بوندي . أتمتة البرهان بالاستقراء الرياضي، ص  845-911.
  2. هوبرت كومون . الاستقراء بدون استقراء، الصفحات  913-962.

المجلد الثاني

المنطق ذو الرتبة العليا والأطر المنطقية
المنطق غير الكلاسيكي
  1. يورغن ديكس ، أولريش فورباخ ، إيلكا نيميلا . الاستدلال غير الرتيب: نحو حسابات فعالة وتطبيقات، الصفحات  1241-1354.
  2. ماتياس باز ، كريستيان فيرمولر ، جيرنوت سالزر . الاستدلال الآلي للمنطق متعدد القيم، ص  1355-1402.
  3. هانز يورغن أولباخ ، أندرياس نونينغارت ، مارتن دي ريكي ، دوف غاباي . ترميز المنطق غير الكلاسيكي ثنائي القيمة في المنطق الكلاسيكي، الصفحات من  1403 إلى 1486.
  4. أرلد والير . الروابط في المنطق غير الكلاسيكي، ص  1487-1578.
الفئات القابلة للتحديد وبناء النماذج
  1. دييغو كالفانيز ، جوزيبي دي جياكومو ، ماوريتسيو لينزيريني ، دانييلي ناردي . الاستدلال في منطق الوصف التعبيري، الصفحات من  1581 إلى 1634.
  2. إدموند كلارك ، هولجر شلينجلوف . التحقق من النموذج، الصفحات من  1635 إلى 1790.
  3. كريستيان فيرمولر ، ألكسندر ليتش ، أولريش هوستادت ، تانيل تاميت . إجراءات اتخاذ القرار، الصفحات من  1791 إلى 1849.
تطبيق
  1. الرابع راماكريشنان ، آر سيكار ، أندريه فورونكوف . فهرسة المصطلح، ص  1853-1964.
  2. كريستوف وايدنباخ . الجمع بين التراكب والفرز والتقسيم، ص  1965-2013.
  3. Reinhold Letz , Gernot Stenz . Model Elimination and Connection Tableau Procedures, pp.  2015–2114.

مراجع

  1. ↑ راسل، ستيوارت جوناثان؛ نورفيج، بيتر؛ ديفيس، إرنست (2009). الذكاء الاصطناعي: منهج حديث . برنتيس هول . ص 360. ISBN  9780136042594تم الاطلاع عليه بتاريخ 1 ديسمبر 2025 .