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

کسر خودکار در منطق های چند ارزشی

Automated deduction in multiple-valued logics

دانلود کتاب Automated deduction in multiple-valued logics (به فارسی: کسر خودکار در منطق های چند ارزشی) نوشته شده توسط «Reiner Hähnle»

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

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

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

ناشر: Clarendon Press; Oxford University Press

نویسنده: Reiner Hähnle

زبان: English

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

سال انتشار: 1993

تعداد صفحه: 177

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

کد کتاب: 9780198539896 , 0198539894

توضیحات کتاب کسر خودکار در منطق های چند ارزشی

این کتاب یک رویکرد مستقل و یکپارچه برای استدلال خودکار در منطق های چند ارزشی (MVL) را تشکیل می دهد. این اولین بررسی اجمالی از این حوزه است و شامل یک گزارش تقریباً کامل از سایر رویکردهای استدلال خودکار در MVL است. روش‌های اثبات قضیه کارآمد در MVL برای بسیاری از کاربردها ضروری است، با این حال رویکردهای موجود ناکافی هستند. در اینجا، نویسنده نشان می دهد که چگونه استدلال خودکار در منطق های بی نهایت ارزش می تواند به طور یکنواخت و کارآمد برای اولین بار انجام شود. استدلال خودکار در منطق غیر کلاسیک یکی از وظایف اصلی بسیاری از عملیات هوش مصنوعی است. کاربردهای MVL به ویژه شامل تأیید سخت افزار و نرم افزار، استدلال با دانش ناقص یا متناقض، و پردازش زبان طبیعی است. بنابراین این کتاب منبع ارزشمندی برای دانشمندان نظری کامپیوتر، محققان و دانشجویان فارغ التحصیل و همچنین منطق دانان خواهد بود.

This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL). It is the first overview of this area, and it contains a virtually complete account of other approaches to automated reasoning in MVL. Efficient theorem proving methods in MVL are essential for many applications, however existing approaches are inadequate. Here, the author shows how automated reasoning in infinitely valued logics can be done uniformly and efficiently for the first time. Automated reasoning in non-classical logics is a key subtask of many artificial intelligence operations. Applications of MVL in particular include hardware and software verification, reasoning with incomplete or inconsistent knowledge, and natural language processing. The book will thus be a valuable resource for theoretical computer scientists, researchers, and graduate students, as well as for logicians.

دانلود کتاب «کسر خودکار در منطق های چند ارزشی»

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

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

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