এটি Belief Reviser নামের লিনাক্স অ্যাপ যার সর্বশেষ রিলিজটি BeliefReviser.zip নামে ডাউনলোড করা যেতে পারে। এটি ওয়ার্কস্টেশনের জন্য বিনামূল্যের হোস্টিং প্রদানকারী OnWorks-এ অনলাইনে চালানো যেতে পারে।
বিনামূল্যের OnWorks-এর সাথে Belief Reviser নামের এই অ্যাপটি অনলাইনে ডাউনলোড করুন এবং চালান।
এই অ্যাপটি চালানোর জন্য এই নির্দেশাবলী অনুসরণ করুন:
- 1. আপনার পিসিতে এই অ্যাপ্লিকেশনটি ডাউনলোড করুন৷
- 2. আমাদের ফাইল ম্যানেজারে প্রবেশ করুন https://www.onworks.net/myfiles.php?username=XXXXX আপনি যে ইউজারনেম চান।
- 3. এই ধরনের ফাইল ম্যানেজারে এই অ্যাপ্লিকেশনটি আপলোড করুন।
- 4. এই ওয়েবসাইট থেকে OnWorks Linux অনলাইন বা Windows অনলাইন এমুলেটর বা MACOS অনলাইন এমুলেটর শুরু করুন।
- 5. OnWorks Linux OS থেকে আপনি এইমাত্র শুরু করেছেন, আমাদের ফাইল ম্যানেজারে যান https://www.onworks.net/myfiles.php?username=XXXXX আপনার পছন্দের ব্যবহারকারীর নাম সহ।
- 6. অ্যাপ্লিকেশনটি ডাউনলোড করুন, এটি ইনস্টল করুন এবং এটি চালান।
স্ক্রীনশটগুলি
Ad
বিশ্বাস সংশোধক
বর্ণনাঃ
জ্ঞানের উপস্থাপনা এবং যুক্তিতে বিশ্বাসের সংশোধন একটি কেন্দ্রীয় বিষয়। এটি একটি নতুন বিশ্বাসকে অন্তর্ভুক্ত করে, যত কম হিসাবে পরিবর্তন হয়
সামঞ্জস্য রক্ষা করার সময় মূল বিশ্বাসের সম্ভব।
পুনর্বিবেচনা সর্বদা নতুন প্রমাণকে একটি ভাল বিশ্বাস হিসাবে বিবেচনা করে। এই ধরনের নতুন প্রমাণ সাধারণত
একটি প্রস্তাবনামূলক সূত্র আকারে উপস্থাপিত যা এর পরে সংরক্ষণ করা আবশ্যক
পুনর্বিবেচনা
এখানে, Δps (PS-Merge) বিশ্বাস মার্জিং অপারেটরকে সীমাবদ্ধতা বিবেচনা করার জন্য প্রসারিত করা হয়েছে, এবং এই এক্সটেনশনটি বিশ্বাস সংশোধনের কৌশল হিসাবে ব্যবহৃত হয়। নতুন প্রমাণ একটি সীমাবদ্ধতা হিসাবে বিবেচিত হয় যাতে বর্ধিত মার্জিং অপারেটর সংশোধিত বিশ্বাসের ভিত্তি পেতে পারে।
বৈশিষ্ট্য
- নতুন প্রমাণের বিপরীতে একটি বিশ্বাসের ভিত্তি K এর সংশোধন μ
- DNF সূত্রের স্বয়ংক্রিয় রূপান্তর
- সহজ এবং ব্যবহারকারী বান্ধব
- স্বাধীন প্ল্যাটফর্ম
পাঠকবর্গ
বিজ্ঞান/গবেষণা, শিক্ষা
ব্যবহারকারী ইন্টারফেস
জাভা সুইং
প্রোগ্রামিং ভাষা
জাভা
বিভাগ
এটি একটি অ্যাপ্লিকেশন যা https://sourceforge.net/projects/beliefreviser/ থেকেও আনা যেতে পারে। আমাদের বিনামূল্যের অপারেটিভ সিস্টেমগুলির মধ্যে একটি থেকে সবচেয়ে সহজ উপায়ে অনলাইনে চালানোর জন্য এটি OnWorks-এ হোস্ট করা হয়েছে।