دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Knowledge Representation and Reasoning Under Uncertainty: Logic at Work
دانلود کتاب نمایندگی دانش و استدلال تحت عدم قطعیت: منطق در محل کار
مشخصات کتاب
Knowledge Representation and Reasoning Under Uncertainty: Logic at Work
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Peter Gärdenfors (auth.), Michael Masuch, László Pólos (eds.) سری: Lecture Notes in Computer Science 808 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540580956, 0387580956 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 235 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب نمایندگی دانش و استدلال تحت عدم قطعیت: منطق در محل کار: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Knowledge Representation and Reasoning Under Uncertainty: Logic at Work به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نمایندگی دانش و استدلال تحت عدم قطعیت: منطق در محل کار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نمایندگی دانش و استدلال تحت عدم قطعیت: منطق در محل کار
این جلد بر اساس کنفرانس بین‌المللی منطق در کار است که در
دسامبر 1992 در آمستردام، هلند برگزار شد. تحت عدم قطعیت، که
مسائل اصلی هوش مصنوعی رسمی هستند.
امروزه، منطق دیگر عمدتاً با مسائل ریاضی و فلسفی مرتبط نیست.
اصطلاح منطق کاربردی معنای بسیار گسترده‌تری دارد، همانطور که
کاربردهای متعدد روش‌های منطقی، به‌ویژه در علوم کامپیوتر، هوش
مصنوعی یا زبان‌شناسی رسمی گواهی می‌دهند. همانطور که در این
جلد نیز نشان داده شد، انواع منطق های غیر استاندارد اهمیت
بیشتری برای بازنمایی دانش و استدلال در شرایط عدم قطعیت پیدا
کردند.
توضیحاتی درمورد کتاب به خارجی
This volume is based on the International Conference Logic at
Work, held in Amsterdam, The Netherlands, in December 1992.
The 14 papers in this volume are selected from 86 submissions
and 8 invited contributions and are all devoted to knowledge
representation and reasoning under uncertainty, which are
core issues of formal artificial intelligence.
Nowadays, logic is not any longer mainly associated to
mathematical and philosophical problems. The term applied
logic has a far wider meaning, as numerous applications of
logical methods, particularly in computer science, artificial
intelligence, or formal linguistics, testify. As demonstrated
also in this volume, a variety of non-standard logics gained
increased importance for knowledge representation and
reasoning under uncertainty.
فهرست مطالب
The role of expectations in reasoning....Pages 1-16
On logics of approximate reasoning....Pages 17-29
Gentzen sequent calculus for possibilistic reasoning....Pages 31-40
A model of inductive reasoning....Pages 41-56
Automated reasoning with uncertainties....Pages 57-79
An axiomatic approach to systems of prior distributions in inexact reasoning....Pages 81-89
Contradiction removal semantics with explicit negation....Pages 91-105
Logic programming for non-monotonic reasoning....Pages 107-121
Agent oriented programming: An overview of the framework and summary of recent research....Pages 123-129
An application of temporal logic for representation and reasoning about design....Pages 131-145
Knowledge theoretic properties of topological spaces....Pages 147-159
Rough logic for multi-agent systems....Pages 161-181
A logical approach to multi-sources reasoning....Pages 183-196
Situation theory and social structure....Pages 197-237
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Spoken Multimodal Human-Computer Dialogue in Mobile Environments (Text, Speech and Language Technology)
دانلود کتاب A Computer Science Tapestry: Exploring Programming and Computer Science with C++ (2nd edition)
دانلود کتاب 25 Years of Model Checking: History, Achievements, Perspectives
دانلود کتاب The Real MCTS/MCITP Exam 70-647 Prep Kit: Independent and Complete Self-Paced Solutions
دانلود کتاب Communications and Multimedia Security: 11th IFIP TC 6/TC 11 International Conference, CMS 2010, Linz, Austria, May 31 – June 2, 2010. Proceedings
دانلود کتاب Healthy PC: Preventive Care and Home Remedies for Your Computer
دانلود کتاب Blogging Basics for Beginners: Catch Up on the Blogosphere in the 21st Century!
دانلود کتاب Voice over 802.11
دانلود کتاب Codes on Euclidean spheres
