গেমসের জন্য পরাবাস্তব সংখ্যার প্রয়োগ


11

পরাবাস্তব সংখ্যাগুলির কনওয়ের দ্বারা খুব সুন্দর নির্মাণ রয়েছে। এগুলি হ'ল "সংখ্যা" যা আসল সংখ্যা এবং অর্ডিনাল উভয়ই ধারণ করে, সম্পূর্ণ অর্ডার করা হয় এবং ক্ষেত্রের সমস্ত সম্পত্তি থাকে (সেগুলি সেট ব্যতীত একটি শ্রেণি তৈরি করে না)।

উদাহরণস্বরূপ একটি সূচনা জন্য এই পিডিএফ বা উইকিপিডিয়া দেখুন ।

এগুলি তথাকথিত "গেমস" এ আরও সাধারণীকরণ করা যেতে পারে, যা প্রাথমিকভাবে সংযুক্ত গেমগুলি অধ্যয়নের জন্য প্রবর্তিত হয়েছিল। কনওয়ের মূল অনুপ্রেরণা ছিল গো গেমটি বিশ্লেষণ করা , বিশেষত এন্ডগেমটি "পরাবাস্তব খেলাগুলি" দিয়ে মডেলিংয়ের জন্য বিশেষভাবে উপযুক্ত।

আমার প্রশ্ন হ'ল: আপনি কি জানেন যে কোনও গেমের স্তর উন্নত করার জন্য কোনও এআই (অর্থাত্ কম্পিউটার প্লেয়ার) এই পদ্ধতির প্রয়োগ করেছে কিনা? আমি গো এর ক্ষেত্রে বিশেষত আগ্রহী, তবে অন্যরাও। যদি তা না হয়, তবে কোনও বাধা আছে বা কারণ এটি একটি ভাল ধারণা হবে না?


1
"ম্যাথমেটিকাল গো" বই অনুসারে, মনে হয় বইটিতে শেষের সমস্যাগুলি সমাধান করার জন্য রেমন্ড চেনের একটি সহযোগী প্রোগ্রাম ছিল, তবে এটি কোথায় পাওয়া যাবে তা আমি জানি না। আমার কাছে বার্লেক্যাম্পের রেফারেন্সিং "গো এক্সপ্লোরার" এর একটি অস্পষ্ট স্মৃতি রয়েছে, যা কাগজে "স্মার্ট গেম বোর্ড এবং এক্সপ্লোরার যেতে হবে: সফ্টওয়্যার এবং জ্ঞান ইঞ্জিনিয়ারিংয়ের একটি গবেষণা" উল্লেখ করা যেতে পারে। যদিও আমি মনে করি না এই মুহুর্তে কম্বিনেটেরিয়াল গেমের তত্ত্বটি শীর্ষ গো প্লে প্রোগ্রামগুলিতে সত্যই ব্যবহৃত হয়েছে।
মার্ক এস।

3
ডেভিড ওল্ফের (ম্যাথমেটিকাল গো-এর সহ-লেখক) মতে যদি আমি সঠিকভাবে স্মরণ করি (সম্ভবত এটি আগের মতো ছিল না), শীর্ষস্থানীয় পেশাদার খেলোয়াড়েরা যতটা না খেলতে অপরিচ্ছন্নভাবে খেলতে ঝুঁকতে পারে সেখানে গ-গেমের পজিশনগুলি গ্রহণ করতে পারে If বিন্দু হিসাবে, যেখানে কনওয়ে / বার্লেক্যাম্প / ওল্ফের গেম-থিওরি পদ্ধতির সাহায্যে অপেক্ষাকৃত সহজেই সর্বোত্তমটি গণনা করা যায়। যাইহোক, এই ধরনের অবস্থানগুলি স্বীকৃত। বাস্তব খেলায় উত্থিত গেমগুলিতে এই ঘটনাটি বিরল।
নিল ইয়ং

উত্তর:


8

কনওও গেমসের তত্ত্বটি গেম-প্লেিং প্রোগ্রামগুলি তৈরিতে ব্যবহৃত হয়েছে কিনা সে সম্পর্কে আপনার প্রশ্নের উত্তর আমার কাছে নেই, তবে তবুও আপনি সম্মিলিত গেম স্যুটে আগ্রহী হতে পারেন , "মিশ্রণে গবেষণায় সহায়তা করার জন্য একটি মুক্ত উত্স প্রোগ্রাম" গেম তত্ত্ব "(যা আমি এখানে প্রথম শিখেছি )। এটি ক্যানওনিকাল আকারে কনওয়ে গেমগুলির বিভিন্ন মানক ক্রিয়াকলাপের পাশাপাশি নতুন গেমগুলি বর্ণনা করার জন্য একটি স্ক্রিপ্টিং ভাষার অন্তর্ভুক্ত করে।


3

কিছু অনুসন্ধানের ক্ষেত্রে অতিক্রান্ত সংখ্যার বেশি প্রকাশিত সাধারণ প্রয়োগ বলে মনে হয় না। কোক মধ্যে পরাবাস্তব সংখ্যার একটি বাস্তবায়ন heres

  • মোরগ মধ্যে পরাবাস্তব সংখ্যা প্রমাণের প্রোগ্রামের জন্য প্রকারভেদ চালু / Mamane, 2004 আন্তর্জাতিক সম্মেলনের TYPES'04 প্রসিডিংস

    আসল নাম্বারগুলি পুরোপুরি অর্ডার করা (চলমান) ক্ষেত্র গঠন করে, যেখানে রিয়েলস এবং (সমস্ত) অধ্যাদেশগুলির অনুলিপি থাকে। আমি কাক মধ্যে পরাবাস্তব সংখ্যাগুলির রিং কাঠামোর বেশিরভাগ এনকোড করেছি। এই এনকোডিংটি টাইপ থিওরিতে সেট তত্ত্বের একজেলের এনকোডিংয়ের উপর নির্ভর করে।

    এই কাগজটি বিশেষত সংজ্ঞা বা প্রমাণকারী পয়েন্টগুলিতে আলোচনা করেছে যেখানে আমাকে কনওয়ের বা সবচেয়ে প্রাকৃতিক উপায়ে বিবর্তন করতে হয়েছিল, যেমন যুগপত ইন্ডাকশন-পুনরাবৃত্তি দুটি প্রবর্তনকে পৃথক করা, আদেশের সংজ্ঞাটিকে "সর্বাধিক" এর পারস্পরিক প্ররোচিত সংজ্ঞাতে রূপান্তরিত করা। এবং "কমপক্ষে" এবং কোকের ধরণের তত্ত্বের পরিবর্তে জটিল ইন্ডাকশন / পুনরাবৃত্তি স্কিমগুলি ফিট করা।

ক্যানওয়ে , বার্লেক্যাম্প এবং গাইয়ের দ্বারা জনপ্রিয় হ্যাকেনবুশ (ডেভিস) নামে একটি গেমের জন্য পরাবাস্তবিত পাটিগণিতের কিছু অংশ বাস্তবায়ন রয়েছে যার কয়েকটি উল্লেখ রয়েছে।

গো প্রকৃতপক্ষে গেমের এআই গবেষণার একটি শীর্ষস্থানীয় অঞ্চল ( দাবাড়ির তুলনায় এটি বেশ শক্তিশালী বলে বিবেচিত হয়েছে যা কয়েক দশক ধরে এআই দখল করেছে) তবে এটি প্রদর্শিত হয় যে এটির মডেল / খেলতে পরাবাস্তব সংখ্যা ব্যবহার করার ক্ষেত্রে বিশেষভাবে গবেষণা কম রয়েছে। গো মেশিন লার্নিং / এআই অ্যালগরিদমগুলির সীমানা হিসাবে বিবেচনা করা হয় কারণ সেরা সফ্টওয়্যার ভিত্তিক অ্যালগরিদম ("এখনও / বর্তমানে") চ্যাম্পিয়ন মানব খেলোয়াড়দের ছাড়িয়ে না পারায় এটির তুলনামূলক অনন্য অবস্থান / পার্থক্য রয়েছে।

বর্তমান রে-এআই কৌশলগুলি / গবেষকরা / শীর্ষস্থানগুলির একটি সুনির্দিষ্ট রুক্ষ জরিপের জন্য কম্পিউটারটি এখনও জ্যান করতে পারে না এমন প্রাচীন গেমটি অফ দ্য মিস্ট্রি অফ গো দেখুন ref


আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.