एफ तर्क: Difference between revisions
No edit summary |
No edit summary |
||
| Line 22: | Line 22: | ||
</syntaxhighlight>इसमें कहा गया है, कि पुरुष और महिला व्यक्ति हैं और ब्रैड पुरुष है, और एंजेलिना महिला है। | </syntaxhighlight>इसमें कहा गया है, कि पुरुष और महिला व्यक्ति हैं और ब्रैड पुरुष है, और एंजेलिना महिला है। | ||
वर्गों और व्यक्तियों के बारे में कथन निम्नानुसार किए जा सकते हैं: | वर्गों और व्यक्तियों के बारे में कथन निम्नानुसार किए जा सकते हैं:<syntaxhighlight lang="d"> | ||
person[hasSon=>man]. | |||
यह परिभाषित करता है कि व्यक्ति का बेटा आदमी है, मैडॉक्स और पैक्स ब्रैड के बेटे हैं और ब्रैड और एंजेलीना विवाहित हैं। | brad[hasSon->{maddox,pax}]. | ||
married(brad,angelina). | |||
</syntaxhighlight>यह परिभाषित करता है कि व्यक्ति का बेटा आदमी है, मैडॉक्स और पैक्स ब्रैड के बेटे हैं और ब्रैड और एंजेलीना विवाहित हैं। | |||
इसके भाषा निम्नलिखित तरीके से एफ-तर्क में सिद्धांतों का प्रतिनिधित्व करना संभव है: | इसके भाषा निम्नलिखित तरीके से एफ-तर्क में सिद्धांतों का प्रतिनिधित्व करना संभव है: | ||
| Line 33: | Line 35: | ||
इसका अर्थ है कि X पुरुष है यदि X व्यक्ति है किन्तु महिला नहीं है और यदि X, Y का पुत्र है तो X व्यक्ति है और Y, X का पिता है। | इसका अर्थ है कि X पुरुष है यदि X व्यक्ति है किन्तु महिला नहीं है और यदि X, Y का पुत्र है तो X व्यक्ति है और Y, X का पिता है। | ||
(ध्यान दें: बाद | (ध्यान दें: बाद का अनुमान तथ्यात्मक नहीं है, क्योंकि पिता के अतिरिक्त, पुत्रों की भी माताएँ होती हैं। X का लिंग आधार द्वारा निर्धारित होता है, किन्तु Y का लिंग नहीं है।) | ||
[[फ्लोरा-2]] | [[फ्लोरा-2]] प्रणाली ने एफ-तर्क के सिंटैक्स में कई बदलाव प्रस्तुत किए, जिससे यह केवल सैद्धांतिक तर्क के विपरीत ज्ञान प्रतिनिधित्व और तर्क प्रणाली के लिए अधिक उपयुक्त हो गया। विशेष रूप से, चर एक ?-चिह्न के साथ उपसर्ग बन गए, कार्यात्मक और बहु-मूल्यवान गुणों के बीच का अंतर हटा दिया गया और कार्डिनैलिटी बाधाओं के साथ-साथ अन्य महत्वपूर्ण परिवर्तनों द्वारा प्रतिस्थापित किया गया। उदाहरण के लिए, उपरोक्त वाक्यों की जोड़ी फ्लोरा -2 में इस तरह दिखती है: | ||
{{sxhl|2=prolog| | {{sxhl|2=prolog| | ||
man(?X) <- person(?X) \and \naf woman(?X). | man(?X) <- person(?X) \and \naf woman(?X). | ||
?X:person[hasFather->?Y] <- ?Y:man[hasSon -> ?X]. | ?X:person[hasFather->?Y] <- ?Y:man[hasSon -> ?X]. | ||
}} | }} | ||
यहाँ {{mono|\naf}} डिफ़ॉल्ट अस्वीकृति | यहाँ {{mono|\naf}} डिफ़ॉल्ट अस्वीकृति ( naf नकारात्मकता को विफलता के रूप में दर्शाता है, जो [[अच्छी तरह से स्थापित शब्दार्थ]] के आधार पर है) है; फ्लोरा-2 भी तथाकथित स्पष्ट निषेध का समर्थन करता है,<ref>{{cite journal |last1=Alferes |first1=José Júlio |last2=Pereira |first2=Luís Moniz |last3=Przymusinski |first3=Teodor C. |date=April 1998 |title=गैर-मोनोटोनिक तर्क और तर्क प्रोग्रामिंग में 'शास्त्रीय' निषेध|journal=[[Journal of Automated Reasoning]] |volume=20 |issue=1–2 |pages=107–142 |doi=10.1023/A:1005900924623|s2cid=8882426 }}</ref> जो पारंपरिक तर्क में निषेध के निकट है। | ||
== एफ-तर्क आधारित भाषाएं == | == एफ-तर्क आधारित भाषाएं == | ||
Revision as of 19:41, 18 May 2023
एफ-तर्क (फ्रेम (डेटा संरचना) तर्क प्रोग्रामिंग ) ज्ञान प्रतिनिधित्व और ऑन्कोलॉजी भाषा है। एफ-तर्क वस्तु-उन्मुख, फ्रेम-आधारित भाषाओं के साथ वैचारिक मॉडलिंग के लाभों को जोड़ता है और घोषणात्मक, कॉम्पैक्ट और सरल सिंटैक्स के साथ-साथ तर्क-आधारित भाषा के अच्छी तरह से परिभाषित शब्दार्थ प्रदान करता है।
सुविधाओं में, अन्य वस्तु पहचान, जटिल वस्तुएं, वंशानुक्रम (कंप्यूटर विज्ञान), बहुरूपता (कंप्यूटर विज्ञान), क्वेरी विधियां एनकैप्सुलेशन (कंप्यूटर विज्ञान) सम्मिलित हैं। एफ-तर्क ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग के समान संबंध में खड़ा होता है क्योंकि पारंपरिक संबंधपरक गणना संबंध का डेटाबेस प्रोग्रामिंग के लिए खड़ा होता है।
अवलोकन
एफ-तर्क का विकास स्टोनी ब्रुक विश्वविद्यालय में माइकल किफ़र और मैनहेम विश्वविद्यालय में जॉर्ज लॉज़ेन द्वारा किया गया था। एफ-तर्क मूल रूप से डिडक्टिव डेटाबेस के लिए विकसित किया गया था, किन्तु अब सिमेंटिक विधियों, विशेष रूप से सेमांटिक वेब के लिए इसका सबसे अधिक उपयोग किया जाता है। एफ-तर्क को ओन्टोलॉजी (सूचना विज्ञान) के लिए औपचारिकताओं में से माना जाता है, किन्तु विवरण तर्क (डीएल) अधिक लोकप्रिय और स्वीकृत है, जैसा कि डीएल-आधारित वेब ओन्टोलॉजी भाषा है।
एफ-तर्क के लिए विकास पर्यावरण NeOn प्रोजेक्ट में विकसित किया गया था और इसका उपयोग सूचना एकीकरण, प्रश्न उत्तर और सिमेंटिक खोज के लिए कई प्रकार के अनुप्रयोगों में भी किया जाता है। प्रोटेग के संस्करण 4 से पहले ऑन्कोलॉजी संपादक एफ-लॉजिक दो प्रकार के ऑन्कोलॉजी में से एक के रूप में समर्थित है।
विश्वव्यापी वेब संकाय द्वारा मानकीकृत नियम विनिमय प्रारूप बेसिक तर्क डायलेक्ट (आरआईएफ बीएलडी) का फ्रेम सिंटैक्स एफ-तर्क पर आधारित है; आरआईएफ बीएलडी में चूंकि एफ-तर्क की गैर-मोनोटोनिक तर्क विशेषताएं सम्मिलित नहीं हैं।[1]
विवरण तर्क आधारित ऑन्कोलॉजी औपचारिकता के विपरीत एफ-तर्क के शब्दार्थ सामान्य रूप से डीएल की खुली दुनिया धारणा के विपरीत बंद विश्व धारणा के हैं। साथ ही, एफ-तर्क सामान्यतः अनिर्णीत समस्या है,[citation needed] जबकि शोइन जिस पर वेब ओन्टोलॉजी भाषा आधारित है, निर्णायक है। चूंकि विवरण तर्कों की तुलना में एफ-तर्क में अधिक अभिव्यंजक बयानों का प्रतिनिधित्व करना संभव है।
एफ-लॉजिक का सबसे व्यापक विवरण 1995 में प्रकाशित हुआ था। [2] 1989 के प्रारंभिक पेपर[2][3] ने एसीएम सिग्मॉड से 1999 का टेस्ट ऑफ़ टाइम पुरस्कार जीता।[4] 1992 के एक फॉलो-अप पेपर[5] ने एसीएम सिग्मॉड से 2002 का टेस्ट ऑफ़ टाइम पुरस्कार जीता।[4]
एफ-तर्क सिंटैक्स
वर्गों और व्यक्तियों को एफ-तर्क में निम्नानुसार परिभाषित किया जा सकता है:
man::person.
woman::person.
brad:man.
angelina:woman.
इसमें कहा गया है, कि पुरुष और महिला व्यक्ति हैं और ब्रैड पुरुष है, और एंजेलिना महिला है। वर्गों और व्यक्तियों के बारे में कथन निम्नानुसार किए जा सकते हैं:
person[hasSon=>man].
brad[hasSon->{maddox,pax}].
married(brad,angelina).
यह परिभाषित करता है कि व्यक्ति का बेटा आदमी है, मैडॉक्स और पैक्स ब्रैड के बेटे हैं और ब्रैड और एंजेलीना विवाहित हैं।
इसके भाषा निम्नलिखित तरीके से एफ-तर्क में सिद्धांतों का प्रतिनिधित्व करना संभव है:
man(X) <- person(X) AND NOT woman(X).
X:person[hasFather->Y] <- Y:man[hasSon -> X].
इसका अर्थ है कि X पुरुष है यदि X व्यक्ति है किन्तु महिला नहीं है और यदि X, Y का पुत्र है तो X व्यक्ति है और Y, X का पिता है।
(ध्यान दें: बाद का अनुमान तथ्यात्मक नहीं है, क्योंकि पिता के अतिरिक्त, पुत्रों की भी माताएँ होती हैं। X का लिंग आधार द्वारा निर्धारित होता है, किन्तु Y का लिंग नहीं है।)
फ्लोरा-2 प्रणाली ने एफ-तर्क के सिंटैक्स में कई बदलाव प्रस्तुत किए, जिससे यह केवल सैद्धांतिक तर्क के विपरीत ज्ञान प्रतिनिधित्व और तर्क प्रणाली के लिए अधिक उपयुक्त हो गया। विशेष रूप से, चर एक ?-चिह्न के साथ उपसर्ग बन गए, कार्यात्मक और बहु-मूल्यवान गुणों के बीच का अंतर हटा दिया गया और कार्डिनैलिटी बाधाओं के साथ-साथ अन्य महत्वपूर्ण परिवर्तनों द्वारा प्रतिस्थापित किया गया। उदाहरण के लिए, उपरोक्त वाक्यों की जोड़ी फ्लोरा -2 में इस तरह दिखती है:
man(?X) <- person(?X) \and \naf woman(?X).
?X:person[hasFather->?Y] <- ?Y:man[hasSon -> ?X].
यहाँ \naf डिफ़ॉल्ट अस्वीकृति ( naf नकारात्मकता को विफलता के रूप में दर्शाता है, जो अच्छी तरह से स्थापित शब्दार्थ के आधार पर है) है; फ्लोरा-2 भी तथाकथित स्पष्ट निषेध का समर्थन करता है,[6] जो पारंपरिक तर्क में निषेध के निकट है।
एफ-तर्क आधारित भाषाएं
- फ्लोरा -2 हाईलॉग, लेन-देन तर्क और अक्षम्य तर्क के साथ एफ-तर्क का विस्तार है।
- Ergo F-तर्क पर आधारित कमर्शियल सिस्टम है, जो फ्लोरा-2 को एक्सटेंड करता है।
- PathLP एफ-तर्क पर आधारित फुल तर्क प्रोग्रामिंग भाषा है।
- FLORID C++ आधारित कार्यान्वयन है
- वेब सर्विसेज मॉडलिंग भाषा (WSML)
- सिमेंटिक वेब सर्विसेज भाषा (एसडब्ल्यूएसएल)
- ObjectLogic भाषा F-तर्क पर आधारित है; OntoStudio semafora Systems GmbH (पूर्व में Ontoprise GmbH) द्वारा ObjectLogic कार्यान्वयन है।
- OO-तर्क F-तर्क का उत्तराधिकारी है; SemReasoner और ओन्टोलॉजी मैनेजमेंट सिस्टम (OSM) adesso SE द्वारा OO-तर्क के कार्यान्वयन हैं।
संदर्भ
- ↑ M. Krötzsch (October 2010). विवरण तर्क नियम. IOS Press. p. 10. ISBN 978-1-61499-342-1.
- ↑ M. Kifer and G. Lausen (1989). "F-logic: a higher-order language for reasoning about objects, inheritance, and scheme", ACM SIGMOD Record 18(2), June 1989, 134–146. doi:10.1145/66926.66939
- ↑ M. Kifer and G. Lausen (1997). "F-logic: a higher-order language for reasoning about objects, inheritance, and scheme", re-issued 1997. doi:10.1145/66926.66939
- ↑ 4.0 4.1 "SIGMOD टेस्ट ऑफ़ टाइम अवार्ड". sigmod.org. Retrieved 2019-03-19.
- ↑ M. Kifer, W. Kim, Y. Sagiv (1992). "Querying object-oriented databases", ACM SIGMOD Record 21(2), June 1992, 393–402. doi:10.1145/141484.130342
- ↑ Alferes, José Júlio; Pereira, Luís Moniz; Przymusinski, Teodor C. (April 1998). "गैर-मोनोटोनिक तर्क और तर्क प्रोग्रामिंग में 'शास्त्रीय' निषेध". Journal of Automated Reasoning. 20 (1–2): 107–142. doi:10.1023/A:1005900924623. S2CID 8882426.
