Tractable Reasoning in Aritificial Intelligence (Lecture Notes in Computer Science, 941)

Marco Cadoli (auth.)

قیمت نهایی

۴۴٬۰۰۰ تومان۴۹٬۰۰۰ تومان۱۰٪ تخفیف

تخفیف زمان‌دار−۵٬۰۰۰ تومان

۵٬۰۰۰ تومان صرفه‌جویی نسبت به قیمت اصلی

نسخه اصلی و اورجینال

بلافاصله پس از خرید، فایل کتاب روی دستگاه شما آمادهٔ دانلود است.

تحویل فوری

پرداخت امن

ضمانت فایل

پشتیبانی

مشخصات کتاب

نویسنده: Marco Cadoli (auth.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: ۱۹۹۵
فرمت: DJVU
زبان: انگلیسی
حجم فایل: ۱٫۸ مگابایت
شابک: 9780387600581، 9783540494225، 9783540600589، 9783662171363، 0387600582، 3540494227، 3540600582، 3662171368

دربارهٔ کتاب

Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for Introduction....Pages 1-26 Language restriction: Complexity of minimal reasoning....Pages 27-65 Approximation of a logical theory....Pages 67-121 Using complexity results for evaluating approximation techniques....Pages 123-132 Conclusion....Pages 133-139

کتاب‌های مشابه

Tractable Reasoning in Aritificial Intelligence (Lecture Notes in Computer Science, 941)

۴۹٬۰۰۰ تومان

Graphics And Robotics (lecture Notes In Computer Science / Lecture Notes In Artificial Intelligence)

۴۹٬۰۰۰ تومان

Theory Reasoning In Connection Calculi (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Reasoning with Logic Programming (Lecture Notes in Computer Science (1111))

۴۹٬۰۰۰ تومان

Reasoning with Logic Programming (Lecture Notes in Computer Science (1111))

۴۹٬۰۰۰ تومان

Reasoning with Logic Programming (Lecture Notes in Computer Science (1111))

۴۹٬۰۰۰ تومان

Reasoning with Logic Programming (Lecture Notes in Computer Science (1111))

۴۹٬۰۰۰ تومان

Developing Industrial Case-Based Reasoning Applications: The INRECA Methodology (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

۴۹٬۰۰۰ تومان

Developing Industrial Case-Based Reasoning Applications: The INRECA Methodology (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

۴۹٬۰۰۰ تومان

Developing Industrial Case-Based Reasoning Applications: The INRECA Methodology (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

۴۹٬۰۰۰ تومان

Transactions On Computational Collective Intelligence Viii (lecture Notes In Computer Science)

۴۹٬۰۰۰ تومان

Artificial Intelligence Today: Recent Trends and Developments (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

۴۹٬۰۰۰ تومان

قیمت نهایی

۴۴٬۰۰۰ تومان

چه کسانی این کتاب را می‌خوانند

Tractable Reasoning in Aritificial Intelligence (Lecture Notes in Computer Science, 941)

مشخصات کتاب

دربارهٔ کتاب

کتاب‌های مشابه