ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

دانلود کتاب منطق ساختار ویژگی های تایپ شده: با برنامه های کاربردی برای دستورات وحدت ، برنامه های منطق و وضوح محدودیت

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

مشخصات کتاب

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Cambridge Tracts in Theoretical Computer Science 32 
ISBN (شابک) : 0521419328 
ناشر: CUP 
سال نشر: 1992 
تعداد صفحات: 280 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 46,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق ساختار ویژگی های تایپ شده: با برنامه های کاربردی برای دستورات وحدت ، برنامه های منطق و وضوح محدودیت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب منطق ساختار ویژگی های تایپ شده: با برنامه های کاربردی برای دستورات وحدت ، برنامه های منطق و وضوح محدودیت

این کتاب تئوری ساختارهای ویژگی تایپ شده را توسعه می دهد، شکل جدیدی از ساختار داده که هم اصطلاحات مرتبه اول برنامه های منطقی و هم ساختارهای ویژگی گرامرهای مبتنی بر وحدت را تعمیم می دهد تا شامل وراثت، تایپ، نابرابری، چرخه ها و شدت واریته باشد. این ترکیبی از بسیاری از ایده های موجود را در یک چارچوب یکسان ارائه می دهد که به عنوان یک پایه منطقی برای گرامرها، برنامه نویسی منطقی و سیستم های استدلال مبتنی بر محدودیت عمل می کند. در سراسر متن، یک دیدگاه منطقی اتخاذ شده است که از یک زبان توصیف ویژگی-مقدار همراه با بدیهیات معادله‌ای کامل از سیستم‌های مختلف ساختارهای ویژگی استفاده می‌کند. نگرانی های کارایی مورد بحث قرار گرفته و نتایج پیچیدگی و قابلیت نمایش ارائه شده است. کاربرد ساختارهای ویژگی برای گرامرهای ساختار عبارت توضیح داده شده است و نتایج کامل برای استراتژی های ارزیابی استاندارد نشان داده شده است. برنامه های منطقی بند معین به عنوان یک مورد خاص از گرامرهای ساختار عبارت در نظر گرفته می شوند. سیستم‌های محدودیت معرفی می‌شوند و یک تکنیک شمارش برای حل محدودیت‌های منطقی ویژگی-مقدار دلخواه ارائه می‌شود. این کتاب با رویکرد نوآورانه خود به ساختارهای داده، خواندنی ضروری برای محققان در زبان‌شناسی محاسباتی، برنامه‌نویسی منطقی و بازنمایی دانش خواهد بود. ارائه مستقل آن آن را به اندازه کافی انعطاف پذیر می کند تا هم به عنوان یک ابزار تحقیق و هم به عنوان یک کتاب درسی خدمت کند.


توضیحاتی درمورد کتاب به خارجی

This book develops the theory of typed feature structures, a new form of data structure that generalizes both the first-order terms of logic programs and feature-structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. It presents a synthesis of many existing ideas into a uniform framework, which serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems. Throughout the text, a logical perspective is adopted that employs an attribute-value description language along with complete equational axiomatizations of the various systems of feature structures. Efficiency concerns are discussed and complexity and representability results are provided. The application of feature structures to phrase structure grammars is described and completeness results are shown for standard evaluation strategies. Definite clause logic programs are treated as a special case of phrase structure grammars. Constraint systems are introduced and an enumeration technique is given for solving arbitrary attribute-value logic constraints. This book with its innovative approach to data structures will be essential reading for researchers in computational linguistics, logic programming and knowledge representation. Its self-contained presentation makes it flexible enough to serve as both a research tool and a textbook.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی