کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
376792 | 658314 | 2016 | 22 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited
ترجمه فارسی عنوان
احتمال خودکار I: اکتشافی دالماسی Fajtlowicz بازبینی شده
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
احتمال خودکار؛ گمانه زنی اتوماتیک؛ کشف ریاضی؛ کشف علمی خودکار؛ اکتشافی دالماسی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
We discuss a new implementation of, and new experiments with, Fajtlowicz's Dalmatian conjecture-making heuristic. Our program makes conjectures about relations of real number invariants of mathematical objects. Conjectures in matrix theory, number theory, and graph theory are reported, together with an experiment in using conjectures to automate game play. The program can be used in a way that, by design, advances mathematical research. These experiments suggest that automated conjecture-making can be a useful ability in the design of machines that can perform a variety of tasks that require intelligence.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Artificial Intelligence - Volume 231, February 2016, Pages 17–38
Journal: Artificial Intelligence - Volume 231, February 2016, Pages 17–38
نویسندگان
C.E. Larson, N. Van Cleemput,