খোলা বা ইন্টারেক্টিভ সীমাবদ্ধতা সন্তুষ্টি

Question

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

সুতরাং, আমি সীমাবদ্ধতা সন্তুষ্টির বিষয়ে আরও জানতে আগ্রহী যেখানে সীমাবদ্ধতাগুলিকে আমি বাহ্যিক পরিবর্তনশীল , ভবিষ্যদ্বাণী এবং ফাংশন বলব , অর্থাৎ সীমাবদ্ধ ভাষার মতো ভবিষ্যদ্বাণী থাকতে পারে যা কেবলমাত্র কিছু পরামর্শের দ্বারা সন্তুষ্ট হতে পারে দ্রাবকের বাহ্যিক এজেন্ট এবং তারপরে কেবল এক্স স্থল থাকে। একটি দৃশ্য যেখানে এটি কার্যকর হয় তা যখনই পি কোনও বাহ্যিক সিদ্ধান্ত প্রক্রিয়ার সাথে মিলে যায় যা সীমাবদ্ধ সলভারের সাথে অন্তর্ভুক্ত করা যায় না। এই ধরনের সীমাবদ্ধ সমাধানকারীদের ওপেন বলা যেতে পারে (যেহেতু সীমাবদ্ধতা পুরোপুরি জানা যায় না) বা ইন্টারেক্টিভ$\mathbf{P}(x)$$x$$\mathbf{P}$ (সীমাবদ্ধ সন্তুষ্টির সাথে ইন্টারঅ্যাকশনটি এগিয়ে যাওয়ার প্রয়োজন হিসাবে)।

আমি উভয়ই জানতে চাই:

• এই দিক দিয়ে করা তাত্ত্বিক গবেষণা
• সীমাবদ্ধতা সমাধানকারী প্রক্রিয়া চলাকালীন বাহ্যিক বিশ্বের সাথে মিথস্ক্রিয়াকে অনুমতি দেয় এমন সীমাবদ্ধ সমাধানকারীদের প্রয়োগ করে এমন সরঞ্জাম বা লাইব্রেরিগুলি।

Answer 1

আমি উন্মুক্ত এবং ইন্টারেক্টিভ সীমাবদ্ধতার উপর আগের কাজ দ্বারা সম্পূর্ণরূপে বিশ্বাসী নই।

ট্র্যাকটেবিলিটি প্রশ্নগুলি অধ্যয়ন করার একটি প্রচেষ্টা ছিল:

• মার্টিন জে গ্রিন এবং ক্রিস্টোফার জেফারসন, প্রচারিত সীমাবদ্ধতার স্ট্রাকচারাল ট্র্যাকটেবিলিটি , সিপি ২০০.. ডুই : 10.1007 / 978-3-540-85958-1_25

যদিও এই কাগজটি বেশ কয়েকটি বড় প্রশ্ন উত্তরহীন রেখে দেয়। এই কাগজে প্রচারকারীদের মাধ্যমে পদ্ধতির বিদ্যমান সীমাবদ্ধ সমাধানকারী বাস্তবায়নের সাথে নিবিড়ভাবে সম্পর্কিত।

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

Comments

কাগজটি অবশ্যই আকর্ষণীয় দেখায়। আমি কখনই এসএমটি সলভারদের যা প্রয়োজন তা করাকে ভেবে দেখিনি। এটি অবশ্যই অন্বেষণ করার একটি উপায়

— ডেভ ক্লার্ক

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

— বিজয় ডি

@ বিজয় ডি: আপনি ঠিক বলেছেন, এই বাক্যটি অযৌক্তিকভাবে পক্ষপাতদুষ্ট এবং আমি এটি সংশোধন করব। এসএমটি তত্ত্ব হিসাবে ইনজেক্টিভের একটি কার্যকর বাস্তবায়ন ২০১০ সালে ব্যাংকভিয়ে এবং মারি ( argo.matf.bg.ac.rs/publications/2010/alldiff-smt2010.pdf ) দ্বারা প্রকাশিত হয়েছিল ।

— অ্যান্ড্রেস সালামন

Answer 2

আপনার প্রশ্নটি পড়ে, আমি এটিতেও একমত যে সন্তুষ্টিযোগ্যতা মডুলো তত্ত্বগুলি আপনার প্রয়োজনের সাথে ঘনিষ্ঠভাবে সম্পর্কিত। আমি সিদ্ধান্ত গ্রহণ পদ্ধতি - অ্যালগোরিদমিক পয়েন্ট অফ ভিউ বইটি পড়ার পরামর্শ দেব ।

Comments

অ্যালারন আর ব্র্যাডলি এবং জোহর মান্নার দ্য ক্যালকুলাস অফ কম্পিউটেশন: ডিসিশন প্রসিচারস উইথ অ্যাপ্লিকেশন টু ভেরিফিকেশন বইটি কতটা সম্পর্কিত / সার্থক? হাঁটার দূরত্বে এর অনুলিপিটি কোথায় আছে তা আমি জানি।

— ডেভ ক্লার্ক

@ ডেভ: অস্বীকৃতি: এসএমটি সম্পর্কে আমার ব্যক্তিগত অভিজ্ঞতা ঠিক প্রথম দিকে ;-) আমি কেবলমাত্র সেই বইয়ের বিষয়বস্তুর সারণীতে দেখেছি; এর মধ্যে এবং আমি যে ইঙ্গিত করেছি তার মধ্যে একটি বড় ছেদ রয়েছে বলে মনে হচ্ছে। পরেরটিতে , আপনি এখানে যে বাহ্যিক ফাংশন বলছেন সেখানে অনির্বাচিত ফাংশন বলা হয় এবং এটি ব্যাপকভাবে কভার করা হয়। অ্যাপ্লিকেশন যাচাইকরণের সাথে টস অফ ডিসিশন প্রসিডিউজে অনাদৃত ফাংশনগুলি খুঁজে পেতে আমি অক্ষম ছিলাম ; তবে এটি খুব ভাল বই বলে মনে হচ্ছে এবং এটি কার্যকর হতে পারে।

— জর্জিও ক্যামেরানি

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

— জর্জিও ক্যামেরানী

আমি মনে করি আমাজন ফোন করছে।

— ডেভ ক্লার্ক

@ ডেভ: ঠিক আছে, দুর্দান্ত! ;-)

— জর্জিও ক্যামেরানি

Answer 3

সিএসপিগুলির জন্য যেখানে আপনি বাহ্যিক বিশ্বের সাথে যোগাযোগ করেন সেখানে অবাক হওয়ার মতো কিছু নেই, ওপেন সিএসপি, http://dx.doi.org/10.1016/j.artint.2004.10.005 এ সংজ্ঞায়িত হয়েছে । সংক্ষিপ্তসারটি হ'ল আপনি এর সন্তোষজনক / মিথ্যা টিপলগুলি জানেন না$\mathbf P(x)$, তবে কোনও নেটওয়ার্ক অনুসন্ধান করে এগুলি ক্রমবর্ধমানভাবে আবিষ্কার করুন। আমার মতে, এই কাগজটি অ-সুস্পষ্ট কিছু করে না, তবে এটি একটি শুরু।

Answer 4

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

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

Answer 5

সরঞ্জামগুলি সম্পর্কে কী, যদি আপনি আপনার পছন্দমতো ভাষা হিসাবে সিদ্ধান্ত নেন তবে আমি কয়েকটি বাস্তবায়ন পদ্ধতির পরামর্শ দিতে পারি:

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

প্রোলোগ হ'ল প্রোগ্রামিং ল্যাঙ্গুয়েজ, এটি বিভিন্ন ধরণের সলভার করার জন্য উপযুক্ত (এবং তাদের বেশিরভাগের সীমাবদ্ধ ডোমেন সলভার রয়েছে)।