کتاب الکترونیکی

منطق و بازنمایی

Logic and Representation

دانلود کتاب Logic and Representation (به فارسی: منطق و بازنمایی) نوشته شده توسط «Robert C. Moore»

اطلاعات کتاب منطق و بازنمایی

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: CSLI Publications

نویسنده: Robert C. Moore

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1995

تعداد صفحه: 210

حجم کتاب: 10 مگابایت

کد کتاب: 9781881526155 , 1-881526-15-1 , 1-881526-16-X

توضیحات کتاب منطق و بازنمایی

منطق و بازنمایی مجموعه‌ای از مقالات را گرد هم می‌آورد که در یک دوره ده ساله نوشته شده است، که منطق رسمی و مفهوم بازنمایی صریح دانش را برای انواع مشکلات در هوش مصنوعی، معناشناسی زبان طبیعی و فلسفه ذهن و زبان به کار می‌برد. توجه ویژه ای به مدل سازی و استدلال در مورد دانش و باور، از جمله استدلال در مورد باورهای خود، و معنای شناسی جملات در مورد دانش و اعتقاد است. رابرت سی مور با بررسی نقش منطق در هوش مصنوعی شروع می کند و منطق را به عنوان یک ابزار تحلیلی، به عنوان پایه ای برای سیستم های استدلال و به عنوان یک زبان برنامه نویسی در نظر می گیرد. او سپس به تحلیل‌های منطقی مختلف نگرش‌های گزاره‌ای، از جمله مدل‌های جهان ممکن، مدل‌های نحوی و مدل‌های مبتنی بر گزاره‌های راسلی نگاه می‌کند. مور بعدی منطق خود معرفتی را بررسی می‌کند، منطقی برای مدل‌سازی استدلال درباره باورهای خود. گرد کردن جلد، بخشی است درباره معناشناسی زبان طبیعی، از جمله بررسی مشکلات در بازنمایی معنایی. مطالعه دقیق روابط بین رویدادها، موقعیت ها و قیدها؛ و ارائه یک رویکرد مبتنی بر وحدت به تفسیر معنایی. رابرت سی مور، دانشمند اصلی مرکز هوش مصنوعی 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.

دانلود کتاب «منطق و بازنمایی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان