स्थिति गणना: Difference between revisions
mNo edit summary |
mNo edit summary |
||
| Line 24: | Line 24: | ||
===क्रियाएं=== | ===क्रियाएं=== | ||
क्रियाएँ एक प्रकार का कार्यक्षेत्र बनाती हैं। क्रमबद्ध क्रिया के चरों का उपयोग किया जा सकता | क्रियाएँ एक प्रकार का कार्यक्षेत्र बनाती हैं। क्रमबद्ध क्रिया के चरों का उपयोग किया जा सकता है और क्रियाओं को परिमाणित भी किया जा सकता है। रोबोट की दुनिया के उदाहरण में, संभावित क्रिया पद , रोबोट को एक नए स्थान<math>(x,y)</math> पर ले जाने के लिए <math>move(x,y)</math> का प्रतिरूपण बनाना, और किसी वस्तु {{mvar|o}} को उठाने वाले रोबोट <math>pickup(o)</math> का प्रतिरूपण बनाना सम्मिलित है। सम्बंधित कार्रवाई निष्पादन योग्य होने पर इंगित करने के लिए एक विशेष विधेय पॉस का उपयोग किया जाता है। | ||
===परिस्थितियाँ=== | ===परिस्थितियाँ=== | ||
स्थिति गणना में, एक गतिशील दुनिया को दुनिया के भीतर किए जा रहे विभिन्न फलन के परिणामस्वरूप स्थितियों की एक श्रृंखला के माध्यम से प्रगति के रूप में तैयार किया | स्थिति गणना में, एक गतिशील दुनिया को दुनिया के भीतर किए जा रहे विभिन्न फलन के परिणामस्वरूप स्थितियों की एक श्रृंखला के माध्यम से प्रगति के रूप में तैयार किया जाता है। एक स्थिति क्रिया घटित होने के इतिहास का प्रतिनिधित्व करती है। यहां वर्णित स्थिति गणना के रेइटर संस्करण में, एक स्थिति, शब्द के शाब्दिक अर्थ के विपरीत और मैककार्थी और हेस द्वारा मूल परिभाषा के विपरीत एक स्थिति का प्रतिनिधित्व नहीं करती है। इस बिंदु को रेइटर द्वारा इस प्रकार संक्षेप में प्रस्तुत किया गया है: | ||
: | : स्थिति क्रियाओं का एक सीमित क्रम अवधि है। यह कोई स्थिति नहीं है, यह कोई आशुचित्र नहीं है, यह एक इतिहास है।<ref>{{Cite web|url=http://www.ida.liu.se/ext/etai/rac/notes/1997/09/note.html|title = ECSTER Debate Contribution}}</ref> | ||
किसी भी कार्य को करने से पहले की स्थिति को | किसी भी कार्य को करने से पहले की स्थिति को सामान्य तौर पर {{tmath|S_0}} द्वारा दर्शाया जाता है और इसे प्रारंभिक स्थिति कहा जाता है। किसी क्रिया के निष्पादन से उत्पन्न नई स्थिति को फलन प्रतीक {{mvar|do}} का उपयोग करके दर्शाया जाता है और कुछ अन्य सन्दर्भ में {{mvar|result}} का भी प्रयोग किया जाता है। इस फलन प्रतीक में तर्क के रूप में एक स्थिति और एक क्रिया होती है, और परिणाम के रूप में एक स्थिति होती है, बाद वाली स्थिति वह स्थिति होती है जो दी गई स्थिति में दी गई कार्रवाई को करने के परिणामस्वरूप होती है। | ||
तथ्य यह है कि परिस्थितियाँ क्रियाओं का क्रम हैं न कि अवस्थाएँ, यह कहते हुए एक सिद्धांत द्वारा लागू किया जाता है <math>do(a,s)</math> के बराबर है <math>do(a',s')</math> अगर और केवल अगर <math>a=a'</math> और <math>s=s'</math>. इस स्थिति का कोई मतलब नहीं है यदि स्थितियाँ स्थिति की हों, क्योंकि दो अलग-अलग स्थितिों में निष्पादित दो अलग-अलग कार्रवाइयों का परिणाम एक ही स्थिति में हो सकता है। | तथ्य यह है कि परिस्थितियाँ क्रियाओं का क्रम हैं न कि अवस्थाएँ, यह कहते हुए एक सिद्धांत द्वारा लागू किया जाता है <math>do(a,s)</math> के बराबर है <math>do(a',s')</math> अगर और केवल अगर <math>a=a'</math> और <math>s=s'</math>. इस स्थिति का कोई मतलब नहीं है यदि स्थितियाँ स्थिति की हों, क्योंकि दो अलग-अलग स्थितिों में निष्पादित दो अलग-अलग कार्रवाइयों का परिणाम एक ही स्थिति में हो सकता है। | ||
| Line 39: | Line 39: | ||
=== धारास्पष्टता === | === धारास्पष्टता === | ||
{{main| Fluent (artificial intelligence)}} | {{main| Fluent (artificial intelligence)}} | ||
ऐसे कथन जिनका सत्य मान बदल सकता है, उन्हें संबंधपरक स्पष्टता, विधेय द्वारा प्रतिरूपित किया जाता है जो किसी स्थिति को अपने अंतिम तर्क के रूप में लेते हैं। कार्यात्मक स्पष्टता भी संभव हैं, | ऐसे कथन जिनका सत्य मान बदल सकता है, उन्हें संबंधपरक स्पष्टता, विधेय द्वारा प्रतिरूपित किया जाता है जो किसी स्थिति को अपने अंतिम तर्क के रूप में लेते हैं। कार्यात्मक स्पष्टता भी संभव हैं, फलन जो किसी स्थिति को अपने अंतिम तर्क के रूप में लेते हैं और स्थिति-निर्भर मूल्य लौटाते हैं। फ़्लुएंट्स को दुनिया की संपत्ति माना जा सकता है'। | ||
उदाहरण में, धारास्पष्टता <math>\textit{isCarrying}(o,s)</math> इसका उपयोग यह इंगित करने के लिए किया जा सकता है कि रोबोट किसी विशेष स्थिति में किसी विशेष वस्तु को ले जा रहा है। यदि रोबोट प्रारंभ में कुछ भी नहीं ले जाता है, <math>\textit{isCarrying}(Ball,S_{0})</math> जबकि झूठ है <math>\textit{isCarrying}(Ball,do(pickup(Ball),S_{0}))</math> क्या सच है। रोबोट के स्थान को एक कार्यात्मक धारास्पष्टता का उपयोग करके मॉडल किया जा सकता है <math>location(s)</math> जो स्थान लौटाता है <math>(x,y)</math> किसी विशेष स्थिति में रोबोट का। | उदाहरण में, धारास्पष्टता <math>\textit{isCarrying}(o,s)</math> इसका उपयोग यह इंगित करने के लिए किया जा सकता है कि रोबोट किसी विशेष स्थिति में किसी विशेष वस्तु को ले जा रहा है। यदि रोबोट प्रारंभ में कुछ भी नहीं ले जाता है, <math>\textit{isCarrying}(Ball,S_{0})</math> जबकि झूठ है <math>\textit{isCarrying}(Ball,do(pickup(Ball),S_{0}))</math> क्या सच है। रोबोट के स्थान को एक कार्यात्मक धारास्पष्टता का उपयोग करके मॉडल किया जा सकता है <math>location(s)</math> जो स्थान लौटाता है <math>(x,y)</math> किसी विशेष स्थिति में रोबोट का। | ||
| Line 82: | Line 82: | ||
Poss(pickup(o),s)\wedge location(s)=(x,y)\rightarrow location(do(pickup(o),s))=(x,y) | Poss(pickup(o),s)\wedge location(s)=(x,y)\rightarrow location(do(pickup(o),s))=(x,y) | ||
</math> | </math> | ||
फ़्रेम सिद्धांतों को निर्दिष्ट करने की आवश्यकता को गतिशील दुनिया को सिद्धांत करने में एक समस्या के रूप में लंबे समय से पहचाना गया है, और इसे फ़्रेम समस्या के रूप में जाना जाता है। चूंकि | फ़्रेम सिद्धांतों को निर्दिष्ट करने की आवश्यकता को गतिशील दुनिया को सिद्धांत करने में एक समस्या के रूप में लंबे समय से पहचाना गया है, और इसे फ़्रेम समस्या के रूप में जाना जाता है। चूंकि सामान्य तौर पर ऐसे सिद्धांतों की एक बहुत बड़ी संख्या होती है, इसलिए डिजाइनर के लिए एक आवश्यक फ्रेम सिद्धांत को छोड़ना, या दुनिया के विवरण में बदलाव करते समय सभी उपयुक्त सिद्धांतों को संशोधित करना भूल जाना बहुत आसान होता है। | ||
===उत्तरवर्ती स्थिति सिद्धांत=== | ===उत्तरवर्ती स्थिति सिद्धांत=== | ||
| Line 144: | Line 144: | ||
मैक्कार्थी और हेस द्वारा मूल स्थिति गणना और आज उपयोग में आने वाली गणना के बीच मुख्य अंतर स्थितियों की व्याख्या है। स्थितिजन्य गणना के आधुनिक संस्करण में, स्थिति क्रियाओं का एक क्रम है। मूल रूप से, स्थितियों को समय के एक पल में ब्रह्मांड की पूर्ण स्थिति के रूप में परिभाषित किया गया था। यह शुरू से ही स्पष्ट था कि ऐसी स्थितियों का पूरी तरह से वर्णन नहीं किया जा सकता है; विचार बस स्थितियों के बारे में कुछ बयान देने और उनसे परिणाम निकालने का था। यह उस दृष्टिकोण से भी अलग है जो स्पष्टता गणना द्वारा अपनाया जाता है, जहां एक स्थिति ज्ञात तथ्यों का एक संग्रह हो सकता है, यानी, ब्रह्मांड का संभवतः अधूरा विवरण। | मैक्कार्थी और हेस द्वारा मूल स्थिति गणना और आज उपयोग में आने वाली गणना के बीच मुख्य अंतर स्थितियों की व्याख्या है। स्थितिजन्य गणना के आधुनिक संस्करण में, स्थिति क्रियाओं का एक क्रम है। मूल रूप से, स्थितियों को समय के एक पल में ब्रह्मांड की पूर्ण स्थिति के रूप में परिभाषित किया गया था। यह शुरू से ही स्पष्ट था कि ऐसी स्थितियों का पूरी तरह से वर्णन नहीं किया जा सकता है; विचार बस स्थितियों के बारे में कुछ बयान देने और उनसे परिणाम निकालने का था। यह उस दृष्टिकोण से भी अलग है जो स्पष्टता गणना द्वारा अपनाया जाता है, जहां एक स्थिति ज्ञात तथ्यों का एक संग्रह हो सकता है, यानी, ब्रह्मांड का संभवतः अधूरा विवरण। | ||
स्थिति गणना के मूल संस्करण में, स्पष्टताों का पुनरीक्षण नहीं किया जाता है। दूसरे शब्दों में, जो स्थितियाँ बदल सकती हैं उन्हें विधेय द्वारा दर्शाया जाता है न कि फलन द्वारा। दरअसल, मैक्कार्थी और हेस ने स्पष्टता को एक ऐसे कार्य के रूप में परिभाषित किया जो स्थिति पर निर्भर करता है, लेकिन फिर वे स्पष्टता का प्रतिनिधित्व करने के लिए हमेशा विधेय का उपयोग करते हुए आगे बढ़े। उदाहरण के लिए, यह तथ्य कि जगह-जगह बारिश हो रही है {{mvar|x}} स्थिति में {{mvar|s}} को शाब्दिक रूप से दर्शाया गया है <math>raining(x,s)</math>. मैक्कार्थी द्वारा सिचुएशन गणना के 1986 संस्करण में, कार्यात्मक प्रवाह का उपयोग किया जाता है। उदाहरण के लिए, किसी वस्तु की स्थिति {{mvar|x}} स्थिति में {{mvar|s}} के मान से दर्शाया जाता है <math>location(x,s)</math>, कहाँ {{mvar|location}} एक | स्थिति गणना के मूल संस्करण में, स्पष्टताों का पुनरीक्षण नहीं किया जाता है। दूसरे शब्दों में, जो स्थितियाँ बदल सकती हैं उन्हें विधेय द्वारा दर्शाया जाता है न कि फलन द्वारा। दरअसल, मैक्कार्थी और हेस ने स्पष्टता को एक ऐसे कार्य के रूप में परिभाषित किया जो स्थिति पर निर्भर करता है, लेकिन फिर वे स्पष्टता का प्रतिनिधित्व करने के लिए हमेशा विधेय का उपयोग करते हुए आगे बढ़े। उदाहरण के लिए, यह तथ्य कि जगह-जगह बारिश हो रही है {{mvar|x}} स्थिति में {{mvar|s}} को शाब्दिक रूप से दर्शाया गया है <math>raining(x,s)</math>. मैक्कार्थी द्वारा सिचुएशन गणना के 1986 संस्करण में, कार्यात्मक प्रवाह का उपयोग किया जाता है। उदाहरण के लिए, किसी वस्तु की स्थिति {{mvar|x}} स्थिति में {{mvar|s}} के मान से दर्शाया जाता है <math>location(x,s)</math>, कहाँ {{mvar|location}} एक फलन है. ऐसे फलन के बारे में कथन समानता का उपयोग करके दिए जा सकते हैं: <math>location(x,s)=location(x,s')</math> इसका मतलब है कि वस्तु का स्थान {{mvar|x}} दोनों स्थितियों में समान है {{mvar|s}} और <math>s'</math>. | ||
क्रियाओं का निष्पादन | क्रियाओं का निष्पादन फलन द्वारा दर्शाया जाता है {{mvar|result}}: कार्रवाई का निष्पादन {{mvar|a}} स्थिति में {{mvar|s}} स्थिति है <math>\textit{result}(a,s)</math>. क्रियाओं के प्रभाव को स्थिति से संबंधित सूत्र द्वारा व्यक्त किया जाता है {{mvar|s}} और स्थितियों में स्पष्टता <math>\textit{result}(a,s)</math>. उदाहरण के लिए, दरवाज़ा खोलने की क्रिया के परिणामस्वरूप दरवाज़ा बंद न होने पर भी खुला रहता है, इसे निम्न द्वारा दर्शाया जाता है: | ||
:<math>\neg locked(door,s) \rightarrow open(door, \textit{result}(opens,s))</math> | :<math>\neg locked(door,s) \rightarrow open(door, \textit{result}(opens,s))</math> | ||
Revision as of 12:26, 7 August 2023
स्थिति गणना एक तर्क औपचारिकता है जिसे गतिशील कार्यक्षेत्र के बारे में प्रतिनिधित्व और तर्क करने के लिए डिज़ाइन किया गया है। इसे पहली बार 1963 में जॉन मैक्कार्थी (कंप्यूटर वैज्ञानिक) द्वारा प्रस्तुत किया गया था।[1] इस आलेख में प्रस्तुत स्थितिजन्य गणना का मुख्य संस्करण 1991 में रे रेइटर द्वारा प्रस्तुत किए गए संस्करण पर आधारित है। इसके बाद मैक्कार्थी के 1986 संस्करण और एक तर्क क्रमादेशन सूत्रीकरण के बारे में अनुभाग दिए गए हैं।
अवलोकन
स्थिति गणना प्रथम-क्रम तर्क सूत्रों के एक समूह के रूप में बदलते परिदृश्यों का प्रतिनिधित्व करती है। गणना के मूल अवयव हैं:
- संसार में जो कार्य किये जा सकते हैं
- स्पष्टता (कृत्रिम बुद्धि) जो विश्व की स्थिति का वर्णन करती है
- परिस्थितियाँ
कार्यक्षेत्र को कई सूत्रों द्वारा औपचारिक रूप दिया जाता है, अर्थात्:
- प्रत्येक क्रिया के लिए एक पूर्वपेक्षित सिद्धांत क्रिया
- प्रत्येक स्पष्टता के लिए एक अनुक्रम स्थिति सिद्धांत
- विभिन्न स्थितियों में दुनिया का वर्णन करने वाले सिद्धांत
- स्थिति गणना के मूलभूत सिद्धांत
एक सामान्य रोबोट दुनिया को एक संचालित उदाहरण के रूप में तैयार किया जाएगा। इस दुनिया में एक रोबोट और कई निर्जीव वस्तुएं हैं। दुनिया को एक ग्रिड के अनुसार व्यवस्थित किया गया है ताकि स्थानों को समन्वय बिंदु के अनुसार निर्दिष्ट किया जा सके। रोबोट के लिए दुनिया भर में घूमना और वस्तुओं को उठाना और छोड़ना संभव है। कुछ वस्तुएं रोबोट के उठाने के लिए बहुत भारी हो सकती हैं, या इतनी नाजुक हो सकती हैं कि गिराए जाने पर वे टूट जाएं। रोबोट अपने पास उपलब्ध किसी भी टूटी हुई वस्तु की मरम्मत करने की भी क्षमता रखता है।
अवयव
स्थिति गणना के मुख्य अवयव क्रियाएं, स्पष्टता और स्थितियां हैं। दुनिया के वर्णन में सामान्यतौर पर कई वस्तुएं भी सम्मिलित होती हैं। स्थिति गणना तीन प्रकार के क्रमबद्ध कार्यक्षेत्र पर आधारित है: क्रियाएं, स्थितियां और वस्तुएं, जहां वस्तुओं में वह सब कुछ सम्मिलित होता है जो कोई क्रिया या स्थिति में नहीं होता है। प्रत्येक प्रकार के क्रमबद्ध चर का उपयोग किया जा सकता है। जबकि क्रियाएँ, परिस्थितियाँ और वस्तुएँ कार्यक्षेत्र के अवयव हैं, स्पष्टता को या तो विधेय या फलन के रूप में तैयार किया जाता है।
क्रियाएं
क्रियाएँ एक प्रकार का कार्यक्षेत्र बनाती हैं। क्रमबद्ध क्रिया के चरों का उपयोग किया जा सकता है और क्रियाओं को परिमाणित भी किया जा सकता है। रोबोट की दुनिया के उदाहरण में, संभावित क्रिया पद , रोबोट को एक नए स्थान पर ले जाने के लिए का प्रतिरूपण बनाना, और किसी वस्तु o को उठाने वाले रोबोट का प्रतिरूपण बनाना सम्मिलित है। सम्बंधित कार्रवाई निष्पादन योग्य होने पर इंगित करने के लिए एक विशेष विधेय पॉस का उपयोग किया जाता है।
परिस्थितियाँ
स्थिति गणना में, एक गतिशील दुनिया को दुनिया के भीतर किए जा रहे विभिन्न फलन के परिणामस्वरूप स्थितियों की एक श्रृंखला के माध्यम से प्रगति के रूप में तैयार किया जाता है। एक स्थिति क्रिया घटित होने के इतिहास का प्रतिनिधित्व करती है। यहां वर्णित स्थिति गणना के रेइटर संस्करण में, एक स्थिति, शब्द के शाब्दिक अर्थ के विपरीत और मैककार्थी और हेस द्वारा मूल परिभाषा के विपरीत एक स्थिति का प्रतिनिधित्व नहीं करती है। इस बिंदु को रेइटर द्वारा इस प्रकार संक्षेप में प्रस्तुत किया गया है:
- स्थिति क्रियाओं का एक सीमित क्रम अवधि है। यह कोई स्थिति नहीं है, यह कोई आशुचित्र नहीं है, यह एक इतिहास है।[2]
किसी भी कार्य को करने से पहले की स्थिति को सामान्य तौर पर द्वारा दर्शाया जाता है और इसे प्रारंभिक स्थिति कहा जाता है। किसी क्रिया के निष्पादन से उत्पन्न नई स्थिति को फलन प्रतीक do का उपयोग करके दर्शाया जाता है और कुछ अन्य सन्दर्भ में result का भी प्रयोग किया जाता है। इस फलन प्रतीक में तर्क के रूप में एक स्थिति और एक क्रिया होती है, और परिणाम के रूप में एक स्थिति होती है, बाद वाली स्थिति वह स्थिति होती है जो दी गई स्थिति में दी गई कार्रवाई को करने के परिणामस्वरूप होती है।
तथ्य यह है कि परिस्थितियाँ क्रियाओं का क्रम हैं न कि अवस्थाएँ, यह कहते हुए एक सिद्धांत द्वारा लागू किया जाता है के बराबर है अगर और केवल अगर और . इस स्थिति का कोई मतलब नहीं है यदि स्थितियाँ स्थिति की हों, क्योंकि दो अलग-अलग स्थितिों में निष्पादित दो अलग-अलग कार्रवाइयों का परिणाम एक ही स्थिति में हो सकता है।
उदाहरण रोबोट की दुनिया में, यदि रोबोट की पहली क्रिया स्थान पर जाना है , पहली क्रिया है और परिणामी स्थिति है . यदि इसकी अगली क्रिया गेंद को उठाना है, तो परिणामी स्थिति यह होगी