एफ तर्क: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(12 intermediate revisions by 4 users not shown)
Line 1: Line 1:
एफ-लॉजिक (फ्रेम (डेटा स्ट्रक्चर) [[ तर्क प्रोग्रामिंग ]]) ज्ञान प्रतिनिधित्व और [[ऑन्कोलॉजी भाषा]] है। एफ-लॉजिक वस्तु-उन्मुख, फ्रेम-आधारित भाषाओं के साथ वैचारिक मॉडलिंग के लाभों को जोड़ता है और घोषणात्मक, कॉम्पैक्ट और सरल सिंटैक्स के साथ-साथ तर्क-आधारित भाषा के अच्छी तरह से परिभाषित शब्दार्थ प्रदान करता है।
एफ-तर्क (फ्रेम (डेटा संरचना) [[ तर्क प्रोग्रामिंग |तर्क प्रोग्रामिंग]] ) ज्ञान प्रतिनिधित्व और [[ऑन्कोलॉजी भाषा]] है। एफ-तर्क वस्तु-उन्मुख, फ्रेम-आधारित भाषाओं के साथ वैचारिक मॉडलिंग के लाभों को जोड़ता है और घोषणात्मक, कॉम्पैक्ट और सरल सिंटैक्स के साथ-साथ तर्क-आधारित भाषा के अच्छी तरह से परिभाषित शब्दार्थ प्रदान करता है।


सुविधाओं में शामिल हैं, अन्य बातों के अलावा, वस्तु पहचान, जटिल वस्तुएं, [[वंशानुक्रम (कंप्यूटर विज्ञान)]], [[बहुरूपता (कंप्यूटर विज्ञान)]], क्वेरी विधियाँ, एनकैप्सुलेशन (कंप्यूटर विज्ञान)। एफ-लॉजिक [[ ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग ]] के समान संबंध में खड़ा होता है क्योंकि क्लासिकल [[संबंधपरक गणना]] [[ संबंध का डेटाबेस ]] प्रोग्रामिंग के लिए खड़ा होता है।
सुविधाओं में, अन्य वस्तु पहचान, जटिल वस्तुएं, [[वंशानुक्रम (कंप्यूटर विज्ञान)]], [[बहुरूपता (कंप्यूटर विज्ञान)]], क्वेरी विधियां एनकैप्सुलेशन (कंप्यूटर विज्ञान) सम्मिलित हैं। एफ-तर्क [[ ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग |ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग]] के समान संबंध में खड़ा होता है क्योंकि पारंपरिक [[संबंधपरक गणना]] [[ संबंध का डेटाबेस |संबंध का डेटाबेस]] प्रोग्रामिंग के लिए खड़ा होता है।


== सिंहावलोकन ==
== अवलोकन ==
एफ-लॉजिक का विकास [[स्टोनी ब्रुक विश्वविद्यालय]] में माइकल किफ़र और [[मैनहेम विश्वविद्यालय]] में जॉर्ज लॉज़ेन द्वारा किया गया था। एफ-लॉजिक मूल रूप से डिडक्टिव डेटाबेस के लिए विकसित किया गया था, लेकिन अब सिमेंटिक तकनीकों, विशेष रूप से [[सेमांटिक वेब]] के लिए इसका सबसे अधिक उपयोग किया जाता है। एफ-लॉजिक को ओन्टोलॉजी (सूचना विज्ञान) के लिए औपचारिकताओं में से माना जाता है, लेकिन [[विवरण तर्क]] (डीएल) अधिक लोकप्रिय और स्वीकृत है, जैसा कि डीएल-आधारित [[वेब ओन्टोलॉजी भाषा]] है।
एफ-तर्क का विकास [[स्टोनी ब्रुक विश्वविद्यालय]] में माइकल किफ़र और [[मैनहेम विश्वविद्यालय]] में जॉर्ज लॉज़ेन द्वारा किया गया था। एफ-तर्क मूल रूप से डिडक्टिव डेटाबेस के लिए विकसित किया गया था, किन्तु अब सिमेंटिक विधियों, विशेष रूप से [[सेमांटिक वेब]] के लिए इसका सबसे अधिक उपयोग किया जाता है। एफ-तर्क को ओन्टोलॉजी (सूचना विज्ञान) के लिए औपचारिकताओं में से माना जाता है, किन्तु [[विवरण तर्क]] (डीएल) अधिक लोकप्रिय और स्वीकृत है, जैसा कि डीएल-आधारित [[वेब ओन्टोलॉजी भाषा]] है।


एफ-लॉजिक के लिए विकास पर्यावरण NeOn परियोजना में विकसित किया गया था और इसका उपयोग सूचना एकीकरण, [[प्रश्न उत्तर]] और सिमेंटिक खोज के लिए कई प्रकार के अनुप्रयोगों में भी किया जाता है। प्रोटेग ऑन्कोलॉजी संपादक के संस्करण 4 से पहले, एफ-लॉजिक को दो प्रकार के ऑन्कोलॉजी में से के रूप में समर्थित किया गया है।
एफ-तर्क के लिए विकास पर्यावरण NeOn प्रोजेक्ट में विकसित किया गया था और इसका उपयोग सूचना एकीकरण, [[प्रश्न उत्तर]] और सिमेंटिक खोज के लिए कई प्रकार के अनुप्रयोगों में भी किया जाता है। प्रोटेग के संस्करण 4 से पहले ऑन्कोलॉजी संपादक एफ-लॉजिक दो प्रकार के ऑन्कोलॉजी में से एक के रूप में समर्थित है।


[[ विश्वव्यापी वेब संकाय ]] द्वारा मानकीकृत [[नियम विनिमय प्रारूप]] बेसिक लॉजिक डायलेक्ट (आरआईएफ बीएलडी) का फ्रेम सिंटैक्स एफ-लॉजिक पर आधारित है; आरआईएफ बीएलडी में हालांकि एफ-लॉजिक की [[गैर-मोनोटोनिक तर्क]] विशेषताएं शामिल नहीं हैं।<ref name="Krötzsch2010">{{cite book|author=M. Krötzsch|title=विवरण तर्क नियम|url=https://books.google.com/books?id=Z8h7AgAAQBAJ&pg=PA10|date=October 2010|publisher=IOS Press|isbn=978-1-61499-342-1|page=10}}</ref>
[[ विश्वव्यापी वेब संकाय |विश्वव्यापी वेब संकाय]] द्वारा मानकीकृत [[नियम विनिमय प्रारूप]] बेसिक तर्क डायलेक्ट (आरआईएफ बीएलडी) का फ्रेम सिंटैक्स एफ-तर्क पर आधारित है; आरआईएफ बीएलडी में चूंकि एफ-तर्क की [[गैर-मोनोटोनिक तर्क]] विशेषताएं सम्मिलित नहीं हैं।<ref name="Krötzsch2010">{{cite book|author=M. Krötzsch|title=विवरण तर्क नियम|url=https://books.google.com/books?id=Z8h7AgAAQBAJ&pg=PA10|date=October 2010|publisher=IOS Press|isbn=978-1-61499-342-1|page=10}}</ref>


विवरण तर्क आधारित सत्तामीमांसा औपचारिकता के विपरीत एफ-लॉजिक के शब्दार्थ सामान्य रूप से डीएल की [[खुली दुनिया धारणा]] के विपरीत बंद विश्व धारणा के हैं। साथ ही, एफ-लॉजिक आम तौर पर [[अनिर्णीत समस्या]] है,{{Citation needed|date=May 2014}} जबकि
विवरण तर्क आधारित ऑन्कोलॉजी औपचारिकता के विपरीत एफ-तर्क के शब्दार्थ सामान्य रूप से डीएल की [[खुली दुनिया धारणा]] के विपरीत बंद विश्व धारणा के हैं। साथ ही, एफ-तर्क सामान्यतः [[अनिर्णीत समस्या]] है,{{Citation needed|date=May 2014}} जबकि [[SHOIN|शोइन]] जिस पर वेब ओन्टोलॉजी भाषा आधारित है, निर्णायक है। चूंकि विवरण तर्कों की तुलना में एफ-तर्क में अधिक अभिव्यंजक बयानों का प्रतिनिधित्व करना संभव है।
[[SHOIN]] जिस पर वेब ओन्टोलॉजी लैंग्वेज आधारित है, निर्णायक है। हालांकि विवरण तर्कों की तुलना में एफ-लॉजिक में अधिक अभिव्यंजक बयानों का प्रतिनिधित्व करना संभव है।


एफ-लॉजिक का सबसे व्यापक विवरण 1995 में प्रकाशित हुआ था।<ref>M. Kifer, G. Lausen, J. Wu (1995). "Logical foundations of object-oriented and frame-based languages", ''[[Journal of the ACM]]'' 42(4), July 1995, 741–843. {{doi|10.1145/210332.210335}}</ref> प्रारंभिक पेपर<ref>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}}</ref><ref>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}}</ref> 1989 से [[SIGMOD]] से 1999 का टेस्ट ऑफ़ टाइम अवार्ड जीता।<ref name="TOT">{{cite web |url=https://sigmod.org/sigmod-awards/sigmod-test-of-time-award/ |title=SIGMOD टेस्ट ऑफ़ टाइम अवार्ड|website=sigmod.org |access-date=2019-03-19}}</ref> अनुवर्ती पत्र<ref>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}}</ref> 1992 से ACM SIGMOD से 2002 का टेस्ट ऑफ़ टाइम अवार्ड जीता।<ref name="TOT"/>
एफ-लॉजिक का सबसे व्यापक विवरण 1995 में प्रकाशित हुआ था। [2] 1989 के प्रारंभिक पेपर<ref>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}}</ref><ref>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}}</ref> ने एसीएम [[SIGMOD|सिग्मॉड]] से 1999 का टेस्ट ऑफ़ टाइम पुरस्कार जीता।<ref name="TOT">{{cite web |url=https://sigmod.org/sigmod-awards/sigmod-test-of-time-award/ |title=SIGMOD टेस्ट ऑफ़ टाइम अवार्ड|website=sigmod.org |access-date=2019-03-19}}</ref> 1992 के एक फॉलो-अप पेपर<ref>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}}</ref> ने एसीएम सिग्मॉड से 2002 का टेस्ट ऑफ़ टाइम पुरस्कार जीता।<ref name="TOT"/>
== एफ-तर्क सिंटैक्स ==


वर्गों और व्यक्तियों को एफ-तर्क में निम्नानुसार परिभाषित किया जा सकता है:<syntaxhighlight lang="d">
man::person.
woman::person.
brad:man.
angelina:woman.
</syntaxhighlight>इसमें कहा गया है, कि मेन और वीमेन व्यक्ति हैं और ब्रैड मेन है, और एंजेलिना वीमेन है।


== एफ-लॉजिक सिंटैक्स ==
वर्गों और व्यक्तियों के बारे में कथन निम्नानुसार किए जा सकते हैं:<syntaxhighlight lang="d">
person[hasSon=>man].
brad[hasSon->{maddox,pax}].
married(brad,angelina).
</syntaxhighlight>यह परिभाषित करता है कि व्यक्ति का बेटा आदमी है, मैडॉक्स और पैक्स ब्रैड के बेटे हैं और ब्रैड और एंजेलीना विवाहित हैं।


वर्गों और व्यक्तियों को एफ-लॉजिक में निम्नानुसार परिभाषित किया जा सकता है:
इसके भाषा निम्नलिखित तरीके से एफ-तर्क में सिद्धांतों का प्रतिनिधित्व करना संभव है:
आदमी :: व्यक्ति।
महिला :: व्यक्ति।
ब्रैड: यार।
एंजेलीना: महिला।
इसमें कहा गया है, कि पुरुष और महिला व्यक्ति हैं और ब्रैड पुरुष है, और एंजेलिना महिला है।
 
वर्गों और व्यक्तियों के बारे में कथन निम्नानुसार किए जा सकते हैं:
व्यक्ति [हैसोन => आदमी]।
ब्रैड [हैसन -> {मैडॉक्स, पैक्स}]।
विवाहित (ब्रैड, एंजेलीना)।
यह परिभाषित करता है कि व्यक्ति का बेटा आदमी है, मैडॉक्स और पैक्स ब्रैड के बेटे हैं और ब्रैड और एंजेलीना विवाहित हैं।
 
इसके अलावा निम्नलिखित तरीके से एफ-लॉजिक में सिद्धांतों का प्रतिनिधित्व करना संभव है:
{{sxhl|2=prolog|
{{sxhl|2=prolog|
  man(X) <- person(X) AND NOT woman(X).
  man(X) <- person(X) AND NOT woman(X).
  X:person[hasFather->Y] <- Y:man[hasSon -> X].
  X:person[hasFather->Y] <- Y:man[hasSon -> X].
}}
}}
इसका अर्थ है कि X पुरुष है यदि X व्यक्ति है लेकिन महिला नहीं है और यदि X, Y का पुत्र है तो X व्यक्ति है और Y, X का पिता है।
इसका अर्थ है कि X मेन है यदि X व्यक्ति है किन्तु वीमेन नहीं है और यदि X, Y का पुत्र है तो X व्यक्ति है और Y, X का पिता है।


(ध्यान दें: बाद वाला अनुमान तथ्यात्मक नहीं है, क्योंकि पिता के अतिरिक्त पुत्रों की भी माताएँ होती हैं।
(ध्यान दें: बाद का अनुमान तथ्यात्मक नहीं है, क्योंकि पिता के अतिरिक्त, पुत्रों की भी माताएँ होती हैं। X का लिंग आधार द्वारा निर्धारित होता है, किन्तु Y का लिंग नहीं है।)
एक्स का लिंग आधार से निर्धारित होता है, लेकिन वाई का लिंग नहीं है।)


[[फ्लोरा-2]] -2 प्रणाली ने एफ-लॉजिक के सिंटैक्स में कई बदलाव पेश किए, जिससे यह केवल सैद्धांतिक तर्क के विपरीत ज्ञान प्रतिनिधित्व और तर्क प्रणाली के लिए अधिक उपयुक्त हो गया। विशेष रूप से, चर एक ?-चिह्न के साथ उपसर्ग बन गए, कार्यात्मक और बहु-मूल्यवान गुणों के बीच का अंतर हटा दिया गया और कार्डिनैलिटी बाधाओं के साथ-साथ अन्य महत्वपूर्ण परिवर्तनों द्वारा प्रतिस्थापित किया गया। उदाहरण के लिए, उपरोक्त वाक्यों की जोड़ी फ्लोरा -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}} डिफ़ॉल्ट अस्वीकृति है ( 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> जो शास्त्रीय तर्क में निषेध के करीब है।
यहाँ {{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> जो पारंपरिक तर्क में निषेध के निकट है।


== एफ-तर्क आधारित भाषाएं ==
== एफ-तर्क आधारित भाषाएं ==
* फ्लोरा -2 हाईलॉग, [[लेन-देन तर्क]] और [[अक्षम्य तर्क]] के साथ एफ-लॉजिक का विस्तार है।
* फ्लोरा -2 हाईलॉग, [[लेन-देन तर्क]] और [[अक्षम्य तर्क]] के साथ एफ-तर्क का विस्तार है।
* [http://coherentknowledge.com/ergo-documentation/ Ergo] F-लॉजिक पर आधारित कमर्शियल सिस्टम है, जो फ्लोरा-2 को एक्सटेंड करता है।
* [http://coherentknowledge.com/ergo-documentation/ एर्गो] एफ-तर्क पर आधारित कमर्शियल सिस्टम है, जो फ्लोरा-2 को एक्सटेंड करता है।
* [http://pathlp.sourceforge.net/ PathLP] एफ-लॉजिक पर आधारित फुल लॉजिक प्रोग्रामिंग लैंग्वेज है।
* [http://pathlp.sourceforge.net/ पाथएलपी] एफ-तर्क पर आधारित फुल तर्क प्रोग्रामिंग भाषा है।
* [http://dbis.informatik.uni-freiburg.de/index.php?project=Florid FLORID] C++ आधारित कार्यान्वयन है
* [http://dbis.informatik.uni-freiburg.de/index.php?project=Florid फ्लोरिड] C++ आधारित कार्यान्वयन है
* [http://www.wsmo.org/wsml/ वेब सर्विसेज मॉडलिंग लैंग्वेज (WSML)]
* [http://www.wsmo.org/wsml/ वेब सर्विसेज मॉडलिंग भाषा (डब्ल्यूएसएमएल)]
* [http://www.daml.org/services/swsl/ सिमेंटिक वेब सर्विसेज लैंग्वेज (एसडब्ल्यूएसएल)]
* [http://www.daml.org/services/swsl/ सिमेंटिक वेब सर्विसेज भाषा (एसडब्ल्यूएसएल)]
* ObjectLogic भाषा F-लॉजिक पर आधारित है; OntoStudio semafora Systems GmbH (पूर्व में [[Ontoprise GmbH]]) द्वारा ObjectLogic कार्यान्वयन है।
* ऑब्जेक्टलॉजिक भाषा एफ-तर्क पर आधारित है; ओंटोस्टूडियो सेमाफोरा सिस्टम्स जीएमबीएच (पूर्व में [[Ontoprise GmbH|ऑन्टोप्राइज जीएमबीएच]]) द्वारा ऑब्जेक्टलॉजिक कार्यान्वयन है।
* OO-लॉजिक F-लॉजिक का उत्तराधिकारी है; SemReasoner और ओन्टोलॉजी मैनेजमेंट सिस्टम (OSM) adesso SE द्वारा OO-लॉजिक के कार्यान्वयन हैं।
* ओओ-तर्क F-तर्क का उत्तराधिकारी है; सेमरीजनर और ओन्टोलॉजी मैनेजमेंट सिस्टम (ओएसएम) एडेसो एसई द्वारा ओओ-तर्क के कार्यान्वयन हैं।


== संदर्भ ==
== संदर्भ ==
{{reflist}}
{{reflist}}
{{Ontology languages}}[[Category: ज्ञान निरूपण]] [[Category: सेमांटिक वेब]] [[Category: तर्क प्रोग्रामिंग भाषाएँ]] [[Category: घोषणात्मक प्रोग्रामिंग भाषाएँ]]


[[Category: Machine Translated Page]]
[[Category:All articles with unsourced statements]]
[[Category:Articles with unsourced statements from May 2014]]
[[Category:Created On 15/05/2023]]
[[Category:Created On 15/05/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:घोषणात्मक प्रोग्रामिंग भाषाएँ]]
[[Category:ज्ञान निरूपण]]
[[Category:तर्क प्रोग्रामिंग भाषाएँ]]
[[Category:सेमांटिक वेब]]

Latest revision as of 10:01, 22 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] जो पारंपरिक तर्क में निषेध के निकट है।

एफ-तर्क आधारित भाषाएं

संदर्भ

  1. ↑ M. Krötzsch (October 2010). विवरण तर्क नियम. IOS Press. p. 10. ISBN 978-1-61499-342-1.
  2. ↑ 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
  3. ↑ 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. ↑ 4.0 4.1 "SIGMOD टेस्ट ऑफ़ टाइम अवार्ड". sigmod.org. Retrieved 2019-03-19.
  5. ↑ 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
  6. ↑ 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.
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=एफ_तर्क&oldid=164394’