ميزان

المبادئ الحاكمة

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

سير عمل التحليل

1. 1إدخال النصّ واختيار المشروع ومجموعة القضايا المعتبرة.
2. 2تحليل الجمل العربيّة وتقسيمها وتصنيفها مبدئيّاً.
3. 3توحيد الألفاظ والحدود وطلب تحرير أيّ غموضٍ مؤثّر.
4. 4ترجمة القضايا إلى بنيةٍ وسيطة قابلةٍ للفحص.
5. 5تحميل المسلّمات والفروض المفعّلة دون إضافة غير المعتمد.
6. 6تطبيق قواعد القياس والتقابل والعكس والشرطيّات بالمحرّك.
7. 7بناء شجرة البرهان وتخزين أصل كلّ خطوة.
8. 8صياغة شرحٍ عربيٍّ للحكم وإظهار المصدر والسبب والأخطاء.