Artificial Intelligence - هوش مصنوعی  
انجمن را در گوگل محبوب کنيد :

بازگشت   Artificial Intelligence - هوش مصنوعی > محاسبات نرم > منطق محاسباتي(Computational Logic)


 
Artificial:
تبليغات سايت
مقالات و پروژه های هوش مصنوعی
تبلیغات
فرادرس

فیلم های آموزشی
ژنتیک و محاسبات تکاملی
فیلم های آموزشی
شبکه عصبی مصنوعی
فیلم های آموزشی
الگوریتم های فراابتکاری
فیلم های آموزشی
داده کاوی
فیلم های آموزشی
سیستم های فازی
فیلم های آموزشی
آموزش متلب
آموزش الگوریتم TLBO آموزش شبکه عصبی مصنوعی آموزش الگوریتم کرم شب تاب آموزش داده کاوی در متلب آموزش سیستم های فازی آموزش برنامه نویسی متلب
آموزش الگوریتم PSO آموزش شبکه عصبی گازی آموزش الگوریتم مورچگان آموزش آمار و داده کاوی آموزش استنتاج فازی در متلب آموزش رابط گرافیکی در متلب
آموزش ترکیب ژنتیک و PSO آموزش شبکه عصبی رقابتی آموزش الگوریتم علف هرز آموزش وب کاوی آموزش خوشه بندی آموزش شبیه سازی با سیمولینک
آموزش الگوریتم BBO آموزش شبکه عصبی MLP آموزش الگوریتم جهش قورباغه آموزش داده کاوی RapidMiner آموزش نگارش آکادمیک آموزش تحلیل آماری در متلب
آموزش الگوریتم فرهنگی آموزش شبکه عصبی RBF آموزش الگوریتم کرم شب تاب آموزش مبانی داده کاوی تنظیم ضرایب PID در متلب آموزش واقعیت مجازی در متلب
آموزش انتخاب ویژگی آموزش شبکه عصبی LVQ آموزش الگوریتم زنبور ها آموزش کاهش تعداد رنگ تحلیل پوششی داده ها در متلب آموزش محاسبات نمادین در متلب
آموزش الگوریتم ژنتیک آموزش شبکه عصبی GMDH آموزش کلونی زنبور مصنوعی آموزش کاهش ابعاد سیستم فازی عصبی ANFIS آموزش زبان C
الگوریتم رقابت استعماری شبکه عصبی با نروسولوشن آموزش الگوریتم ژنتیک کاوش قواعد وابستگی بهینه سازی مقید در متلب آموزش زبان C++
Iranian Association for the Advancement of Artificial Intelligence
ارسال تاپيک جديد  پاسخ
 
LinkBack ابزارهاي تاپيک نحوه نمايش
قديمي ۰۳-۱-۱۳۹۰, ۰۳:۴۹ بعد از ظهر   #1 (لینک دائم)
عضو جدید
 
آواتار hodahadi
 
تاريخ عضويت: خرداد ۱۳۹۰
پست ها: 1
تشكرها: 0
0 تشكر در 0 پست
پيش فرض منطق

منطق مرتبه اول چیست ؟
hodahadi آفلاين است   پاسخ با نقل قول

قديمي ۰۳-۱-۱۳۹۰, ۰۴:۵۲ بعد از ظهر   #2 (لینک دائم)
Active users
 
آواتار ayfer.a11
 
تاريخ عضويت: اسفند ۱۳۸۸
محل سكونت: (Azarbaycan(tabriz
پست ها: 76
تشكرها: 428
191 تشكر در 57 پست
My Mood: Mehrabon
ارسال پيغام Yahoo به ayfer.a11
پيش فرض

سلام
-------
فهرست:

1.مروری بر منطق گزاره ای
2.منطق رتبه اول
3.انواع منطق
4.نحو و معنای منطق رتبه اول

(first order logic) منطق مرتبه اول
اسماعيل نوراني
فايل ضميمه
نوع فايل: pdf AI-Ch7.pdf (523.7 كيلو بايت, 300 نمايش)
__________________
با خدا باش وپادشاهی کن ..... بی خدا باش وهر چه خواهی کن...!

------


من بیر ایران توركو و ایران آذربایجانیندا یاشیان آدلی سانلی و ایرانا بویوك آدلار قازانان بیر توركم....!!
و ایفتیخاریم بودور تورک قیزیام


URMU LAKE IS THIRSTY


ayfer.a11 آفلاين است   پاسخ با نقل قول
از ayfer.a11 تشكر كرده است:
khorzu (۰۳-۲۰-۱۳۹۴)
قديمي ۰۵-۶-۱۳۹۰, ۰۷:۵۸ قبل از ظهر   #3 (لینک دائم)
عضو فوق فعال
 
آواتار pouriams
 
تاريخ عضويت: ارديبهشت ۱۳۹۰
محل سكونت: Vancouver, Canada
پست ها: 6
تشكرها: 0
8 تشكر در 3 پست
پيش فرض

به دلیل اینکه منطق گزاره ای (Propositional logic) دارای حدود و قصور زیادی است و برای محیط های پیچیده تر پیاده سازی آن سخت و یا غیرممکن است، منطق مرتبه اول با قابلیت توصیفی (expressive) بیشتر به وجود آمده است.
در منطق گزاره ای فقط حقایق (facts) استفاده میشوند در حالیکه در منطق مرتبه اول (First Order Logic یا به طور خلاصه FOL) از اشیاء (Objects) و روابط (relations) نیز استفاده می شود.
مثال ساده :
برای نشان دادن پدر یک نفر در منطق گزاره ای هیچ راهی وجود ندارد در حالیکه در منطق مرتبه اول از تابع (Function) برای این رابطه استفاده می کنیم.
pouriams آفلاين است   پاسخ با نقل قول
از pouriams تشكر كرده است:
azadeh_i82 (۰۳-۱۳-۱۳۹۵)
قديمي ۱۰-۵-۱۳۹۱, ۰۱:۲۶ بعد از ظهر   #4 (لینک دائم)
عضو جدید
 
آواتار motaghi
 
تاريخ عضويت: ارديبهشت ۱۳۹۱
محل سكونت: مازندران
پست ها: 4
تشكرها: 0
1 تشكر در 1 پست
پيش فرض

سلام من یک مقاله درباره هوش مصنوعی میخوام لطفا کمکم کنید
motaghi آفلاين است   پاسخ با نقل قول
قديمي ۰۳-۱۳-۱۳۹۵, ۰۱:۱۲ قبل از ظهر   #5 (لینک دائم)
عضو جدید
 
آواتار azadeh_i82
 
تاريخ عضويت: ارديبهشت ۱۳۹۵
پست ها: 2
تشكرها: 1
0 تشكر در 0 پست
پيش فرض

نقل قول:
نوشته اصلي بوسيله pouriams نمايش پست
به دلیل اینکه منطق گزاره ای (propositional logic) دارای حدود و قصور زیادی است و برای محیط های پیچیده تر پیاده سازی آن سخت و یا غیرممکن است، منطق مرتبه اول با قابلیت توصیفی (expressive) بیشتر به وجود آمده است.
در منطق گزاره ای فقط حقایق (facts) استفاده میشوند در حالیکه در منطق مرتبه اول (first order logic یا به طور خلاصه fol) از اشیاء (objects) و روابط (relations) نیز استفاده می شود.
مثال ساده :
برای نشان دادن پدر یک نفر در منطق گزاره ای هیچ راهی وجود ندارد در حالیکه در منطق مرتبه اول از تابع (function) برای این رابطه استفاده می کنیم.
سلام
میخواستم بدونم کتاب یا جزوه ای ترجیحا فارسی رو که به زبان ساده درباره منطق گزاره ای توضیح داده باشه میتونید بهم معرفی کنید
خیلی ممنون
azadeh_i82 آفلاين است   پاسخ با نقل قول
پاسخ



كاربران در حال ديدن تاپيک: 1 (0 عضو و 1 مهمان)
 
ابزارهاي تاپيک
نحوه نمايش

قوانين ارسال
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is فعال
شکلکها فعال است
كد [IMG] فعال است
كدهاي HTML غير فعال است
Trackbacks are فعال
Pingbacks are فعال
Refbacks are فعال


فرادرس




زمان محلي شما با تنظيم GMT +3.5 هم اکنون ۰۱:۴۳ قبل از ظهر ميباشد.


Powered by vBulletin® Version 3.8.3
Copyright ©2000 - 2017, Jelsoft Enterprises Ltd.
Search Engine Friendly URLs by vBSEO 3.1.0 ©2007, Crawlability, Inc.

Teach and Learn at Hexib | Sponsored by www.Syavash.com and Product In Review

استفاده از مطالب انجمن در سایر سایت ها، تنها با ذکر انجمن هوش مصنوعي به عنوان منبع و لینک مستقیم به خود مطلب مجاز است

Inactive Reminders By Icora Web Design