Rule Interchange Format
রুল ইন্টারচেঞ্জ ফরম্যাট (আরআইএফ) একটি ডব্লিউ3সি সুপারিশ। (প্রধানত) এস. পি. এ. আর. কিউ. এল, আর. ডি. এফ এবং ও. ডব্লিউ. এল সহ আর. আই. এফ শব্দার্থিক ওয়েবের পরিকাঠামোর অংশ। যদিও অনেকে মূলত শব্দার্থিক ওয়েবের জন্য একটি "নিয়ম স্তর" হিসাবে কল্পনা করেছিলেন, বাস্তবে আর. আই. এফ-এর নকশাটি এই পর্যবেক্ষণের উপর ভিত্তি করে যে অনেকগুলি "নিয়মের ভাষা" বিদ্যমান এবং তাদের মধ্যে নিয়ম বিনিময় করা প্রয়োজন। আরআইএফ-এ তিনটি উপভাষা রয়েছে, একটি মূল উপভাষা যা একটি মৌলিক যুক্তিসঙ্গত উপভাষা (বিএলডি) এবং উৎপাদন নিয়ম উপভাষায় (পিআরডি) প্রসারিত। আরআইএফ ওয়ার্কিং গ্রুপ 2005 সালের শেষের দিকে চার্টার্ড হয়েছিল। এর লক্ষ্যগুলির মধ্যে ছিল বাণিজ্যিক নিয়ম বাজারের সদস্যদের আকৃষ্ট করা। ওয়ার্কিং গ্রুপটি 50 জনেরও বেশি সদস্য এবং শিল্প থেকে নেওয়া দুটি চেয়ার, আইএলওজি-র ক্রিশ্চিয়ান ডি সেন্ট মেরি এবং আইবিএম-এর ক্রিস ওয়েল্টি নিয়ে শুরু হয়েছিল। বিদ্যমান নিয়ম ব্যবস্থার মধ্যে একটি বিনিময় বিন্যাস বিকাশের জন্য সনদটি 2005 সালের বসন্তে একটি কর্মশালার দ্বারা প্রভাবিত হয়েছিল যেখানে এটি স্পষ্ট ছিল যে একটি নিয়ম ভাষা সমস্ত আগ্রহী পক্ষের চাহিদা পূরণ করবে না (ডাঃ ওয়েল্টি কর্মশালার ফলাফলকে ন্যাশ ইকুইলিব্রিয়াম হিসাবে বর্ণনা করেছেন)। আর. আই. এফ 22শে জুন, 2010-এ একটি ডব্লিউ3সি সুপারিশ হয়ে ওঠে। নিয়ম এবং নিয়ম ব্যবস্থা একটি নিয়ম সম্ভবত কম্পিউটার বিজ্ঞানের সহজতম ধারণাগুলির মধ্যে একটিঃ এটি একটি আইএফ-থেন গঠন। যদি কিছু শর্ত (আইএফ অংশ) থাকে যা কোনও ডেটাসেটে পরীক্ষা করা যায়, তবে উপসংহারটি (তৃতীয় অংশ) প্রক্রিয়া করা হয়। যুক্তিতে এর শিকড় থেকে কিছুটা উদ্ভূত, নিয়ম ব্যবস্থা এমন একটি অনুমান ব্যবহার করে যা কিছু তথ্য বস্তু বা বস্তুর ধারণ করে বা না। উদাহরণস্বরূপ, দু 'জন ব্যক্তি বিবাহিত হওয়ার বিষয়টি ভবিষ্যদ্বাণী সহ উপস্থাপন করা যেতে পারেঃ বিবাহ (লিসা, জন) বিবাহ একটি ভবিষ্যদ্বাণী যা লিসা এবং জনের মধ্যে রয়েছে বলে বলা যেতে পারে। চলকের ধারণা যোগ করলে, একটি নিয়ম এমন কিছু হতে পারেঃ যদি বিয়ে হয় (? x,? y) তারপর ভালবাসে (? x,? y) আমরা আশা করব যে x এবং? y এর প্রতিটি জুটির জন্য (যেমন। লিসা এবং জন) যার জন্য ম্যারিড প্রেডিকেট ধারণ করে, কিছু কম্পিউটার সিস্টেম যারা এই নিয়মটি বুঝতে পারে তারা এই সিদ্ধান্তে পৌঁছায় যে লাভস প্রেডিকেট সেই জুটির জন্যও প্রযোজ্য। নিয়মগুলি এনকোডিং জ্ঞানের একটি সহজ উপায়, এবং প্রথম ক্রম যুক্তির একটি কঠোর সরলীকরণ, যার জন্য শর্তগুলি প্রক্রিয়া করতে এবং সঠিক সিদ্ধান্ত নিতে পারে এমন অনুমান ইঞ্জিনগুলি বাস্তবায়ন করা তুলনামূলকভাবে সহজ। একটি নিয়ম ব্যবস্থা হল একটি নির্দিষ্ট বাক্য গঠন এবং নিয়মের শব্দার্থবিজ্ঞানের বাস্তবায়ন, যা উপরে বর্ণিত সহজ ধারণাকে অস্তিত্বগত পরিমাণ, বিচ্ছিন্নতা, যৌক্তিক সংযোগ, নেতিবাচকতা, ফাংশন, অ-একঘেয়েমি এবং অন্যান্য অনেক বৈশিষ্ট্য অন্তর্ভুক্ত করতে প্রসারিত করতে পারে। 1970-এর দশকের মাঝামাঝি থেকে নিয়ম ব্যবস্থা বাস্তবায়িত ও অধ্যয়ন করা হয়েছে এবং তথাকথিত বিশেষজ্ঞ ব্যবস্থার উচ্চতায় 1980-এর দশকে উল্লেখযোগ্য উত্থান দেখা গেছে। স্ট্যান্ডার্ড আরআইএফ উপভাষা স্ট্যান্ডার্ড আরআইএফ উপভাষাগুলি হল কোর, বিএলডি এবং পিআরডি। এই উপভাষাগুলি অন্তর্নির্মিত ফাংশন এবং সেই উপভাষাগুলির উপর পূর্বাভাস সহ উপভাষার বিস্তৃত তালিকার উপর নির্ভর করে। নিম্নলিখিত ভেন রেখাচিত্রে বিভিন্ন আর. আই. এফ উপভাষার সম্পর্ক দেখানো হয়েছে। ডিটিবি ডেটাটাইপ এবং বিল্ট-ইনস (ডিটিবি) ডেটাটাইপ, বিল্ট-ইন ফাংশন এবং বিল্ট-ইন প্রেডিকেটের একটি তালিকা নির্দিষ্ট করে যা আরআইএফ উপভাষা দ্বারা সমর্থিত হবে বলে আশা করা হচ্ছে। কিছু ডেটাটাইপ এক্স. এম. এল স্কিমা ডেটাটাইপ, এক্সপ্যাথ ফাংশন এবং আর. ডি. এফঃ প্লেইনলিটেরাল ফাংশন থেকে অভিযোজিত হয়। মূল উপভাষা বেশিরভাগ প্রচলিত উপভাষার একটি সাধারণ উপসেট নিয়ে গঠিত। আরআইএফ-কোর হল আরআইএফ-বিএলডি এবং আরআইএফ-পিআরডি উভয়েরই একটি উপসেট। এফএলডি ফ্রেমওয়ার্ক ফর লজিক ডায়ালেক্টস (এফএলডি) আরআইএফ-বিএলডি এবং আরআইএফ-কোর সহ লজিক আরআইএফ উপভাষাগুলির বাক্য গঠন এবং শব্দার্থ নির্দিষ্ট করার প্রক্রিয়া বর্ণনা করে, তবে আরআইএফ-পিআরডি নয় যা যুক্তি-ভিত্তিক আরআইএফ উপভাষা নয়। বেসিক লজিক ডায়ালেক্ট (বিএলডি) মূল উপভাষায় এমন বৈশিষ্ট্য যুক্ত করে যা সরাসরি উপলব্ধ নয় যেমনঃ লজিক ফাংশন, তৎকালীন অংশে সমতা এবং নামযুক্ত আর্গুমেন্ট। আরআইএফ বিএলডি পজিটিভ ডেটালগের সাথে মিলে যায়, অর্থাৎ, ফাংশন বা নেতিবাচকতা ছাড়াই লজিক প্রোগ্রাম। আরআইএফ-বিএলডি-র একটি মডেল-তাত্ত্বিক শব্দার্থবিদ্যা রয়েছে। আরআইএফ বিএলডি-র ফ্রেম সিনট্যাক্স এফ-লজিকের উপর ভিত্তি করে, তবে আরআইএফ বিএলডি-তে এফ-লজিকের অ-একমুখী যুক্তি বৈশিষ্ট্য নেই। পি. আর. ডি প্রোডাকশন রুলস ডায়ালেক্ট (পি. আর. ডি) মডেল উৎপাদন নিয়মের জন্য ব্যবহার করা যেতে পারে। যে বৈশিষ্ট্যগুলি উল্লেখযোগ্যভাবে পি. আর. ডি-তে রয়েছে কিন্তু বি. এল. ডি-তে নেই সেগুলির মধ্যে রয়েছে তথ্যের প্রত্যাখ্যান এবং প্রত্যাহার (সুতরাং, পি. আর. ডি একঘেয়ে নয়)। পিআরডি নিয়মগুলি শৃঙ্খলা নির্ভর, তাই যখন একাধিক নিয়ম প্রয়োগ করা যেতে পারে তখন দ্বন্দ্ব সমাধানের কৌশল প্রয়োজন। পি. আর. ডি নির্দিষ্টকরণ ফরওয়ার্ড চেইনিং যুক্তির উপর ভিত্তি করে এই ধরনের একটি সমাধান কৌশলকে সংজ্ঞায়িত করে। আর. আই. এফ-পি. আর. ডি-র একটি কার্যকরী শব্দার্থবিদ্যা রয়েছে, যেখানে শর্ত সূত্রের একটি মডেল-তাত্ত্বিক শব্দার্থবিদ্যাও রয়েছে। উদাহরণস্বরূপ (উদাহরণ 1.2 ইঞ্চি) উপসর্গ (উদাঃ <http://example.com/2008/prd1 #>) (* উদাঃ নিয়ম 1 *) সর্বজনীন গ্রাহক কেনাকাটা YTD (যদি এবং (? customer#ex: গ্রাহক গ্রাহক [উদাঃ কেনাকাটা YTD->? কেনাকাটা YTD] বাহ্যিক (পূর্ববর্তীঃ সংখ্যাসূচক-বৃহত্তর-চেয়ে (? কেনাকাটা YTD 5000))) তারপর করুন (পরিবর্তন করুন (? গ্রাহক [উদাঃ অবস্থা-> "স্বর্ণ")) অ-মানক RIF উপভাষা আরও বেশ কয়েকটি RIF উপভাষা বিদ্যমান। এগুলির কোনওটিই আনুষ্ঠানিকভাবে ডব্লিউ3সি দ্বারা অনুমোদিত নয় এবং এগুলি আরআইএফ নির্দিষ্টকরণের অংশ নয়। সি. এ. এস. পি. ডি কোর অ্যানসার সেট প্রোগ্রামিং ডায়ালেক্ট (সি. এ. এস. পি. ডি) উত্তর সেট প্রোগ্রামিংয়ের উপর ভিত্তি করে, অর্থাৎ উত্তর সেট শব্দার্থবিজ্ঞানের (স্থিতিশীল মডেল শব্দার্থবিজ্ঞান) উপর ভিত্তি করে ঘোষণাত্মক লজিক প্রোগ্রামিং। উদাহরণস্বরূপঃ ডকুমেন্ট (প্রিফিক্স (এক্স <http://example.com/concepts #>) গ্রুপ (ফোরালএস (এক্সঃ ফিয়ার (এসঃ এক্সঃ ম্যাথ):-এবং (? S#ex: স্টুডেন্ট (নাফ নেগ এক্সঃ ফিয়ার (এসঃ এক্সঃ ম্যাথ))) ফোরালএস (নেগ এক্সঃ ফিয়ার (এসঃ এক্সঃ ম্যাথ):-এবং (? S#ex: স্টুডেন্ট এস [এক্সঃ মেজর-> এক্সঃ ম্যাথ]) ইউআরডি অনিশ্চয়তা নিয়ম ডায়ালেক্ট (ইউআরডি) অনিশ্চিত জ্ঞানের সরাসরি উপস্থাপনাকে সমর্থন করে। উদাহরণস্বরূপঃ নথি (আমদানি (<http://example.org/fuzzy/membershipfunction>) গ্রুপ (ফোরাল এক্সওয়াই (সস্তা ফ্লাইট (? এক্সওয়াই):-সাশ্রয়ী মূল্যের ফ্লাইট (? এক্সওয়াই))/0.40 ফোরাল এক্সওয়াই (সাশ্রয়ী মূল্যের ফ্লাইট (? এক্সওয়াই))/লেফট শোল্ডার0কে4কে1কে3কে (? ওয়াই))) সিল্ক আরআইএফ-সিল্ক ডিফল্ট লজিক মডেল করতে ব্যবহার করা যেতে পারে। এটি সুপ্রতিষ্ঠিত শব্দার্থবিদ্যা সহ ঘোষণাত্মক লজিক প্রোগ্রামিংয়ের উপর ভিত্তি করে তৈরি। আরআইএফ-সিল্ক আরও পরিশীলিত ঘোষণাত্মক লজিক প্রোগ্রামিং ভাষাগুলিতে উপস্থিত অন্যান্য বেশ কয়েকটি বৈশিষ্ট্যও অন্তর্ভুক্ত করে যেমন সিল্ক। উদাহরণস্বরূপ ডকুমেন্ট {প্রিফিক্স (ফোফ http://xmlns.com/foaf/0.1) প্রিফিক্স (পাব http://example.org/pub #) প্রিফিক্স (সিল্ক HTTP:// TBD/সিল্ক #) গ্রুপ {(* r1 *) ফরাল? a1? a2? কাগজ (? a1 [ফোফঃ জানে->? a2]:-? কাগজ #পাবঃ প্রকাশনা [পাবঃ লেখক->? a1, পাবঃ লেখক->? a2]) (* r2 *) ফরাল? a1? a2 (নেগ? a1 [ফোফঃ জানে->? a2]:-? a1 [আছে নেভারমেট->? a2]) সিল্কঃ ওভাররাইড (r2, রেফারেন্স বাহ্যিক লিঙ্ক আরআইএফ ওয়ার্কিং গ্রুপ আরআইএফ এফএকিউ শব্দার্থিক ওয়েব জ্ঞান উপস্থাপনা ভাষা