دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Simon Colton BSc, MSc, PhD (auth.) سری: Distinguished Dissertations ISBN (شابک) : 9781447111139, 9781447101475 ناشر: Springer-Verlag London سال نشر: 2002 تعداد صفحات: 383 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 23 مگابایت
کلمات کلیدی مربوط به کتاب تشکیل نظریه خودکار در ریاضیات محض: هوش مصنوعی (شامل رباتیک)، کاربردهای ریاضی در علوم کامپیوتر
در صورت تبدیل فایل کتاب 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