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

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

نتایج جستجو

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

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

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

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

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

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

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

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

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

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

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

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

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

معنای کلمه «صوری»

۲. فقه هوش مصنوعی (۱۴۰۳/۰۷/۰۵) صوری سازی در اتاق چینی

پارسال عرض شد که مثال اتاق چینی‌ای که آقای سرل زد و مطرح کرد، خیلی علیه آن حرف زده شد و آن را رد کردند و خود ایشان هم دفاع‌هایی کرده و در بعضی از جاها هم کوتاه آمده است؛ علی ای حال، آنچه که من روی آن تأکید داشتم - خود ایشان هم مثال زده بود - مسأله توان اتاق ...

اتاق چینی
سرل
صوری‌سازی
مثال کودک و جدول ضرب
معنای تجرد
صورت فکر