الإستنباط:

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

قواعد الاستدلال:

قواعد الاستدلال هي قوالب لإنشاء وسيطات صالحة. يتم تطبيق قواعد الاستدلال لاستخلاص البراهين في الذكاء الاصطناعي، والبرهان هو سلسلة من الاستنتاجات التي تؤدي إلى الهدف المنشود.

في قواعد الاستدلال، يلعب التضمين بين جميع الروابط دورًا مهمًا. فيما يلي بعض المصطلحات المتعلقة بقواعد الاستدلال:

الباندا إنشاء إطار البيانات

يتضمن:إنها إحدى الروابط المنطقية التي يمكن تمثيلها كـ P → Q. وهي عبارة عن تعبير منطقي.الحديث:عكس التضمين، وهو ما يعني أن الجانب الأيمن يذهب إلى الجانب الأيسر والعكس بالعكس. يمكن كتابتها كـ Q → P.موانع إيجابية:يُطلق على نفي العكس اسم مضاد إيجابي، ويمكن تمثيله بـ ¬ Q → ¬ P.معكوس:ويسمى نفي التضمين بالعكس. يمكن تمثيله كـ ¬ P → ¬ Q.

من المصطلح السابق فإن بعض العبارات المركبة متكافئة مع بعضها البعض، وهو ما يمكننا إثباته باستخدام جدول الحقيقة:

وبالتالي من جدول الحقيقة أعلاه، يمكننا إثبات أن P → Q يعادل ¬ Q → ¬ P، وQ → P يعادل ¬ P → ¬ Q.

أنواع قواعد الاستدلال:

1. وضع الإعداد:

تعد قاعدة Modus Ponens من أهم قواعد الاستدلال، وهي تنص على أنه إذا كانت P و P → Q صحيحة، فيمكننا استنتاج أن Q ستكون صحيحة. يمكن تمثيلها على النحو التالي:

مثال:

البيان-1: 'إذا شعرت بالنعاس فأنا أذهب إلى السرير' ==> P→ Q
البيان -2: 'أنا نعسان' ==> ص
الخلاصة: 'أذهب إلى السرير'. ==> س.
ومن ثم، يمكننا القول أنه إذا كانت P → Q صحيحة وP صحيحة، فإن Q ستكون صحيحة.

جدول البرهان بالحقيقة:

2. طريقة الإزالة:

تنص قاعدة Modus Tollens على أنه إذا كانت P → Q صحيحة و ¬ س صحيح، ثم ¬ ص سوف صحيح أيضا. يمكن تمثيلها على النحو التالي:

البيان-1: 'إذا شعرت بالنعاس فسأذهب إلى السرير' ==> P→ Q
البيان-2: 'أنا لا أذهب إلى السرير.'==> ~س
البيان-3: والذي يستنتج أن ' لست نعسانا ' => ~P

جدول البرهان بالحقيقة:

3. القياس المنطقي الافتراضي:

تنص قاعدة القياس المنطقي الافتراضي على أنه إذا كانت P → R صحيحة عندما تكون P → Q صحيحة، وQ → R صحيحة. ويمكن تمثيلها بالرمز التالي:

مثال:

البيان-1: إذا كان لديك مفتاح منزلي، فيمكنك فتح منزلي. ف → س
البيان-2: إذا كان بإمكانك فتح منزلي، فيمكنك أخذ أموالي. س → ر
خاتمة: إذا كان لديك مفتاح منزلي، فيمكنك أخذ أموالي. ف → ص

البرهان بجدول الحقيقة:

4. القياس المنطقي المنفصل:

تنص قاعدة القياس المنطقي الانفصالي على أنه إذا كان P∨Q صحيحًا، و¬P صحيحًا، فإن Q سيكون صحيحًا. يمكن تمثيلها على النحو التالي:

مثال:

استبدال من السلسلة في Java

البيان-1: اليوم هو الأحد أو الاثنين. ==>P∨Q
البيان-2: اليوم ليس الأحد. ==> ¬ص
خاتمة: اليوم هو الاثنين. ==> س

البرهان بجدول الحقيقة:

5. الإضافة:

قاعدة الجمع هي إحدى قواعد الاستدلال الشائعة، وتنص على أنه إذا كانت P صحيحة، فإن P∨Q ستكون صحيحة.

مثال:

إفادة: عندي آيس كريم فانيليا. ==> ص
البيان-2: عندي آيس كريم شوكولاتة.
خاتمة: عندي آيس كريم فانيليا أو شوكولاتة. ==> (P∨Q)

البرهان بجدول الحقيقة:

6. التبسيط:

تنص قاعدة التبسيط على أنه إذا ف∧ س صحيح، ثم س أو ص سيكون صحيحا أيضا. يمكن تمثيلها على النحو التالي:

البرهان بجدول الحقيقة:

7. القرار:

تنص قاعدة الحل على أنه إذا كانت P∨Q و¬ P∧R صحيحة، فإن Q∨R ستكون صحيحة أيضًا. يمكن تمثيلها على أنها

البرهان بجدول الحقيقة: