منطق

تحقیق علم منطق | ویرایش نو baran

تحقیق علم منطق تحقیق, علم, منطق علم منطق
علم منطق :
يكى از علومى كه از جهان خارج وارد فرهنگ اسلامى شد و پذيرش عمومى يافت , و حتى به عنوان مقدمه اى بر علوم دينى جزء علوم دينى قرار گرفت , علم منطق است .
علم منطق از متون يونانى ترجمه شد , واضح و مدون اين علم ارسطاطاليس يونانى است.اين علم در ميان مسلمين نفوذ و گسترش فوق العاده يافت , اضافاتى بر آن شد و به سر حد كمال رسيد . بزرگترين منطقهاى ارسطويى كه در ميان مسلمين تدوين شد منطق الشفاى بو على سينا است , منطق الشفا چندين برابر منطق خود ارسطو است.
تعريف منطق :
منطق است . يعنى قواعد و قوانين منطقى به منزله يك مقياس و معيار و آلت سنجش است كه هر گاه بخواهيم درباره برخى از موضوعات علمى يا فلسفى تفكر و استدلال كنيم بايد استدلال خود را اين مقياسعا و معيارها بسنجيم و ارزيابى كنيم كه بطور غلط نتيجه گيرى نكنيم , منطق براى يك عالم و فيلسوف كه از آن استفاده مى كند نظير شاقول يا طراز است كه بنا از وجود آنها براى ساختمان استفاده مى كند و مىسنجد كه آيا ديئارى كه بالا برده است عمودى است يا نه ؟ و يا آيا سطحي كه چيده است افقى است يا نه؟
فائده منطق :
از تهريفى كه براي منطق ذكر كرديم فايده منطق نيز روشن مى شود معلوم شئ فايده منطق جلوگيرى ذهن است از خطاى در تفكر ؛ تفكر عبارت است از مربوط كردن چند معلوم به يكديگر براى بدست آوردن معلوم جديد و تبديل كردن يك مجهول به معلوم . در حقيقت تفكر عبارت است از سير و حركت ذهن از يك مطلوب مجهول به سوى يك سلسله مقدمات معلوم و سپس حركت از آن مقدمات معلوم به سوى آن مطلوب براى تبديل آن به معلوم.
ذهن آنكاه كه فكر مىكند و مي خواهد از تركيب و مزدوج كردن معلومات خويش مجهولى را تبديل به معلوم كند , بايد به آن معلومات شكل نظم و صورت خاص بدهد . يعنى معلومات قبلى ذهن تنها در صئرتى مولد و منتج مىشوند كه شكل و صورت خاصى به آنها داده شود منطق قواعد و قوانين اين نظم و شكل را بيان مى كند .

خطاى ذهن :
ذهن آنگاه كه تفكر مى كند و امورى را براى امرى ديگر قرار ميدهد

 

دانلود فایل

پاورپوينت استنتاج در منطق رتبه اول(هوش مصنوعي) | ویرایش نو baran

پاورپوينت استنتاج در منطق رتبه اول(هوش مصنوعي) پاورپوينت, استنتاج, در ,منطق, رتبه ,اول,(هوش مصنوعي), نوع فایل : .ppt ( قابل ويرايش و آماده پرينت )

تعداد اسلاید : 17 اسلاید

قسمتی از متن .ppt :

هوش مصنوعي Artificial Intelligence

فهرست

يکسان سازي

قوانين استنتاج در منطق مرتبه اول

بررسي يک مثال

يکسان سازي (Unification)

Unify، تابع يکسان سازي است که دو عبارت را به عنوان ورودي دريافت مي کند. اين تابع، مقدار متغيرهاي اين دو عبارت را به گونه اي تغيير مي دهد که دو عبارت يکسان شوند.

خروجي اين تابع، يک ليست جايگزيني است.

مثال:

Unify(knows(maryam, x), knows(y, zahra))

خروجي: Θ = {y/maryam, x/zahra}

استنتاج در منطق رتبه اول

يکسان سازي (Unification)

Subst، تابع جايگزيني است که يک عبارت و يک ليست جايگزيني را به عنوان ورودي دريافت مي کند. اين تابع، متغيرهاي عبارت را با استفاده از ليست جايگريني مقداردهي مي کند.

خروجي اين تابع، يک عبارت است که تغيير يافته عبارت ورودي است.

مثال: فرض کنيم Θ = {y/maryam, x/zahra} است.

Subst(knows(maryam, x), Θ)

خروجي: knows(maryam, zahra)

Subst(knows(y, zahra), Θ)

خروجي: knows(maryam, zahra)

استنتاج در منطق رتبه اول

 

دانلود فایل

پاورپوینت هوش مصنوعي عامل های منطقی (29 اسلاید) | ویرایش نو baran

پاورپوینت هوش مصنوعي عامل های منطقی (29 اسلاید) عامل های مبتنی بر دانش,منطق,منطق گزاره ای,الگوهای استدلال در منطق گزاره ای,الگوريتم resolution,زنجير پيشرو و عقبگرد,پاورپوینت هوش مصنوعي,عامل های منطقی پاورپوینت هوش مصنوعي عامل های منطقی (29 اسلاید) 


بخشی از متن:
عامل مبتنی بر دانش بايد بتواند:
نمايش حالات و فعاليتها
ترکيب ادراکات جديد
بروز کردن تصور داخلی خود از جهان
استنباط خصوصيات مخفی جهان
استنتاج فعاليتهای مناسب
عامل مبتني بر دانش خيلی شبيه به عاملهايي با حالت درونی است
عاملها در دو سطح متفاوت تعريف ميشوند:
سطح دانش: عامل چه چيزی ميداند و اهداف آن کدامند؟
سطح پياده سازی: ساختمان داده اطلاعات پايگاه دانش و چگونگی دستکاری آنها

فهرست مطالب:
عاملهای مبتنی بر دانش
منطق
منطق گزاره ای
الگوهای استدلال در منطق گزاره ای
الگوريتم resolution
زنجير پيشرو و عقبگرد

 

دانلود فایل

پاورپوینت هوش مصنوعي (41 اسلاید) | ویرایش نو baran

پاورپوینت هوش مصنوعي (41 اسلاید) پاورپوینت هوش مصنوعي,قوانين استنتاج ,عامل هاي مبتني بر دانش,منطق,منطق گزاره اي,الگوهاي استدلال در منطق گزاره اي,الگوريتم resolution,زنجير پيشرو و عقبگرد,قانون حذف استلزام,modus ponens,قانون حذف عطف,قانون معرفي عطف,قانون معرفي فصل,قانون ح,,, پاورپوینت هوش مصنوعي در قالب ppt و در حجم 41 اسلاید: 


بخشی از متن:
قوانين استنتاج در منطق گزاره اي
قوانين استنتاج: الگوهايي استاندارد که زنجيره اي از نتايج را براي رسيدن به هدف ايجاد ميکند
قانون حذف استلزام يا modus ponens
قانون حذف عطف
قانون معرفي عطف
قانون معرفي فصل
قانون حذف دو منفي
قانون اثبات واحد يا resolution واحد
قانون اثبات يا resolution
1- قانون حذف استلزام يا Modus Ponens
عبارت زير يعني از α=>β و α مي‌توان β را استنتاج کرد.
مثلاً ميتوان از
(WumpusAhead ^ WumpusAlive)
و
(WumpusAhead ^ WumpusAlive) => Shoot
Shoot را استنتاج کرد

الگوريتم resolution
براي اينکه نشان دهيمKB|=a , مشخص ميکنيم (KB ^ ¬a) ارضا کننده نيست
ابتدا (KB ^ ¬ a) را به CNF تبديل ميکنيم
سپس قانون resolution به عبارات کوچک حاصل اعمال ميشود
هر جفتي که شامل ليترالهاي مکمل باشد، resolution ميشود تا عبارت جديدي ايجاد گردد
اگر اين عبارت قبلا در مجموعه نباشد، به آن اضافه ميشود
فرايند تا محقق شدن يکي از شروط زير ادامه مي يابد:
هيچ عبارت ديگري وجود نداشته باشد که بتواند اضافه شود. در اين مورد، b استلزام a نيست
کاربرد قانون resolution، عبارت تهي را بدست ميدهد که در اين مورد، b استلزام a است

فهرست مطالب:

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

 

دانلود فایل

منطق ترازوی اندیشه و ارتباط آن با ریاضیات و سایر علوم(چالش های ریاضی مدرسه ای | ویرایش نو baran

منطق ترازوی اندیشه و ارتباط آن با ریاضیات و سایر علوم(چالش های ریاضی مدرسه ای منطق, مغالطه , قضایای حملی , اقترانی , شرطی , استدلال, عملگر, گزاره ها , ترکیب ها

منطق ترازوی اندیشه و ارتباط آن با ریاضیات و سایر علوم(چالش های ریاضی مدرسه ای 
با توجه به تدریس در درس ریاضی و امار 2 پایه یازدهم رشته ادبیات و مطالعه روی تمامی جزییات این کتاب، در بیشتر موارد و حتی به گفته ی خود دانش اموزان ارتباط نزدیکی بین برخی فصل های این درس با درس منطق پایه ی دهم همین رشته به چشم می خورد که بنظر لازم و ملزوم هم هستند و با توجه به کاربردی بودن کتاب های جدید التالیف و اینکه آموزش و فرایند یادگیری هنگامی تکمیل خواهد شد که بتوان بین دروس مختلف ارتباط منطقی پیدا کرد و بتوان آن ها را بهم نزدیک کنیم تا دانش آموز تدریس این دو درس برایش ملموس و خوشایند شود لذا بر آن شدم با مطالعه روی جزییات کتاب منطق پایه دهم و فیلم ها و آموزش های سایر اساتید و مراجع دیگر توانستم به نحو احسن آنها را به هم نزدیک سازم و دانش آموز برای درک برخی از مفاهیم منطق می تواند از تعاریف و اصول اولیه ی ریاضی و ( برعکس ) استفاده نمایید و این می تواند یکی از چالش های تدریس مدرسه ای را تا حد زیادی حل نماید.

 

دانلود فایل

دریافت تحقیق علم منطق با کد 17362

تحقیق, علم, منطق

تحقیق علم منطق

علم منطق
علم منطق :
يكى از علومى كه از جهان خارج وارد فرهنگ اسلامى شد و پذيرش عمومى يافت , و حتى به عنوان مقدمه اى بر علوم دينى جزء علوم دينى قرار گرفت , علم منطق است .
علم منطق از متون يونانى ترجمه شد , واضح و مدون اين علم ارسطاطاليس يونانى است.اين علم در ميان مسلمين نفوذ و گسترش فوق العاده يافت , اضافاتى بر آن شد و به سر حد كمال رسيد . بزرگترين منطقهاى ارسطويى كه در ميان مسلمين تدوين شد منطق الشفاى بو على سينا است , منطق الشفا چندين برابر منطق خود ارسطو است.
تعريف منطق :
منطق است . يعنى قواعد و قوانين منطقى به منزله يك مقياس و معيار و آلت سنجش است كه هر گاه بخواهيم درباره برخى از موضوعات علمى يا فلسفى تفكر و استدلال كنيم بايد استدلال خود را اين مقياسعا و معيارها بسنجيم و ارزيابى كنيم كه بطور غلط نتيجه گيرى نكنيم , منطق براى يك عالم و فيلسوف كه از آن استفاده مى كند نظير شاقول يا طراز است كه بنا از وجود آنها براى ساختمان استفاده مى كند و مىسنجد كه آيا ديئارى كه بالا برده است عمودى است يا نه ؟ و يا آيا سطحي كه چيده است افقى است يا نه؟
فائده منطق :
از تهريفى كه براي منطق ذكر كرديم فايده منطق نيز روشن مى شود معلوم شئ فايده منطق جلوگيرى ذهن است از خطاى در تفكر ؛ تفكر عبارت است از مربوط كردن چند معلوم به يكديگر براى بدست آوردن معلوم جديد و تبديل كردن يك مجهول به معلوم . در حقيقت تفكر عبارت است از سير و حركت ذهن از يك مطلوب مجهول به سوى يك سلسله مقدمات معلوم و سپس حركت از آن مقدمات معلوم به سوى آن مطلوب براى تبديل آن به معلوم.
ذهن آنكاه كه فكر مىكند و مي خواهد از تركيب و مزدوج كردن معلومات خويش مجهولى را تبديل به معلوم كند , بايد به آن معلومات شكل نظم و صورت خاص بدهد . يعنى معلومات قبلى ذهن تنها در صئرتى مولد و منتج مىشوند كه شكل و صورت خاصى به آنها داده شود منطق قواعد و قوانين اين نظم و شكل را بيان مى كند .

خطاى ذهن :
ذهن آنگاه كه تفكر مى كند و امورى را براى امرى ديگر قرار ميدهد

دانلود فایل

دریافت پاورپوينت استنتاج در منطق رتبه اول(هوش مصنوعي) با کد 28455

پاورپوينت, استنتاج, در ,منطق, رتبه ,اول,(هوش مصنوعي),

پاورپوينت استنتاج در منطق رتبه اول(هوش مصنوعي)

نوع فایل : .ppt ( قابل ويرايش و آماده پرينت )

تعداد اسلاید : 17 اسلاید

قسمتی از متن .ppt :

هوش مصنوعي Artificial Intelligence

فهرست

يکسان سازي

قوانين استنتاج در منطق مرتبه اول

بررسي يک مثال

يکسان سازي (Unification)

Unify، تابع يکسان سازي است که دو عبارت را به عنوان ورودي دريافت مي کند. اين تابع، مقدار متغيرهاي اين دو عبارت را به گونه اي تغيير مي دهد که دو عبارت يکسان شوند.

خروجي اين تابع، يک ليست جايگزيني است.

مثال:

Unify(knows(maryam, x), knows(y, zahra))

خروجي: Θ = {y/maryam, x/zahra}

استنتاج در منطق رتبه اول

يکسان سازي (Unification)

Subst، تابع جايگزيني است که يک عبارت و يک ليست جايگزيني را به عنوان ورودي دريافت مي کند. اين تابع، متغيرهاي عبارت را با استفاده از ليست جايگريني مقداردهي مي کند.

خروجي اين تابع، يک عبارت است که تغيير يافته عبارت ورودي است.

مثال: فرض کنيم Θ = {y/maryam, x/zahra} است.

Subst(knows(maryam, x), Θ)

خروجي: knows(maryam, zahra)

Subst(knows(y, zahra), Θ)

خروجي: knows(maryam, zahra)

استنتاج در منطق رتبه اول

دانلود فایل

دریافت پاورپوینت هوش مصنوعي عامل های منطقی (29 اسلاید) با کد 28966

عامل های مبتنی بر دانش,منطق,منطق گزاره ای,الگوهای استدلال در منطق گزاره ای,الگوريتم resolution,زنجير پيشرو و عقبگرد,پاورپوینت هوش مصنوعي,عامل های منطقی

پاورپوینت هوش مصنوعي عامل های منطقی (29 اسلاید)

پاورپوینت هوش مصنوعي عامل های منطقی (29 اسلاید) 


بخشی از متن:
عامل مبتنی بر دانش بايد بتواند:
نمايش حالات و فعاليتها
ترکيب ادراکات جديد
بروز کردن تصور داخلی خود از جهان
استنباط خصوصيات مخفی جهان
استنتاج فعاليتهای مناسب
عامل مبتني بر دانش خيلی شبيه به عاملهايي با حالت درونی است
عاملها در دو سطح متفاوت تعريف ميشوند:
سطح دانش: عامل چه چيزی ميداند و اهداف آن کدامند؟
سطح پياده سازی: ساختمان داده اطلاعات پايگاه دانش و چگونگی دستکاری آنها

فهرست مطالب:
عاملهای مبتنی بر دانش
منطق
منطق گزاره ای
الگوهای استدلال در منطق گزاره ای
الگوريتم resolution
زنجير پيشرو و عقبگرد

دانلود فایل

دریافت پاورپوینت هوش مصنوعي (41 اسلاید) با کد 28964

پاورپوینت هوش مصنوعي,قوانين استنتاج ,عامل هاي مبتني بر دانش,منطق,منطق گزاره اي,الگوهاي استدلال در منطق گزاره اي,الگوريتم resolution,زنجير پيشرو و عقبگرد,قانون حذف استلزام,modus ponens,قانون حذف عطف,قانون معرفي عطف,قانون معرفي فصل,قانون ح,,,

پاورپوینت هوش مصنوعي (41 اسلاید)

پاورپوینت هوش مصنوعي در قالب ppt و در حجم 41 اسلاید: 


بخشی از متن:
قوانين استنتاج در منطق گزاره اي
قوانين استنتاج: الگوهايي استاندارد که زنجيره اي از نتايج را براي رسيدن به هدف ايجاد ميکند
قانون حذف استلزام يا modus ponens
قانون حذف عطف
قانون معرفي عطف
قانون معرفي فصل
قانون حذف دو منفي
قانون اثبات واحد يا resolution واحد
قانون اثبات يا resolution
1- قانون حذف استلزام يا Modus Ponens
عبارت زير يعني از α=>β و α مي‌توان β را استنتاج کرد.
مثلاً ميتوان از
(WumpusAhead ^ WumpusAlive)
و
(WumpusAhead ^ WumpusAlive) => Shoot
Shoot را استنتاج کرد

الگوريتم resolution
براي اينکه نشان دهيمKB|=a , مشخص ميکنيم (KB ^ ¬a) ارضا کننده نيست
ابتدا (KB ^ ¬ a) را به CNF تبديل ميکنيم
سپس قانون resolution به عبارات کوچک حاصل اعمال ميشود
هر جفتي که شامل ليترالهاي مکمل باشد، resolution ميشود تا عبارت جديدي ايجاد گردد
اگر اين عبارت قبلا در مجموعه نباشد، به آن اضافه ميشود
فرايند تا محقق شدن يکي از شروط زير ادامه مي يابد:
هيچ عبارت ديگري وجود نداشته باشد که بتواند اضافه شود. در اين مورد، b استلزام a نيست
کاربرد قانون resolution، عبارت تهي را بدست ميدهد که در اين مورد، b استلزام a است

فهرست مطالب:

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

دانلود فایل

دریافت منطق ترازوی اندیشه و ارتباط آن با ریاضیات و سایر علوم(چالش های ریاضی مدرسه ای با کد 31127

منطق, مغالطه , قضایای حملی , اقترانی , شرطی , استدلال, عملگر, گزاره ها , ترکیب ها

منطق ترازوی اندیشه و ارتباط آن با ریاضیات و سایر علوم(چالش های ریاضی مدرسه ای

منطق ترازوی اندیشه و ارتباط آن با ریاضیات و سایر علوم(چالش های ریاضی مدرسه ای 
با توجه به تدریس در درس ریاضی و امار 2 پایه یازدهم رشته ادبیات و مطالعه روی تمامی جزییات این کتاب، در بیشتر موارد و حتی به گفته ی خود دانش اموزان ارتباط نزدیکی بین برخی فصل های این درس با درس منطق پایه ی دهم همین رشته به چشم می خورد که بنظر لازم و ملزوم هم هستند و با توجه به کاربردی بودن کتاب های جدید التالیف و اینکه آموزش و فرایند یادگیری هنگامی تکمیل خواهد شد که بتوان بین دروس مختلف ارتباط منطقی پیدا کرد و بتوان آن ها را بهم نزدیک کنیم تا دانش آموز تدریس این دو درس برایش ملموس و خوشایند شود لذا بر آن شدم با مطالعه روی جزییات کتاب منطق پایه دهم و فیلم ها و آموزش های سایر اساتید و مراجع دیگر توانستم به نحو احسن آنها را به هم نزدیک سازم و دانش آموز برای درک برخی از مفاهیم منطق می تواند از تعاریف و اصول اولیه ی ریاضی و ( برعکس ) استفاده نمایید و این می تواند یکی از چالش های تدریس مدرسه ای را تا حد زیادی حل نماید.

دانلود فایل