رفتن به محتوای اصلی
جستجوی پیشرفته
عبارات جستجو
نوع محتوا

مطابقت کامل
جستجو در برچسب‌ها
گزینه های تاریخ
پس از به روز رسانی
قبلا به روز شده
ایجاد شده پس از
ایجاد شده قبل از

نتایج جستجو

نتایج یافت شده 3

وقوع خلط در صوری‌سازی منطق

۱۴. فقه هوش مصنوعی (۱۴۰۲/۱۰/۲۸)

خُب این معنا چیست که معنای قراردادی در طبع آن می‌آید؟ اینجا است که مسأله صوری‌سازی و کارهایی که در قرن بیستم صورت گرفته، خیلی اهمیت پیدا می‌کند و متأسفانه خلط‌هایی شده که به اندازه ذهن قاصرم قبلاً گفته‌ام. کتابی هست به نام درآمدی بر منطق جدید. صفحه ۹۹ آن را ...

معنا
ثابت منطقی
معنادهی معنا
معنادهی ارجاع
معنادهی صدق
سمانتیک
منطق
صوری‌سازی

عدم موفقیت فرگه در صوری‌سازی منطق گزاره‌ها

۱۵. فقه هوش مصنوعی (۱۴۰۲/۱۱/۱۲)

لذا عرض کردم این که می‌گویند سمانتیک منطق گزاره‌ها، سمانتیک صدق است، یا سمانتیک ارجاع است، حرف درستی نیست؛ از آن کتاب خواندم که می‌گفت ابهام آمیز است و غلط است. این اصلاً یک چیز غلط است و اصلاً جای آن نبوده که وقتی زبان منطق گزاره‌ها را خواستیم معنادهی کنیم،...

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

بهترین نماد، نماد فارغ از معنا؛ نقش بهترین نماد در صوری‌سازی

۱۶. فقه هوش مصنوعی (۱۴۰۲/۱۱/۲۶) وجود معنا در نماد و انواع آن

حالا که مطلب قبلی را گفتم، یک اشاره کوچک هم بکنم؛ هر چیزی را می‌شود نماد برای هرچیزی قرار بدهیم؛ سؤال خیلی قشنگ این بود که بهترین نماد چه نمادی است؟ آیا شخص لفظ «زید» که در ساعت ده از دهان در آمده بود، نماد خوبی بود؟ نه؛ می‌شد و مشکلی نداشت، اما چه فایده‌ای ...

صوری‌سازی
بهترین نماد
نماد
معنا