في عام 1996، قدم الباحث موريش باجنكو العمليات الاستنتاجية القابلة للتوسع، وتحديدا عملية التوسيع الاستنتاجي الشبيهة بنموذج AGM. مستندة إلى تلك العملية، وهنا تأتي ورقتنا البحثية الجديدة التي تهدف إلى تقديم عملية توسيع جديدة تعتمد على نموذج AGM القابل للتعارض، والتي تتميز بقدرتها على استيعاب الفرضيات التفسيرية المتناقضة دون أن تؤدي إلى حالة معرفية مضطربة.

تستند العملية الجديدة، التي تُعرف باسم AGMpabd، إلى منطق حديث يسمى RCbr، الذي يُعتبر نموذجا منطقيًا لاستحالة التبعثر (Logics of Formal Inconsistencies). هذا المنطق الجديد يقدم خصائص مهمّة لعملية مراجعة الاعتقادات، حيث يسمح بتحقيق خاصية الاستبدال، وهو ما يجعل هذه العملية كغيرها، ولكنها تمتاز بأنها الأولى من نوعها في أدبيات AGM.

من المهم للباحثين في مجال الذكاء الاصطناعي أن يدركوا أهمية هذا التطور، لأنه فقط من خلال مراجعات الاعتقاد يمكن تضمين تعقيدات التفكير البشري في الأنظمة الذكية. ورغم أن هذه العملية الجديدة تقدم ميزات متعددة، إلا أنها لا تزال في حاجة لمزيد من البحث والتطوير لتعزيز دور المشغلين القابلين للتعارض.

تستعد الورقة الثانية التي سيتم تقديمها لاحقًا لتعزيز هذه العملية بشكل أكبر، في سياق فكرة جديدة تسمى AGMcircabd. إن هذه الأبحاث تعكس ثراء التفكير العلمي وتفتح آفاقًا جديدة في مجال الذكاء الاصطناعي.