معناشناسی: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
FreshmanBot (بحث | مشارکت‌ها)
جز ←‏دستور زبان مانتگی‌یو: اصلاح فاصله مجازی با استفاده از AWB
خط ۲۰:
 
== دستور زبان مانتگی‌یو ==
در اواخر دههٔ شصت (۱۹۶۰) [[ریچارد مانتگی‌یو]] سیتمی را برای تعریف ورودی‌های معانی در لغت نامهلغت‌نامه در شرایط حساب لامبدا مطرح کرد.
 
در این شرایط، تجزیهٔ معانی جمله‌ای مانند «جان هر شیرینی حلقوی را خورد» (John ate every bagel)، متشکل از یک [[فاعل (دستور زبان)|فاعل]] (John) و [[گذاره]] cate every bagel می‌باشد. مانتگی‌یو نشان داد که معانی این جمله درکل می‌تواند معانی تفکیک‌شدهٔ اجزایش و به‌طور نسبی قوانین کمی از ترکیب باشد. گزارهٔ منطقی به‌دست‌آمده بعداً شرح داده خواهد شد. مثلاً استفاده از طرح‌های حقیقیِ نظریه که درنهایت معانی را به مجموعه‌ای از جوامع [[تارسکی|تارسکیان]] مرتبط می‌کند که ممکن است خارج از منطق قرار گیرد.