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, संदर्भ बाहरी लिंक आर. आई. एफ. कार्य समूह आर. आई. एफ. एफ. एफ. ए. क्यू. अर्थपूर्ण वेब ज्ञान प्रतिनिधित्व भाषाएँ