AIC (*Alternating Inference Chain*، سلسلة الاستدلال المتناوب) سلسلة مرنة من الاستدلالات القوية والضعيفة. يمكنها القفز عبر الأرقام وأنواع الأنماط — X-Chain وXY-Chain نوعان خاصان من AIC، وكثير من الأنماط المسمّاة «مجرد AIC قصيرة».
قبل هذا: X-Chain وXY-Chain وكثير من نهايات الأجنحة والأسماك هي أنواع خاصة من AIC.
لماذا تنجح
الاستدلال القوي: إذا كان A خاطئًا، فـ B صحيح. الاستدلال الضعيف: إذا كان A صحيحًا، فـ B خاطئ.
التناوب بينهما من طرف إلى طرف يعني أن الطرفين القويين لا يمكن أن يكونا خاطئين معًا. كل ما يرى الطرفين كليهما يُستبعد — فكرة «اللدغ في الحالتين» نفسها، مع السماح بأنواع أكثر من الروابط.
كيف تكتشفها
فضّل السلاسل القوية عند الطرفين. فكّر هكذا: إذا كان هذا الطرف خاطئًا ← فالطرف الآخر صحيح.
عرض توضيحي
اتبع استدلالات قوية وضعيفة متناوبة عبر الشبكة. يُفضَّل أن تكون قوية عند الطرفين.
الخانات الخضراء ترسم AIC تتعلق بـ 2.
تثبت السلسلة أن الطرفين لا يمكن أن يكونا خاطئين معًا — إذا كان أحد الطرفين خاطئًا، فالآخر يجب أن يكون صحيحًا.
استبعد المرشّحين الذين يرون الطرفين كليهما (بالأحمر) (هنا 2).
المثال 1
تتبّع سلسلة استدلال متناوبة.
هذه الـ AIC تعطي استبعادات على 2.
أزل المرشّحين المحددين (بالأحمر) (هنا 2). لا يمكن أن يكون الطرفان خاطئين معًا، لذا تُلدغ الجارات المشتركة.
المثال 2
تتبّع سلسلة استدلال متناوبة.
هذه الـ AIC تعطي استبعادات على 7.
أزل المرشّحين المحددين (بالأحمر) (هنا 7). لا يمكن أن يكون الطرفان خاطئين معًا، لذا تُلدغ الجارات المشتركة.