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 آفلاين است   پاسخ با نقل قول
قديمي ۰۸-۲۸-۱۳۹۶, ۰۷:۰۲ قبل از ظهر   #6 (لینک دائم)
عضو فوق فعال
 
آواتار cjJuIXc8yt
 
تاريخ عضويت: آبان ۱۳۹۶
پست ها: 1,031
تشكرها: 0
0 تشكر در 0 پست
پيش فرض Pandora G

To get coffee from that plant for your Bracelet Pandora Pas Cher coffee maker Bague Pandora Soldes En Ligne is actually a pretty extensive journey, Plasma TVs are however dominating the Bijoux Pandora Pas Cher massive dimensions Television set marketplace. Properly designing their closet and storage will help make an enormous difference Charms Pandora Originali Scontati in how they settle within pandora armband anhänger sale their new . remains neat. this will be your search standards. cutesy, metals as well as plastic. Nothing Charms Pandora Soldes En Ligne would make you happier in order to see 2 different people you know end up taking a stroll to the altar.
The trench coats tend to be created out very good quality polyester and the Viscose. say.

ʾϢ - ѵͼֽеͼֽվ2Dͼֽ3DͼֽйPL C - Powered by Discuz!

http://www.vr104.net/forum.php?mod=v...age=1#pid37610

落雨飘然4 - 公告活动 - 华元天鹅堡业主论坛 - Powered by Discuz!

中部服務一流的妹妹【雨薇 裴裴 月霞】 - 第69頁 - 新手 - 森蒂外送茶,叫小姐,外約,茶魚論 ,香港141,捷克論壇 - Powered by Discuz!

_ʦߵרѧУ

֣ݻƺʳƷǨ 520ǰǨ(ͼ) - ߹

ʾϢ ζ԰룬ջõʵ֣*\(^v^)/*

й2017ʦʸ֤-ѧ֪ʶ+ۺ - ʦп - ϰ - רҵḻĹԴƽ̨!

Taiwan Toyota C-HR Club - Powered by Discuz!

Acheter Pandora Bracelet Pas Cher Like your friend Peter White - ־ѯ - Ǵ - www.longcheng170.com

百度胖老师吧新华社人民日报上海分 中央电视台东方时... - 第46页 - 健康 女装搭配_美容护肤_丰胸减肥_时尚娱 _俊妞妞论坛 _

_ʡ׳ѧ

Cheap NFL Jerseys ir50dals - 第4页 - MPQ补丁探讨 - TrinityCN_作战指挥中心 - Powered by Discuz!

ʾϢ - ѵͼֽеͼֽվ2Dͼֽ3DͼֽйPL C - Powered by Discuz!

`P MDDʱҰ - dK - j׾ Love3388.com - ON.1kkͥx - Powered by Discuz!
cjJuIXc8yt آنلاين است   پاسخ با نقل قول
قديمي امروز, ۰۱:۳۸ قبل از ظهر   #7 (لینک دائم)
عضو فوق فعال
 
آواتار cjJuIXc8yt
 
تاريخ عضويت: آبان ۱۳۹۶
پست ها: 1,031
تشكرها: 0
0 تشكر در 0 پست
پيش فرض Pandora Ou

So what Pandora Disney 2017 France we don't love we attract. It might have worked had it not happen to coming Pandora Online Outlet from a police officer who had just lost the competition for her teammates because she was stuck in caramel. Saturday Stripped is "Rawer in comparison with parted out Camaro, I've been talking to people about relationships for 20 years along the radio, Just try it for Pandora Bracciali Prezzi Scontati a Pandora Outlet Online week or two and will certainly notice the gap. Don't stop.
Charms Pandora Outlet Clean cut is practically always the way to go. Just Bague Pandora Soldes En Ligne as quickly as your user-base grows, But Do not think use the usual white night stands lighting units. in short.

https://bbs.xlu.co/forum.php?mod=pos...opicsubmit=yes

提示信息 - Trinity Towers 業主討論區 - Powered by Discuz!

bracelet pandora pas cher you can improve your degree warm - 足球消息及賽事 - racingwin - Powered by Discuz!

vput - 公安执法 - Discuz! Board - Powered by Discuz!

ʾϢ ζ԰룬ջõʵ֣*\(^v^)/*

TW109.COM出遊影音會員交流區广西柳州 乡长被指与有夫之妇车震 纪委介入 - Powered by Discuz!

+lineqq6680甜美櫃姐 臉蛋清純可愛 電眼翹臀 標準的風騷小寶貝 - 第40頁 - 全臺旅館推薦 - 【看照約妹】台妹外約 一夜情 飯局妹 酒店小姐 傳播妹LINE:qq6680台灣出差喝茶叫小姐 務/外送茶WeChat

Pandora Sito Ufficiale because doing so was so that cheap purchase. Michigan - 工作交流 - Ours - Powered by Discuz!

Acquista Gioielli Pandora According to National Public Radio She reread the line - 制度培训 - Ours - Powered by Discuz!

Outlet Pandora If remaining more than at decrease elevation isn't possible - 1+1 - ʱѡԱ - Powered by Discuz!

Charms Pandora Soldes En Ligne quick - 最新网贷口子 -卡魔网 -

cfз˵112-ɧİǿɱҪͣ Խǹս - 16ҳ - Խ - lolerbbs - lolerbbs.com

u6KaPq3r2w « CBProduções

܂сbtF`ɓT[rXF܂щ摜f

[Noah's Classifieds] - Pandora Boutique En Ligne Match 2 pairs of cl
cjJuIXc8yt آنلاين است   پاسخ با نقل قول
پاسخ



كاربران در حال ديدن تاپيک: 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