پاورپوینت هوش مصنوعي فصل نهمادامه عامل هاي منطقيمنطق گزاره‌اي

41 اسلاید در قالب پاورپوینت قابل ویرایش.

فهرست مطالب :

قوانين استنتاج در منطق گزاره اي

.1قانون حذف استلزام يا modus ponens

.2قانون حذف عطف

.3قانون معرفي عطف

.4قانون معرفي فصل

.5قانون حذف دو منفي

.6قانون اثبات واحد يا resolution واحد

.7قانون اثبات يا resolution

خلاصه‌اي از قوانين استنتاج

مثال: استفاده از قوانين استنتاج

فرم نرمال عطفي(CNF)

فرم نرمال هُرن(HNF)

الگوريتم resolution

زنجير پيشرو و عقبگرد

مقايسه زنجير پيشرو و زنجير عقبگرد

بخشی از متن فایل پاورپوینت :

عاملهاي منطقي

قوانين استنتاج در منطق گزاره اي

Ãقوانين استنتاج: الگوهايي استاندارد که زنجيره اي از نتايج را براي رسيدن به هدف ايجاد ميکند

.1قانون حذف استلزام يا modus ponens

.2قانون حذف عطف

.3قانون معرفي عطف

.4قانون معرفي فصل

.5قانون حذف دو منفي

.6قانون اثبات واحد يا resolution واحد

.7قانون اثبات يا resolution

عاملهاي منطقي

1- قانون حذف استلزام يا Modus Ponens

Ãعبارت زير يعني از α=>β و α مي‌توان β را استنتاج کرد.

و........