منطق

دریافت تحقیق علم منطق | 17362 alis

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

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

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

 

دانلود تحقیق علم منطق

دریــــافت فایـــل

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

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

نوع فایل : .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)

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

 

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

دریــــافت فایـــل

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

پاورپوینت هوش مصنوعي,قوانين استنتاج ,عامل هاي مبتني بر دانش,منطق,منطق گزاره اي,الگوهاي استدلال در منطق گزاره اي,الگوريتم 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
زنجير پيشرو و عقبگرد

 

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

دریــــافت فایـــل

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

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

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


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

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

 

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

دریــــافت فایـــل

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

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

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

 

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

دریــــافت فایـــل

بررسی و دانلود تحقیق علم منطق

بررسی و دانلود تحقیق علم منطق دارای نکات کلیدی تحقیق, علم, منطق

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

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


دانلود مستقیم فایل

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

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

نوع فایل : .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 اسلاید)

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

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


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

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


دانلود مستقیم فایل

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

بررسی و دانلود پاورپوینت هوش مصنوعي (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
زنجير پيشرو و عقبگرد


دانلود مستقیم فایل

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

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

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

دانلود مستقیم فایل