एफ तर्क: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
एफ- | एफ-तर्क (फ्रेम (डेटा स्ट्रक्चर) [[ तर्क प्रोग्रामिंग ]]) ज्ञान प्रतिनिधित्व और [[ऑन्कोलॉजी भाषा]] है। एफ-तर्क वस्तु-उन्मुख, फ्रेम-आधारित भाषाओं के साथ वैचारिक मॉडलिंग के लाभों को जोड़ता है और घोषणात्मक, कॉम्पैक्ट और सरल सिंटैक्स के साथ-साथ तर्क-आधारित भाषा के अच्छी तरह से परिभाषित शब्दार्थ प्रदान करता है। | ||
सुविधाओं में शामिल हैं, अन्य बातों के अलावा, वस्तु पहचान, जटिल वस्तुएं, [[वंशानुक्रम (कंप्यूटर विज्ञान)]], [[बहुरूपता (कंप्यूटर विज्ञान)]], क्वेरी विधियाँ, एनकैप्सुलेशन (कंप्यूटर विज्ञान)। एफ- | सुविधाओं में शामिल हैं, अन्य बातों के अलावा, वस्तु पहचान, जटिल वस्तुएं, [[वंशानुक्रम (कंप्यूटर विज्ञान)]], [[बहुरूपता (कंप्यूटर विज्ञान)]], क्वेरी विधियाँ, एनकैप्सुलेशन (कंप्यूटर विज्ञान)। एफ-तर्क [[ ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग ]] के समान संबंध में खड़ा होता है क्योंकि क्लासिकल [[संबंधपरक गणना]] [[ संबंध का डेटाबेस ]] प्रोग्रामिंग के लिए खड़ा होता है। | ||
== सिंहावलोकन == | == सिंहावलोकन == | ||
एफ- | एफ-तर्क का विकास [[स्टोनी ब्रुक विश्वविद्यालय]] में माइकल किफ़र और [[मैनहेम विश्वविद्यालय]] में जॉर्ज लॉज़ेन द्वारा किया गया था। एफ-तर्क मूल रूप से डिडक्टिव डेटाबेस के लिए विकसित किया गया था, लेकिन अब सिमेंटिक तकनीकों, विशेष रूप से [[सेमांटिक वेब]] के लिए इसका सबसे अधिक उपयोग किया जाता है। एफ-तर्क को ओन्टोलॉजी (सूचना विज्ञान) के लिए औपचारिकताओं में से माना जाता है, लेकिन [[विवरण तर्क]] (डीएल) अधिक लोकप्रिय और स्वीकृत है, जैसा कि डीएल-आधारित [[वेब ओन्टोलॉजी भाषा]] है। | ||
एफ- | एफ-तर्क के लिए विकास पर्यावरण 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> | ||
विवरण तर्क आधारित सत्तामीमांसा औपचारिकता के विपरीत एफ- | विवरण तर्क आधारित सत्तामीमांसा औपचारिकता के विपरीत एफ-तर्क के शब्दार्थ सामान्य रूप से डीएल की [[खुली दुनिया धारणा]] के विपरीत बंद विश्व धारणा के हैं। साथ ही, एफ-तर्क आम तौर पर [[अनिर्णीत समस्या]] है,{{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"/> | ||
== एफ- | == एफ-तर्क सिंटैक्स == | ||
वर्गों और व्यक्तियों को एफ- | वर्गों और व्यक्तियों को एफ-तर्क में निम्नानुसार परिभाषित किया जा सकता है: | ||
आदमी :: व्यक्ति। | आदमी :: व्यक्ति। | ||
महिला :: व्यक्ति। | महिला :: व्यक्ति। | ||
| Line 31: | Line 31: | ||
यह परिभाषित करता है कि व्यक्ति का बेटा आदमी है, मैडॉक्स और पैक्स ब्रैड के बेटे हैं और ब्रैड और एंजेलीना विवाहित हैं। | यह परिभाषित करता है कि व्यक्ति का बेटा आदमी है, मैडॉक्स और पैक्स ब्रैड के बेटे हैं और ब्रैड और एंजेलीना विवाहित हैं। | ||
इसके अलावा निम्नलिखित तरीके से एफ- | इसके अलावा निम्नलिखित तरीके से एफ-तर्क में सिद्धांतों का प्रतिनिधित्व करना संभव है: | ||
{{sxhl|2=prolog| | {{sxhl|2=prolog| | ||
man(X) <- person(X) AND NOT woman(X). | man(X) <- person(X) AND NOT woman(X). | ||
| Line 41: | Line 41: | ||
एक्स का लिंग आधार से निर्धारित होता है, लेकिन वाई का लिंग नहीं है।) | एक्स का लिंग आधार से निर्धारित होता है, लेकिन वाई का लिंग नहीं है।) | ||
[[फ्लोरा-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). | ||
| Line 49: | Line 49: | ||
== एफ-तर्क आधारित भाषाएं == | == एफ-तर्क आधारित भाषाएं == | ||
* फ्लोरा -2 हाईलॉग, [[लेन-देन तर्क]] और [[अक्षम्य तर्क]] के साथ एफ- | * फ्लोरा -2 हाईलॉग, [[लेन-देन तर्क]] और [[अक्षम्य तर्क]] के साथ एफ-तर्क का विस्तार है। | ||
* [http://coherentknowledge.com/ergo-documentation/ Ergo] F- | * [http://coherentknowledge.com/ergo-documentation/ Ergo] F-तर्क पर आधारित कमर्शियल सिस्टम है, जो फ्लोरा-2 को एक्सटेंड करता है। | ||
* [http://pathlp.sourceforge.net/ PathLP] एफ- | * [http://pathlp.sourceforge.net/ PathLP] एफ-तर्क पर आधारित फुल तर्क प्रोग्रामिंग लैंग्वेज है। | ||
* [http://dbis.informatik.uni-freiburg.de/index.php?project=Florid FLORID] C++ आधारित कार्यान्वयन है | * [http://dbis.informatik.uni-freiburg.de/index.php?project=Florid FLORID] C++ आधारित कार्यान्वयन है | ||
* [http://www.wsmo.org/wsml/ वेब सर्विसेज मॉडलिंग लैंग्वेज (WSML)] | * [http://www.wsmo.org/wsml/ वेब सर्विसेज मॉडलिंग लैंग्वेज (WSML)] | ||
* [http://www.daml.org/services/swsl/ सिमेंटिक वेब सर्विसेज लैंग्वेज (एसडब्ल्यूएसएल)] | * [http://www.daml.org/services/swsl/ सिमेंटिक वेब सर्विसेज लैंग्वेज (एसडब्ल्यूएसएल)] | ||
* ObjectLogic भाषा F- | * ObjectLogic भाषा F-तर्क पर आधारित है; OntoStudio semafora Systems GmbH (पूर्व में [[Ontoprise GmbH]]) द्वारा ObjectLogic कार्यान्वयन है। | ||
* OO- | * OO-तर्क F-तर्क का उत्तराधिकारी है; SemReasoner और ओन्टोलॉजी मैनेजमेंट सिस्टम (OSM) adesso SE द्वारा OO-तर्क के कार्यान्वयन हैं। | ||
== संदर्भ == | == संदर्भ == | ||
Revision as of 19:01, 18 May 2023
एफ-तर्क (फ्रेम (डेटा स्ट्रक्चर) तर्क प्रोग्रामिंग ) ज्ञान प्रतिनिधित्व और ऑन्कोलॉजी भाषा है। एफ-तर्क वस्तु-उन्मुख, फ्रेम-आधारित भाषाओं के साथ वैचारिक मॉडलिंग के लाभों को जोड़ता है और घोषणात्मक, कॉम्पैक्ट और सरल सिंटैक्स के साथ-साथ तर्क-आधारित भाषा के अच्छी तरह से परिभाषित शब्दार्थ प्रदान करता है।
सुविधाओं में शामिल हैं, अन्य बातों के अलावा, वस्तु पहचान, जटिल वस्तुएं, वंशानुक्रम (कंप्यूटर विज्ञान), बहुरूपता (कंप्यूटर विज्ञान), क्वेरी विधियाँ, एनकैप्सुलेशन (कंप्यूटर विज्ञान)। एफ-तर्क ऑब्जेक्ट ओरिएंटेड प्रोग्रामिंग के समान संबंध में खड़ा होता है क्योंकि क्लासिकल संबंधपरक गणना संबंध का डेटाबेस प्रोग्रामिंग के लिए खड़ा होता है।
सिंहावलोकन
एफ-तर्क का विकास स्टोनी ब्रुक विश्वविद्यालय में माइकल किफ़र और मैनहेम विश्वविद्यालय में जॉर्ज लॉज़ेन द्वारा किया गया था। एफ-तर्क मूल रूप से डिडक्टिव डेटाबेस के लिए विकसित किया गया था, लेकिन अब सिमेंटिक तकनीकों, विशेष रूप से सेमांटिक वेब के लिए इसका सबसे अधिक उपयोग किया जाता है। एफ-तर्क को ओन्टोलॉजी (सूचना विज्ञान) के लिए औपचारिकताओं में से माना जाता है, लेकिन विवरण तर्क (डीएल) अधिक लोकप्रिय और स्वीकृत है, जैसा कि डीएल-आधारित वेब ओन्टोलॉजी भाषा है।
एफ-तर्क के लिए विकास पर्यावरण NeOn परियोजना में विकसित किया गया था और इसका उपयोग सूचना एकीकरण, प्रश्न उत्तर और सिमेंटिक खोज के लिए कई प्रकार के अनुप्रयोगों में भी किया जाता है। प्रोटेग ऑन्कोलॉजी संपादक के संस्करण 4 से पहले, एफ-तर्क को दो प्रकार के ऑन्कोलॉजी में से के रूप में समर्थित किया गया है।
विश्वव्यापी वेब संकाय द्वारा मानकीकृत नियम विनिमय प्रारूप बेसिक तर्क डायलेक्ट (आरआईएफ बीएलडी) का फ्रेम सिंटैक्स एफ-तर्क पर आधारित है; आरआईएफ बीएलडी में हालांकि एफ-तर्क की गैर-मोनोटोनिक तर्क विशेषताएं शामिल नहीं हैं।[1]
विवरण तर्क आधारित सत्तामीमांसा औपचारिकता के विपरीत एफ-तर्क के शब्दार्थ सामान्य रूप से डीएल की खुली दुनिया धारणा के विपरीत बंद विश्व धारणा के हैं। साथ ही, एफ-तर्क आम तौर पर अनिर्णीत समस्या है,[citation needed] जबकि SHOIN जिस पर वेब ओन्टोलॉजी लैंग्वेज आधारित है, निर्णायक है। हालांकि विवरण तर्कों की तुलना में एफ-तर्क में अधिक अभिव्यंजक बयानों का प्रतिनिधित्व करना संभव है।
एफ-तर्क का सबसे व्यापक विवरण 1995 में प्रकाशित हुआ था।[2] प्रारंभिक पेपर[3][4] 1989 से SIGMOD से 1999 का टेस्ट ऑफ़ टाइम अवार्ड जीता।[5] अनुवर्ती पत्र[6] 1992 से ACM SIGMOD से 2002 का टेस्ट ऑफ़ टाइम अवार्ड जीता।[5]
एफ-तर्क सिंटैक्स
वर्गों और व्यक्तियों को एफ-तर्क में निम्नानुसार परिभाषित किया जा सकता है:
आदमी :: व्यक्ति। महिला :: व्यक्ति। ब्रैड: यार। एंजेलीना: महिला।
इसमें कहा गया है, कि पुरुष और महिला व्यक्ति हैं और ब्रैड पुरुष है, और एंजेलिना महिला है।
वर्गों और व्यक्तियों के बारे में कथन निम्नानुसार किए जा सकते हैं:
व्यक्ति [हैसोन => आदमी]।
ब्रैड [हैसन -> {मैडॉक्स, पैक्स}]।
विवाहित (ब्रैड, एंजेलीना)।
यह परिभाषित करता है कि व्यक्ति का बेटा आदमी है, मैडॉक्स और पैक्स ब्रैड के बेटे हैं और ब्रैड और एंजेलीना विवाहित हैं।
इसके अलावा निम्नलिखित तरीके से एफ-तर्क में सिद्धांतों का प्रतिनिधित्व करना संभव है:
man(X) <- person(X) AND NOT woman(X).
X:person[hasFather->Y] <- Y:man[hasSon -> X].
इसका अर्थ है कि X पुरुष है यदि X व्यक्ति है लेकिन महिला नहीं है और यदि X, Y का पुत्र है तो X व्यक्ति है और Y, X का पिता है।
(ध्यान दें: बाद वाला अनुमान तथ्यात्मक नहीं है, क्योंकि पिता के अतिरिक्त पुत्रों की भी माताएँ होती हैं। एक्स का लिंग आधार से निर्धारित होता है, लेकिन वाई का लिंग नहीं है।)
फ्लोरा-2 -2 प्रणाली ने एफ-तर्क के सिंटैक्स में कई बदलाव पेश किए, जिससे यह केवल सैद्धांतिक तर्क के विपरीत ज्ञान प्रतिनिधित्व और तर्क प्रणाली के लिए अधिक उपयुक्त हो गया। विशेष रूप से, चर एक ?-चिह्न के साथ उपसर्ग बन गए, कार्यात्मक और बहु-मूल्यवान गुणों के बीच का अंतर हटा दिया गया और कार्डिनैलिटी बाधाओं के साथ-साथ अन्य महत्वपूर्ण परिवर्तनों द्वारा प्रतिस्थापित किया गया। उदाहरण के लिए, उपरोक्त वाक्यों की जोड़ी फ्लोरा -2 में इस तरह दिखती है:
man(?X) <- person(?X) \and \naf woman(?X).
?X:person[hasFather->?Y] <- ?Y:man[hasSon -> ?X].
यहाँ \naf डिफ़ॉल्ट अस्वीकृति है ( naf नकारात्मकता के लिए विफलता के रूप में खड़ा है, अच्छी तरह से स्थापित शब्दार्थ के आधार पर); फ्लोरा-2 भी तथाकथित स्पष्ट निषेध का समर्थन करता है,[7] जो शास्त्रीय तर्क में निषेध के करीब है।
एफ-तर्क आधारित भाषाएं
- फ्लोरा -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, 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
- ↑ 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
- ↑ 5.0 5.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.
