উত্তর:
অন্যান্য সংস্থানগুলি কৌস্তুব চৌধুরীর থিসিস " লিনিয়ার লজিকের জন্য ফোকাসড ইনভার্স মেথড " তে পাওয়া যেতে পারে এবং আপনি রায় ডাইকফের " সংকোচনের মুক্ত ধারাবাহিক ক্যালকুলি " -তে আগ্রহী হতে পারেন , যা লিনিয়ার যুক্তি সম্পর্কে নয়।
রৈখিক যুক্তিতে দক্ষ প্রুফ অনুসন্ধানের সুযোগ রয়েছে তবে আমি মনে করি না যে বর্তমান কাজটি ইঙ্গিত দেয় যে অ-কাঠামোগত যুক্তিতে প্রমাণ অনুসন্ধানের চেয়ে এটি আরও সহজ। সমস্যা যে আপনি যদি প্রমাণ করতে চান রৈখিক যুক্তিবিজ্ঞান, আপনি একটি অতিরিক্ত প্রশ্ন আপনি স্বাভাবিক প্রমাণ অনুসন্ধান আছে মেলে না: হয় প্রমাণ করার জন্য ব্যবহৃত বা প্রমাণ করার জন্য ব্যবহৃত ? অনুশীলনে, লিনিয়ার যুক্তিতে প্রমাণ অনুসন্ধান সম্পাদনে এই "রিসোর্স ননডেটেরিনিজম" একটি বড় সমস্যা।
মন্তব্যগুলি অনুসারে, লিংকন এট আল-এর 1990 " প্রপোজিশনাল লিনিয়ার লজিকের জন্য সিদ্ধান্তের সমস্যাগুলি " যদি আপনি "সহজ" এর মতো শব্দগুলির বিষয়ে প্রযুক্তিগত পেতে চান তবে এটি একটি ভাল রেফারেন্স।
না, এটি কেবল আরও শক্ত।
শাস্ত্রীয় প্রস্তাবমূলক যুক্তির চেয়ে যেমন অন্তর্দৃষ্টিবাদী প্রস্তাবমূলক যুক্তির সিদ্ধান্তের সমস্যা শক্ত, তেমনি লিনিয়ার প্রপোজিশনাল লজিক আরও শক্ত। উভয় ক্ষতিকারক (যার মধ্যে সংকোচনের অভাব নেই) বা ননকমিউটিভেটিভ সংযোগকারী বিভিন্ন স্বাদের সাথে যুক্তি অনস্বীকার্য হয়ে যায় এবং এমনকি দুর্বল ধ্রুপদী ক্লাসিকাল মল পিএসপিএসিই সম্পূর্ণ। বিপরীতে, শাস্ত্রীয় প্রস্তাবমূলক যুক্তির জন্য সিদ্ধান্তের সমস্যাটি সহ-এনপি সম্পূর্ণ, এবং অন্তর্দৃষ্টিবাদী প্রস্তাবমূলক যুক্তির জন্য, পিএসপিএসিই সম্পূর্ণ। (অফহ্যান্ড, আমি স্বজ্ঞাত মলের জটিলতা জানি না))
আমি প্যাট লিংকনকে তার লিনিয়ার যুক্তি , সিগেট নিউজ 1992 এর 6। ধারায় প্রকাশের পরামর্শ দিই। তার পর থেকে আমরা আরও কিছুটা শিখেছি, অর্থাৎ, লিনিয়ার লজিকসের একটি বৃহত পরিবারের জন্য আমাদের ফলাফল রয়েছে, তবে মূল চিত্রটি সেখানে রয়েছে।
একটি নির্দিষ্ট উপায়ে, এটিই লিনিয়ার লজিকের জন্য প্রমাণ অনুসন্ধানকে আকর্ষণীয় করে তোলে, কারণ সিদ্ধান্ত সমস্যার কঠোরতা গণনার আরও আকর্ষণীয় ধারণাগুলির পক্ষে স্থান করে তোলে এবং লিনিয়ার যুক্তি বিভিন্ন উপায়ে শক্ত। আন্দ্রেজ ডেল মিলারের লিনিয়ার লজিক প্রোগ্রামিংয়ের একটি ওভারভিউয়ের দিকে ইঙ্গিত করেছিলেন ; দেখার জন্য এটি একটি ভাল জায়গা যেহেতু মিলার প্রমাণ অনুসন্ধানের ধারণাটি অন্য কারও হিসাবে গণনা হিসাবে বিকাশের জন্য আরও বেশি কাজ করেছেন ।
অনুমান করা যায় যে প্রবিলিটি সমস্যাটির জটিলতা আপনাকে সন্তুষ্ট করবে, সংকোচনের সাথে এবং ছাড়াই কাঠামোগত লজিকগুলির জটিলতার আড়াআড়ি কিছুটা জটিল। আমি এখানে প্রোজেওশনাল লিনিয়ার লজিক এবং প্রোপজিশনাল লজিকের জন্য যা পরিচিত তা জরিপ করার চেষ্টা করব। সংক্ষিপ্ত উত্তরটি হ'ল সংকোচন কখনও কখনও সহায়তা করে (যেমন এলএলসি নির্ধারণযোগ্য, যখন এলএল নয়) এবং কখনও কখনও হয় না (যেমন মল পিএসপিএসি সম্পূর্ণ - এমএলএলসি ACKERMANN- সম্পূর্ণ)।
লিনিয়ার লজিক প্রোগ্রামিং সম্পর্কে সম্ভবত ডেল মিলারের সংক্ষিপ্ত বিবরণটি একটি ভাল স্ট্রেটিং পয়েন্ট?