উচ্চ-অর্ডার প্রোগ্রামগুলির জন্য প্রোগ্রাম ইনভার্ভেশন অ্যালগরিদম

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

প্রোগ্রাম বিপর্যয় কি? প্রথম অনুমানের মধ্যে এটি এর মতো কিছু: একটি প্রোগ্রাম দেওয়া টাইপ যুক্তি গ্রহণ করে এবং টাইপের ফলাফলগুলি প্রত্যাখ্যান করে একটি প্রোগ্রাম করে যা "কোনওভাবে" এর বিপরীত । আমি এখানে ইচ্ছাকৃতভাবে অস্পষ্ট করছি, যেহেতু ধারণাটি বিভিন্নভাবে ব্যাখ্যা করা যেতে পারে (এবং তা): উদাহরণস্বরূপ কি ইঞ্জেকশন লাগানো দরকার? উচিত সকল বা আসতে মাত্র কিছু যেমন যে $P : A \rightarrow B$ $A$ $B$ $P^{-1}$ $P$ $P$ $P^{-1}(b)$ $a$ $P(a) = b$ ?

কোনও প্রোগ্রামকে উল্টানোর সাধারণ উপায় রয়েছে, যেমন ম্যাকার্থারির দ্বারা ইতিমধ্যে চিহ্নিত করা হয়েছে তির্যক ব্যবহার বা আংশিক মূল্যায়ন ব্যবহার করা, তবে সেগুলি দক্ষ হতে পারে না to এছাড়াও প্রোগ্রাম বিপরীতে বেশিরভাগ কাজ আমি পরিচিত যার সাথে পুরো উচ্চ-অর্ডার প্রোগ্রামিং ভাষা (যেমন -ক্যালকুলি) নিয়ে কাজ করা মনে হয় না। $\lambda$

রেফারেন্স অনুরোধ। স্পষ্ট আলগোরিদিম প্রোগ্রাম বিপর্যয় জন্য রাষ্ট্রীয় অত্যাধুনিক কি -calculi (উচ্চ orderness কোন সীমাবদ্ধতা)? $\lambda$

— মার্টিন বার্গার
সূত্র

এই স্থানটিতে বিশাল পরিমাণ কাজ হয়নি, তবে সেখানে কী কাজ রয়েছে তা বেশ আকর্ষণীয়।

এই সমস্যা নিয়ে কাজ করেছেন টরবেন মোগেনসেন। এখানে তার দুটি কাগজপত্র আছে।

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

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

এটি সত্যিই ঝরঝরে কাগজ! এটি পর্যবেক্ষণ করে যে (ক) আপনি এমন একটি বিভাগ তৈরি করতে পারেন যেখানে মোর্ফিজগুলি তাদের বিপরীতার সাথে সংযুক্ত করা হয় (আপনি যে বিপরীতটি ব্যবহার করছেন তার বিশেষ ধারণার জন্য) এবং (খ) এই বিভাগটি খননকারী কমপ্যাক্ট কাঠামো ধারণ করে। এর অর্থ আপনি সামান্য মজাদার রৈখিক ধরণের শৃঙ্খলা নিয়ে একটি প্রোগ্রাম লিখতে পারেন এবং তারপরে শব্দার্থবিজ্ঞান থেকে আগাম এবং পিছনের দিকের ব্যাখ্যাগুলি পড়তে পারেন।

তারা মোটামুটি বন্য সিনট্যাক্স সহ একটি কার্যকরী ভাষা দেয়: নিকট-স্বেচ্ছাচারী এক্সপ্রেশনগুলি নিদর্শন হিসাবে ব্যবহার করা যেতে পারে, এবং বিপরীকরণযোগ্যতা এটিকে সংবেদনশীল করে তোলে।
- জেনারালাইজড রিভার্সিবল ফাংশনাল প্রোগ্রামিংয়ের জন্য একটি অ্যাপ্রোচ
ফ্রান্সেসকো টাইজিয়া, নোবুওকো যোশিদা

আমি এটি পড়িনি, তবে অন্যান্য কাগজপত্রগুলির জন্য গুগলিং করার সময় কেবল এটি সন্ধান করেছি। লেখক এবং বিষয় প্রদত্ত, আমি সন্দেহ করি এটি ঠিক আপনার গলি পর্যন্ত!
- বিপরীতমুখী সেশন-ভিত্তিক পাই-ক্যালকুলাস

— নীল কৃষ্ণস্বামী
সূত্র

ধন্যবাদ। (২, ৩, ৪) প্রোগ্রামটি বিপরীতকরণ করবেন না, তবে প্রোগ্রামিং ভাষাগুলি ডিজাইন করুন যেখানে প্রোগ্রামগুলি সংজ্ঞা অনুসারে বিপরীত / বিপরীতমুখী। এটি নিবিড়ভাবে সম্পর্কিত তবে ভিন্ন সমস্যা। আসলে এই সমস্যাগুলি কীভাবে সম্পর্কিত তা সম্পর্কে আমি সম্পূর্ণ পরিষ্কার নই। আমি এর আগে আধা-বিপর্যয় দেখিনি, সম্ভবত এটি ইতিমধ্যে সমস্যার সমাধান করায় যেহেতু বিপর্যয়টি আধা-বিপর্যয়ের একটি প্রান্ত হিসাবে দেখা যাচ্ছে? বিটিডব্লিউ মোগেনসেনের দ্বিতীয় পত্রটি কেবল ২ য়-অর্ডার পর্যন্ত যায়।

— মার্টিন বার্গার

@ মার্টিনবার্গার: আমি অনুমান করি যে সম্পর্কটি আপনি কীসের জন্য প্রোগ্রাম ইনভার্শনটি ব্যবহার করতে চান তার উপর নির্ভর করে! আমি সমস্যার প্রতি আগ্রহী হয়েছি কারণ আমি টাইপ ইনফেরেন্সের দিকে তাকিয়ে ছিলাম (যদি আপনার টাইপ-লেভেল ফাংশন থাকে তবে কোয়ান্টিফায়ার ইনস্ট্যান্টেশনগুলি সনাক্ত করতে এই ফাংশনগুলি উল্টাতে সক্ষম হওয়া কার্যকর) এবং তাই ভাষা সীমাবদ্ধকরণ কোনও শোস্টোপার ছিল না for আমাকে. আপনি কি করতে চেষ্টা করছেন?

— নীল কৃষ্ণস্বামী

এখনই আমি সাধারণ, বিমূর্ত সমস্যার প্রতি আগ্রহী। প্রোগ্রামের বিপরীতে আমার আগ্রহ প্রোগ্রামের যাচাইকরণ থেকে আসে। এবং আমি এমন কোথাও খুঁজে পাইনি যা কেবল ল্যাম্বডা শব্দটি নেয় (পিসিএফ বলুন বা এসটিএলসি থেকে) এবং এটিকে উল্টে দেয়। আমি ঠিক জায়গায় খুঁজছি না কারণ এটি?

— মার্টিন বার্গার