دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Robert C. Moore سری: Center for the Study of Language and Information - CSLI Lecture Notes 39 ISBN (شابک) : 9781881526155, 188152616X ناشر: CSLI Publications سال نشر: 1995 تعداد صفحات: 210 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
در صورت تبدیل فایل کتاب Logic and Representation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق و بازنمایی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
منطق و بازنمایی مجموعهای از مقالات را گرد هم میآورد که در یک دوره ده ساله نوشته شدهاند، که منطق رسمی و مفهوم بازنمایی صریح دانش را برای انواع مشکلات در هوش مصنوعی، معناشناسی زبان طبیعی و فلسفه ذهن و زبان به کار میبرد. توجه ویژه ای به مدل سازی و استدلال در مورد دانش و باور، از جمله استدلال در مورد باورهای خود، و معنای شناسی جملات در مورد دانش و اعتقاد است. رابرت سی مور با بررسی نقش منطق در هوش مصنوعی شروع می کند و منطق را به عنوان یک ابزار تحلیلی، به عنوان پایه ای برای سیستم های استدلال و به عنوان یک زبان برنامه نویسی در نظر می گیرد. او سپس به تحلیلهای منطقی مختلف نگرشهای گزارهای، از جمله مدلهای جهان ممکن، مدلهای نحوی و مدلهای مبتنی بر گزارههای راسلی نگاه میکند. مور بعدی منطق خود معرفتی را بررسی میکند، منطقی برای مدلسازی استدلال درباره باورهای خود. گرد کردن جلد، بخشی است درباره معناشناسی زبان طبیعی، از جمله بررسی مشکلات در بازنمایی معنایی. مطالعه دقیق روابط بین رویدادها، موقعیت ها و قیدها؛ و ارائه یک رویکرد مبتنی بر وحدت به تفسیر معنایی. رابرت سی مور، دانشمند اصلی مرکز هوش مصنوعی SRI International است.
Logic and Representation brings together a collection of essays, written over a period of ten years, that apply formal logic and the notion of explicit representation of knowledge to a variety of problems in artificial intelligence, natural language semantics and the philosophy of mind and language. Particular attention is paid to modelling and reasoning about knowledge and belief, including reasoning about one's own beliefs, and the semantics of sentences about knowledge and belief. Robert C. Moore begins by exploring the role of logic in artificial intelligence, considering logic as an analytical tool, as a basis for reasoning systems, and as a programming language. He then looks at various logical analyses of propositional attitudes, including possible-world models, syntactic models, and models based on Russellian propositions. Next Moore examines autoepistemic logic, a logic for modelling reasoning about one's own beliefs. Rounding out the volume is a section on the semantics of natural language, including a survey of problems in semantic representation; a detailed study of the relations among events, situations, and adverbs; and a presentation of a unification-based approach to semantic interpretation. Robert C. Moore is principal scientist of the Artificial Intelligence Center of SRI International.