ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Automated Theory Formation in Pure Mathematics

دانلود کتاب تشکیل نظریه خودکار در ریاضیات محض

Automated Theory Formation in Pure Mathematics

مشخصات کتاب

Automated Theory Formation in Pure Mathematics

ویرایش: 1 
نویسندگان: , ,   
سری: Distinguished Dissertations 
ISBN (شابک) : 9781447111139, 9781447101475 
ناشر: Springer-Verlag London 
سال نشر: 2002 
تعداد صفحات: 383 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 23 مگابایت 

قیمت کتاب (تومان) : 49,000



کلمات کلیدی مربوط به کتاب تشکیل نظریه خودکار در ریاضیات محض: هوش مصنوعی (شامل رباتیک)، کاربردهای ریاضی در علوم کامپیوتر



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 7


در صورت تبدیل فایل کتاب Automated Theory Formation in Pure Mathematics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تشکیل نظریه خودکار در ریاضیات محض نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تشکیل نظریه خودکار در ریاضیات محض



در سال‌های اخیر، محققان هوش مصنوعی تا حد زیادی تلاش‌های خود را بر روی حل مشکلات خاص متمرکز کرده‌اند، با تاکید کمتری بر "تصویر بزرگ" - خودکارسازی وظایف مقیاس بزرگ که برای انجام آنها به هوش در سطح انسانی نیاز دارد. موضوع این کتاب، تشکیل تئوری خودکار در ریاضیات، یک کار در مقیاس بزرگ است. شکل‌گیری خودکار نظریه مستلزم ابداع مفاهیم جدید، محاسبه مثال‌ها، حدس‌سازی و اثبات قضایا است. این کتاب که چهار سال کار دکترا توسط دکتر سیمون کولتون را نشان می‌دهد، نشان می‌دهد که چگونه شکل‌گیری نظریه را می‌توان خودکار کرد. دکتر کولتون با تکیه بر بیش از 20 سال تحقیق در ساخت یک ریاضیدان خودکار که در گروه استدلال ریاضی پروفسور آلن باندی در ادینبورگ انجام شد، سیستم منابع انسانی را به عنوان راه حلی برای مشکل شکل‌گیری نظریه‌ها توسط کامپیوتر پیاده‌سازی کرد. منابع انسانی از قطعات مختلف نرم‌افزار ریاضی، از جمله اثبات‌کننده‌های قضایای خودکار، مولدهای مدل و پایگاه‌های داده، برای ایجاد یک نظریه از حداقل اطلاعات استفاده می‌کند - بدیهیات یک دامنه. کاربرد اصلی این کار کشف ریاضی بوده است و منابع انسانی موفقیت های بسیاری داشته است. به ویژه، 20 نوع جدید از تعداد مورد علاقه کافی برای پذیرفته شدن در دایره المعارف دنباله های عدد صحیح، مخزنی از بیش از 60000 دنباله توسط بسیاری از ریاضیدانان (انسان) اختراع کرده است.


توضیحاتی درمورد کتاب به خارجی

In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer. HR uses various pieces of mathematical software, including automated theorem provers, model generators and databases, to build a theory from the bare minimum of information - the axioms of a domain. The main application of this work has been mathematical discovery, and HR has had many successes. In particular, it has invented 20 new types of number of sufficient interest to be accepted into the Encyclopaedia of Integer Sequences, a repository of over 60,000 sequences contributed by many (human) mathematicians.



فهرست مطالب

Front Matter....Pages iii-xvi
Introduction....Pages 1-8
Literature Survey....Pages 9-28
Mathematical Theories....Pages 29-43
Design Considerations....Pages 45-58
Background Knowledge....Pages 59-67
Inventing Concepts....Pages 69-100
Making Conjectures....Pages 101-120
Settling Conjectures....Pages 121-140
Assessing Concepts....Pages 141-163
Assessing Conjectures....Pages 165-179
An Evaluation of HR’s Theories....Pages 181-223
The Application of HR to Discovery Tasks....Pages 225-245
Related Work....Pages 247-279
Further Work....Pages 281-293
Conclusions....Pages 295-301
Back Matter....Pages 303-380




نظرات کاربران