Artificial Intelligence - هوش مصنوعی

Artificial Intelligence - هوش مصنوعی (http://artificial.ir/intelligence/)
-   منطق محاسباتي(Computational Logic) (http://artificial.ir/intelligence/forum101.html)
-   -   منطق (http://artificial.ir/intelligence/thread9322.html)

hodahadi ۰۳-۱-۱۳۹۰ ۰۳:۴۹ بعد از ظهر

منطق
 
منطق مرتبه اول چیست ؟:mad:

ayfer.a11 ۰۳-۱-۱۳۹۰ ۰۴:۵۲ بعد از ظهر

1(ها)ضميمه
سلام
-------
فهرست:

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

(first order logic) منطق مرتبه اول
اسماعيل نوراني

pouriams ۰۵-۶-۱۳۹۰ ۰۷:۵۸ قبل از ظهر

به دلیل اینکه منطق گزاره ای (Propositional logic) دارای حدود و قصور زیادی است و برای محیط های پیچیده تر پیاده سازی آن سخت و یا غیرممکن است، منطق مرتبه اول با قابلیت توصیفی (expressive) بیشتر به وجود آمده است.
در منطق گزاره ای فقط حقایق (facts) استفاده میشوند در حالیکه در منطق مرتبه اول (First Order Logic یا به طور خلاصه FOL) از اشیاء (Objects) و روابط (relations) نیز استفاده می شود.
مثال ساده :
برای نشان دادن پدر یک نفر در منطق گزاره ای هیچ راهی وجود ندارد در حالیکه در منطق مرتبه اول از تابع (Function) برای این رابطه استفاده می کنیم.

motaghi ۱۰-۵-۱۳۹۱ ۰۱:۲۶ بعد از ظهر

سلام من یک مقاله درباره هوش مصنوعی میخوام لطفا کمکم کنید

azadeh_i82 ۰۳-۱۳-۱۳۹۵ ۰۱:۱۲ قبل از ظهر

نقل قول:

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

سلام
میخواستم بدونم کتاب یا جزوه ای ترجیحا فارسی رو که به زبان ساده درباره منطق گزاره ای توضیح داده باشه میتونید بهم معرفی کنید
خیلی ممنون


زمان محلي شما با تنظيم GMT +3.5 هم اکنون ۰۶:۳۵ بعد از ظهر ميباشد.

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