घटना गणना: Difference between revisions

Revision as of 11:41, 10 August 2023

प्रसंग गणना प्रसंगो और उनके प्रभावों के बारे में प्रतिनिधित्व और तर्क करने के लिए एक तार्किक भाषा है जिसे पहली बार 1986 में रॉबर्ट कोवाल्स्की और मारेक सर्गोट द्वारा प्रस्तुत किया गया था।^[1] इसे 1990 के दशक में मुर्राय षनहं और रॉब मिलर (कंप्यूटर वैज्ञानिक) द्वारा विस्तारित किया गया था।^[2] परिवर्तन के बारे में तर्क के लिए अन्य भाषाओं के समतुल्य, प्रसंग गणना स्पष्टता पर क्रिया के प्रभावों का प्रतिनिधित्व करता है। हालाँकि, प्रसंग (कंप्यूटिंग) पद्वति के बाहर भी हो सकता है। प्रसंग गणना में, कोई कुछ निश्चित समय बिंदुओं पर स्पष्टता के मान, दिए गए समय बिंदुओं पर होने वाली प्रसंगो और उनके प्रभावों को निर्दिष्ट कर सकता है।

स्पष्टता और प्रसंग

प्रसंग गणना में, स्पष्ट पुनःकरण हैं। इसका अर्थ यह है कि उन्हें विधेय के माध्यम से नहीं बल्कि फलन के माध्यम से औपचारिक रूप दिया जाता है। एक अलग विधेय $HoldsAt$ का उपयोग यह बताने के लिए किया जाता है कि कौनसी स्पष्टता किसी निश्चित समय बिंदु पर उपलब्ध हैं। उदाहरण के लिए, ${\mathit {HoldsAt}}(on(box,table),t)$ इसका अर्थ है कि $t$ समय पर बॉक्स टेबल पर है ; इस सूत्र में, $HoldsAt$ एक विधेय है और $on$ एक फलन है।

प्रसंगो को पदों के रूप में भी दर्शाया जाता है। प्रसंगो का प्रभाव विधेय, आरंभ और समाप्ति का उपयोग करके दिया जाता है। विशेष रूप से, ${\mathit {Initiates}}(e,f,t)$ का अर्थ है कि, यदि प्रसंग को $e$ पद द्वारा $t$ समय पर निष्पादित किया जाता है तो $t$ समय पर स्पष्टता $f$ सत्य होगी। समाप्ति विधेय का अर्थ आरंभ विधेय के समतुल्य ही होता है, केवल अंतर के साथ कि $t$ समय पर स्पष्टता $f$ असत्य होगी।

कार्यक्षेत्र-स्वतंत्र सिद्धांत

क्रियाओं का प्रतिनिधित्व करने के लिए अन्य भाषाओं की तरह, प्रसंग गणना एक स्वेच्छ क्रिया के बाद प्रत्येक स्पष्टता के मान को बताने वाले सूत्रों के माध्यम से स्पष्टता के सही विकास को औपचारिक बनाता है। प्रसंग गणना तंत्र समस्या को इस तरह से हल करता है जो स्थिति गणना के अनुक्रमित अवस्था सिद्धांत के समतुल्य है: $t$ समय पर स्पष्टता सत्य होती है यदि और केवल यदि इसे अतीत में सत्य बनाया गया हो और इस बीच असत्य नहीं बनाया गया हो।

{\mathit {HoldsAt}}(f,t)\leftarrow [{\mathit {Happens}}(e,t_{1})\wedge {\mathit {Initiates}}(e,f,t_{1})\wedge (t_{1}<t)\wedge \neg {\mathit {Clipped}}(t_{1},f,t)]

इस सूत्र का अर्थ है कि $t$ समय पर $f$ पद द्वारा दर्शायी गयी स्पष्टता सत्य है अगर:

${\mathit {Happens}}(e,t_{1})$ ; एक प्रसंग $e$ घटित हुआ था,
${\mathit {t}}_{1}<t$ ; यह अतीत में हुआ था:
${\mathit {Initiates}}(e,f,t_{1})$ ; इस प्रसंग में प्रभाव के रूप में $f$ स्पष्टता है,
${\mathit {Clipped}}(t_{1},f,t)$ ; इस बीच स्पष्टता को असत्य नहीं बनाया गया है

एक समतुल्य सूत्र का उपयोग विपरीत स्थितियों को औपचारिक बनाने के लिए किया जाता है जिसमें एक निश्चित समय पर स्पष्टता असत्य होती है। किसी प्रसंग के प्रभावित होने से पहले स्पष्टता को उचित तरीके से औपचारिक बनाने के लिए अन्य सूत्रों की भी आवश्यकता होती है। ये सूत्र उपरोक्त के समतुल्य हैं, लेकिन ${\mathit {Happens}}(e,t_{1})\wedge {\mathit {Initiates}}(e,f,t_{1})$ को ${\mathit {HoldsAt}}(f,t_{1})$ द्वारा प्रतिस्थापित किया गया है।

Clipped विधेय, जिसमें कहा गया है कि एक अंतराल के दौरान स्पष्टता को असत्य बना दिया जाता है, इसे स्वयंसिद्ध किया जा सकता है या बस संकेतलिपि के रूप में लिया जा सकता है, इस प्रकार:

{\mathit {Clipped}}(t_{1},f,t_{2})\equiv \exists e,t[{\mathit {Happens}}(e,t)\wedge (t_{1}\leq t<t_{2})\wedge {\mathit {Terminates}}(e,f,t)]

कार्यक्षेत्र-निर्भर सिद्धांत

उपरोक्त सिद्धांत विधेय $HoldsAt$ , आरम्भ और समाप्ति के मान से संबंधित हैं लेकिन यह निर्दिष्ट न करें कि कौन से स्पष्टता सत्य माने जाते हैं और कौन सी प्रसंगएँ वास्तव में स्पष्टता को सत्य या असत्य बनाती हैं। यह कार्यक्षेत्र-निर्भर सिद्धांतों के एक समूह का उपयोग करके किया जाता है। स्पष्टता के ज्ञात मानों को सरल शाब्दिक रूप में बताया गया है ${\mathit {HoldsAt}}(f,t)$ . प्रसंगो के प्रभावों को उनकी पूर्व शर्तों के साथ प्रसंगो के प्रभावों से संबंधित सूत्रों द्वारा बताया जाता है। उदाहरण के लिए, यदि प्रसंग $open$ स्पष्टता बनाता है $isopen$ सत्य है, परंतु केवल यदि $haskey$ वर्तमान में सत्य है, प्रसंग गणना में संबंधित सूत्र है:

{\mathit {Initiates}}(e,f,t)\equiv [e=open\wedge f=isopen\wedge {\mathit {HoldsAt}}(haskey,t)]\vee \cdots

इस तुल्यता की दाहिनी ओर की अभिव्यक्ति एक विच्छेद से बनी है: प्रत्येक प्रसंग और स्पष्टता के लिए जिसे प्रसंग द्वारा सच किया जा सकता है, वहां एक विच्छेद कहा गया है कि $e$ वास्तव में वह प्रसंग है, वह $f$ वास्तव में वह स्पष्टता है, और यह कि प्रसंग की पूर्व शर्त पूरी हो गई है।

उपरोक्त सूत्र सत्य मान निर्दिष्ट करता है ${\mathit {Initiates}}(e,f,t)$ हर संभव प्रसंग और स्पष्टता के लिए। परिणामस्वरूप, सभी प्रसंगो के सभी प्रभावों को एक सूत्र में संयोजित करना होगा। यह एक समस्या है, क्योंकि किसी नए ईवेंट को जोड़ने के लिए नए जोड़ने के बजाय उपलब्धा सूत्रों को संशोधित करने की आवश्यकता होती है। इस समस्या को सूत्रों के एक समूह पर परिधि (तर्क) के अनुप्रयोग द्वारा हल किया जा सकता है, जिनमें से प्रत्येक एक प्रसंग के एक प्रभाव को निर्दिष्ट करता है:

{\mathit {Initiates}}(open,isopen,t)\leftarrow {\mathit {HoldsAt}}(haskey,t)

{\mathit {Initiates}}(break,isopen,t)\leftarrow {\mathit {HoldsAt}}(hashammer,t)

{\mathit {Initiates}}(break,broken,t)\leftarrow {\mathit {HoldsAt}}(hashammer,t)

ये सूत्र उपरोक्त सूत्र की तुलना में सरल हैं, क्योंकि प्रत्येक प्रसंग के प्रत्येक प्रभाव को अलग से निर्दिष्ट किया जा सकता है। कौन सी प्रसंग बता रहा है एक सूत्र $e$ और स्पष्टता $f$ निर्माण ${\mathit {Initiates}}(e,f,t)$ ट्रू को छोटे सूत्रों के एक समूह से बदल दिया गया है, जिनमें से प्रत्येक एक स्पष्टता पर किसी प्रसंग के प्रभाव को बताता है।

हालाँकि, ये सूत्र उपरोक्त सूत्र के समतुल्य नहीं हैं। दरअसल, वे केवल इसके लिए पर्याप्त शर्तें निर्दिष्ट करते हैं ${\mathit {Initiates}}(e,f,t)$ सत्य होने के लिए, जिसे इस तथ्य से पूरा किया जाना चाहिए $Initiates$ अन्य सभी मामलों में असत्य है। इस तथ्य को केवल विधेय को सीमित करके औपचारिक रूप दिया जा सकता है $Initiates$ उपरोक्त सूत्र में। यह ध्यान रखना महत्वपूर्ण है कि यह परिनियम केवल निर्दिष्ट सूत्रों पर ही किया जाता है $Initiates$ और कार्यक्षेत्र-स्वतंत्र सिद्धांतों पर नहीं। विधेय $Terminates$ को उसी तरह निर्दिष्ट किया जा सकता है $Initiates$ है।

के लिए एक समतुल्य दृष्टिकोण अपनाया जा सकता है $Happens$ विधेय. इस विधेय का मानांकन सूत्रों द्वारा लागू किया जा सकता है जो न केवल यह निर्दिष्ट करता है कि यह कब सत्य है और कब असत्य है:

{\mathit {Happens}}(e,t)\equiv (e=open\wedge t=0)\vee (e=exit\wedge t=1)\vee \cdots

परिधि इस विनिर्देश को सरल बना सकती है, क्योंकि केवल आवश्यक शर्तें ही निर्दिष्ट की जा सकती हैं:

{\mathit {Happens}}(open,0)

{\mathit {Happens}}(exit,1)

विधेय की परिधि करना $Happens$ , यह विधेय उन सभी बिंदुओं पर असत्य होगा जहां इसे स्पष्ट रूप से सत्य होने के लिए निर्दिष्ट नहीं किया गया है। यह परिच्छेद अन्य सूत्रों के परिच्छेद से अलग करना पड़ता है। दूसरे शब्दों में, यदि $F$ प्रकार के सूत्रों का समूह है ${\mathit {Initiates}}(e,f,t)\leftarrow \cdots$ , $G$ सूत्रों का समूह है ${\mathit {Happens}}(e,t)$ , और $H$ कार्यक्षेत्र स्वतंत्र सिद्धांत हैं, कार्यक्षेत्र का सही सूत्रीकरण है:

{\mathit {Circ}}(F;{\mathit {Initiates}},{\mathit {Terminates}})\wedge Circ(G;Happens)\wedge H

एक तर्क कार्यक्रम के रूप में प्रसंग गणना

प्रसंग गणना को मूल रूप से विफलता के रूप में नकार के साथ संवर्धित सींग उपवाक्य के एक समूह के रूप में तैयार किया गया था और इसे प्रोलॉग प्रोग्राम के रूप में चलाया जा सकता था। वास्तव में, परिधि कई शब्दार्थों में से एक है जिसे नकार को विफलता के रूप में दिया जा सकता है, और पूर्णता शब्दार्थ से निकटता से संबंधित है (जिसमें यदि की व्याख्या यदि और केवल यदि के रूप में की जाती है - तर्क प्रोग्रामिंग देखें)।

विस्तार और अनुप्रयोग

कोवाल्स्की और सर्गोट का मूल प्रसंग गणना पेपर डेटाबेस नवीनीकरण और आख्यानों के अनुप्रयोगों पर केंद्रित था।^[3] प्रसंग गणना के विस्तार से गैर-नियतात्मक क्रियाएं, समवर्ती क्रियाएं, विलंबित प्रभाव वाली क्रियाएं, क्रमिक परिवर्तन, अवधि वाली क्रियाएं, निरंतर परिवर्तन और गैर-निष्क्रिय स्पष्टता को भी औपचारिक रूप दिया जा सकता है।

केव एशघी ने दिखाया कि प्रसंग गणना का उपयोग योजना बनाने के लिए कैसे किया जा सकता है,^[4] प्राधिग्रहण तर्क प्रोग्रामिंग में काल्पनिक प्रसंगो को उत्पन्न करने के लिए अपहरण (तर्क) का उपयोग करना। वैन लैम्बलजेन और हैम ने दिखाया कि कैसे प्रसंग गणना का उपयोग प्राकृतिक भाषा में काल और पहलू को एल्गोरिदमिक शब्दार्थ देने के लिए भी किया जा सकता है।^[5] बाधा तर्क प्रोग्रामिंग का उपयोग करना।

प्रसंग गणना के अन्य उल्लेखनीय विस्तारों में मार्कोव लॉजिक नेटवर्क-आधारित,^[6] संभावना,^[7] ज्ञानमीमांसा^[8] वेरिएंट और उनके संयोजन.^[9]

तर्क उपकरण

प्रोलॉग और इसके वेरिएंट के अलावा, प्रसंग गणना का उपयोग करके तर्क करने के लिए कई अन्य उपकरण भी उपलब्ध हैं:

यह भी देखें

प्रथम-क्रम तर्क
फ़्रेम समस्या
स्थिति गणना

संदर्भ

↑ Kowalski, Robert; Sergot, Marek (1986-03-01). "घटनाओं की तर्क-आधारित गणना". New Generation Computing (in English). 4 (1): 67–95. doi:10.1007/BF03037383. ISSN 1882-7055. S2CID 7584513.
↑ Miller, Rob; Shanahan, Murray (2002), Kakas, Antonis C.; Sadri, Fariba (eds.), "Some Alternative Formulations of the Event Calculus", Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II, Lecture Notes in Computer Science (in English), Berlin, Heidelberg: Springer, pp. 452–490, doi:10.1007/3-540-45632-5_17, ISBN 978-3-540-45632-2, retrieved 2020-10-05
↑ Kowalski, Robert (1992-01-01). "इवेंट कैलकुलस में डेटाबेस अपडेट". The Journal of Logic Programming (in English). 12 (1): 121–146. doi:10.1016/0743-1066(92)90041-Z. ISSN 0743-1066.
↑ Eshghi, Kave (1988). "घटना गणना के साथ अपहरण की योजना". Iclp/SLP: 562–579.
↑ Lambalgen, Hamm (2005). घटनाओं का उचित उपचार. Malden, MA: Blackwell Pub. ISBN 978-0-470-75925-7. OCLC 212129657.
↑ Skarlatidis, Anastasios; Paliouras, Georgios; Artikis, Alexander; Vouros, George A. (2015-02-17). "घटना पहचान के लिए संभाव्य घटना कैलकुलस". ACM Transactions on Computational Logic. 16 (2): 11:1–11:37. arXiv:1207.3270. doi:10.1145/2699916. ISSN 1529-3785. S2CID 6389629.
↑ Skarlatidis, Anastasios; Artikis, Alexander; Filippou, Jason; Paliouras, Georgios (March 2015). "एक संभाव्य तर्क प्रोग्रामिंग इवेंट कैलकुलस". Theory and Practice of Logic Programming (in English). 15 (2): 213–245. doi:10.1017/S1471068413000690. ISSN 1471-0684. S2CID 5701272.
↑ Ma, Jiefei; Miller, Rob; Morgenstern, Leora; Patkos, Theodore (2014-07-28). "अतीत, वर्तमान और भविष्य के ज्ञान के बारे में एएसपी-आधारित तर्क के लिए एक ज्ञानमीमांसा घटना कैलकुलस". EPiC Series in Computing (in English). EasyChair. 26: 75–87. doi:10.29007/zswj.
↑ D'Asaro, Fabio Aurelio; Bikakis, Antonis; Dickens, Luke; Miller, Rob (2020-10-01). "ज्ञानमीमांसीय क्रिया कथाओं के बारे में संभाव्य तर्क". Artificial Intelligence (in English). 287: 103352. doi:10.1016/j.artint.2020.103352. ISSN 0004-3702. S2CID 221521535.

अग्रिम पठन

Brandano, S. (2001) "The Event Calculus Assessed," IEEE TIME Symposium: 7-12.
R. Kowalski and F. Sadri (1995) "Variants of the Event Calculus," ICLP: 67-81.
Mueller, Erik T. (2015). Commonsense Reasoning: An Event Calculus Based Approach (2nd Ed.). Waltham, MA: Morgan Kaufmann/Elsevier. ISBN 978-0128014165. (Guide to using the event calculus)
Shanahan, M. (1997) Solving the frame problem: A mathematical investigation of the common sense law of inertia. MIT Press.
Shanahan, M. (1999) "The Event Calculus Explained" Springer Verlag, LNAI (1600): 409-30.

[1] Kowalski, Robert; Sergot, Marek (1986-03-01). "घटनाओं की तर्क-आधारित गणना". New Generation Computing (in English). 4 (1): 67–95. doi:10.1007/BF03037383. ISSN 1882-7055. S2CID 7584513.

[2] Miller, Rob; Shanahan, Murray (2002), Kakas, Antonis C.; Sadri, Fariba (eds.), "Some Alternative Formulations of the Event Calculus", Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II, Lecture Notes in Computer Science (in English), Berlin, Heidelberg: Springer, pp. 452–490, doi:10.1007/3-540-45632-5_17, ISBN 978-3-540-45632-2, retrieved 2020-10-05

[3] Kowalski, Robert (1992-01-01). "इवेंट कैलकुलस में डेटाबेस अपडेट". The Journal of Logic Programming (in English). 12 (1): 121–146. doi:10.1016/0743-1066(92)90041-Z. ISSN 0743-1066.

[4] Eshghi, Kave (1988). "घटना गणना के साथ अपहरण की योजना". Iclp/SLP: 562–579.

[5] Lambalgen, Hamm (2005). घटनाओं का उचित उपचार. Malden, MA: Blackwell Pub. ISBN 978-0-470-75925-7. OCLC 212129657.

[6] Skarlatidis, Anastasios; Paliouras, Georgios; Artikis, Alexander; Vouros, George A. (2015-02-17). "घटना पहचान के लिए संभाव्य घटना कैलकुलस". ACM Transactions on Computational Logic. 16 (2): 11:1–11:37. arXiv:1207.3270. doi:10.1145/2699916. ISSN 1529-3785. S2CID 6389629.

[7] Skarlatidis, Anastasios; Artikis, Alexander; Filippou, Jason; Paliouras, Georgios (March 2015). "एक संभाव्य तर्क प्रोग्रामिंग इवेंट कैलकुलस". Theory and Practice of Logic Programming (in English). 15 (2): 213–245. doi:10.1017/S1471068413000690. ISSN 1471-0684. S2CID 5701272.

[8] Ma, Jiefei; Miller, Rob; Morgenstern, Leora; Patkos, Theodore (2014-07-28). "अतीत, वर्तमान और भविष्य के ज्ञान के बारे में एएसपी-आधारित तर्क के लिए एक ज्ञानमीमांसा घटना कैलकुलस". EPiC Series in Computing (in English). EasyChair. 26: 75–87. doi:10.29007/zswj.

[9] D'Asaro, Fabio Aurelio; Bikakis, Antonis; Dickens, Luke; Miller, Rob (2020-10-01). "ज्ञानमीमांसीय क्रिया कथाओं के बारे में संभाव्य तर्क". Artificial Intelligence (in English). 287: 103352. doi:10.1016/j.artint.2020.103352. ISSN 0004-3702. S2CID 221521535.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

@@ Line 1: / Line 1: @@
 {{Short description|Language for reasoning and representing events}}
-'''प्रसंग गणना''' प्रसंगो और उनके प्रभावों के बारे में प्रतिनिधित्व और [[तर्क]] करने के लिए एक तार्किक भाषा है जिसे पहली बार 1986 में [[रॉबर्ट कोवाल्स्की]] और [[मारेक सर्गोट]] द्वारा प्रस्तुत किया गया था।<ref>{{Cite journal|last1=Kowalski|first1=Robert|last2=Sergot|first2=Marek|date=1986-03-01|title=घटनाओं की तर्क-आधारित गणना|url=https://doi.org/10.1007/BF03037383|journal=New Generation Computing|language=en|volume=4|issue=1|pages=67–95|doi=10.1007/BF03037383|s2cid=7584513|issn=1882-7055}}</ref> इसे 1990 के दशक में [[मुर्राय षनहं]] और रॉब मिलर (कंप्यूटर वैज्ञानिक) द्वारा विस्तारित किया गया था।<ref>{{Citation|last1=Miller|first1=Rob|title=Some Alternative Formulations of the Event Calculus|date=2002|url=https://doi.org/10.1007/3-540-45632-5_17|work=Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II|pages=452–490|editor-last=Kakas|editor-first=Antonis C.|series=Lecture Notes in Computer Science|place=Berlin, Heidelberg|publisher=Springer|language=en|doi=10.1007/3-540-45632-5_17|isbn=978-3-540-45632-2|access-date=2020-10-05|last2=Shanahan|first2=Murray|editor2-last=Sadri|editor2-first=Fariba}}</ref> परिवर्तन के बारे में तर्क के लिए अन्य भाषाओं के समान, प्रसंग गणना स्पष्टता पर क्रिया के प्रभावों का प्रतिनिधित्व करता है। हालाँकि, [[ घटना (कंप्यूटिंग) |प्रसंग (कंप्यूटिंग)]] पद्वति के बाहर भी हो सकता है। प्रसंग गणना में, कोई कुछ निश्चित समय बिंदुओं पर स्पष्टता के मान, दिए गए समय बिंदुओं पर होने वाली प्रसंगो और उनके प्रभावों को निर्दिष्ट कर सकता है।
+'''प्रसंग गणना''' प्रसंगो और उनके प्रभावों के बारे में प्रतिनिधित्व और [[तर्क]] करने के लिए एक तार्किक भाषा है जिसे पहली बार 1986 में [[रॉबर्ट कोवाल्स्की]] और [[मारेक सर्गोट]] द्वारा प्रस्तुत किया गया था।<ref>{{Cite journal|last1=Kowalski|first1=Robert|last2=Sergot|first2=Marek|date=1986-03-01|title=घटनाओं की तर्क-आधारित गणना|url=https://doi.org/10.1007/BF03037383|journal=New Generation Computing|language=en|volume=4|issue=1|pages=67–95|doi=10.1007/BF03037383|s2cid=7584513|issn=1882-7055}}</ref> इसे 1990 के दशक में [[मुर्राय षनहं]] और रॉब मिलर (कंप्यूटर वैज्ञानिक) द्वारा विस्तारित किया गया था।<ref>{{Citation|last1=Miller|first1=Rob|title=Some Alternative Formulations of the Event Calculus|date=2002|url=https://doi.org/10.1007/3-540-45632-5_17|work=Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II|pages=452–490|editor-last=Kakas|editor-first=Antonis C.|series=Lecture Notes in Computer Science|place=Berlin, Heidelberg|publisher=Springer|language=en|doi=10.1007/3-540-45632-5_17|isbn=978-3-540-45632-2|access-date=2020-10-05|last2=Shanahan|first2=Murray|editor2-last=Sadri|editor2-first=Fariba}}</ref> परिवर्तन के बारे में तर्क के लिए अन्य भाषाओं के समतुल्य, प्रसंग गणना स्पष्टता पर क्रिया के प्रभावों का प्रतिनिधित्व करता है। हालाँकि, [[ घटना (कंप्यूटिंग) |प्रसंग (कंप्यूटिंग)]] पद्वति के बाहर भी हो सकता है। प्रसंग गणना में, कोई कुछ निश्चित समय बिंदुओं पर स्पष्टता के मान, दिए गए समय बिंदुओं पर होने वाली प्रसंगो और उनके प्रभावों को निर्दिष्ट कर सकता है।
 ==स्पष्टता और प्रसंग==
@@ Line 10: / Line 10: @@
 ==कार्यक्षेत्र-स्वतंत्र सिद्धांत==
-क्रियाओं का प्रतिनिधित्व करने के लिए अन्य भाषाओं की तरह, प्रसंग गणना एक मनमानी कार्रवाई के बाद प्रत्येक स्पष्टता के मान को बताने वाले सूत्रों के माध्यम से स्पष्टता के सही विकास को औपचारिक बनाता है। प्रसंग गणना तंत्र समस्या को इस तरह से हल करता है जो स्थिति गणना के [[उत्तराधिकारी राज्य स्वयंसिद्ध|अनुक्रमित अवस्था सिद्धांत]] के समान है: समय पर एक स्पष्टता सत्य होता है {{mvar|t}} यदि और केवल यदि इसे अतीत में सत्य बनाया गया हो और इस बीच असत्य नहीं बनाया गया हो।
+क्रियाओं का प्रतिनिधित्व करने के लिए अन्य भाषाओं की तरह, प्रसंग गणना एक स्वेच्छ क्रिया के बाद प्रत्येक स्पष्टता के मान को बताने वाले सूत्रों के माध्यम से स्पष्टता के सही विकास को औपचारिक बनाता है। प्रसंग गणना तंत्र समस्या को इस तरह से हल करता है जो स्थिति गणना के [[उत्तराधिकारी राज्य स्वयंसिद्ध|अनुक्रमित अवस्था सिद्धांत]] के समतुल्य है: {{mvar|t}} समय पर स्पष्टता सत्य होती है यदि और केवल यदि इसे अतीत में सत्य बनाया गया हो और इस बीच असत्य नहीं बनाया गया हो।
 :<math>\mathit{HoldsAt}(f,t) \leftarrow
 [\mathit{Happens}(e,t_1) \wedge \mathit{Initiates}(e,f,t_1)
 \wedge (t_1<t) \wedge \neg \mathit{Clipped}(t_1,f,t)]</math>
-इस सूत्र का अर्थ है कि स्पष्टता शब्द द्वारा दर्शाया गया है {{mvar|f}} समय पर सत्य है {{mvar|t}} अगर:
+इस सूत्र का अर्थ है कि {{mvar|t}} समय पर {{mvar|f}}  पद द्वारा दर्शायी गयी स्पष्टता सत्य है अगर:
-# एक प्रसंग {{mvar|e}} हो गया: <math>\mathit{Happens}(e,t_1)</math>;
+# <math>\mathit{Happens}(e,t_1)</math>; एक प्रसंग {{mvar|e}} घटित हुआ था,
-# यह अतीत में हुआ था: <math>\mathit{t}_1<t</math>;
+# <math>\mathit{t}_1<t</math>; यह अतीत में हुआ था:
-#इस प्रसंग में स्पष्टता है {{mvar|f}} प्रभाव के रूप में: <math>\mathit{Initiates}(e,f,t_1)</math>;
+#<math>\mathit{Initiates}(e,f,t_1)</math>; इस प्रसंग में प्रभाव के रूप में {{mvar|f}}  स्पष्टता है,
-# इस बीच स्पष्टता को गलत नहीं बनाया गया है: <math>\mathit{Clipped}(t_1,f,t)</math>
+# <math>\mathit{Clipped}(t_1,f,t)</math>; इस बीच स्पष्टता को असत्य नहीं बनाया गया है
-एक समान सूत्र का उपयोग विपरीत स्थितियों को औपचारिक बनाने के लिए किया जाता है जिसमें एक निश्चित समय पर स्पष्टता गलत होता है। किसी प्रसंग के प्रभाव होने से पहले स्पष्टता को सही ढंग से औपचारिक बनाने के लिए अन्य सूत्रों की भी आवश्यकता होती है। ये सूत्र उपरोक्त के समान हैं, लेकिन <math>\mathit{Happens}(e,t_1) \wedge \mathit{Initiates}(e,f,t_1)</math> द्वारा प्रतिस्थापित किया जाता है <math>\mathit{HoldsAt}(f,t_1)</math>. {{mvar|Clipped}ed}} विधेय, जिसमें कहा गया है कि एक अंतराल के दौरान एक स्पष्टता को असत्य बना दिया गया है, इसे सिद्धांत किया जा सकता है, या बस शॉर्टहैंड के रूप में लिया जा सकता है, इस प्रकार:
+एक समतुल्य सूत्र का उपयोग विपरीत स्थितियों को औपचारिक बनाने के लिए किया जाता है जिसमें एक निश्चित समय पर स्पष्टता असत्य होती है। किसी प्रसंग के प्रभावित होने से पहले स्पष्टता को उचित तरीके से औपचारिक बनाने के लिए अन्य सूत्रों की भी आवश्यकता होती है। ये सूत्र उपरोक्त के समतुल्य हैं, लेकिन <math>\mathit{Happens}(e,t_1) \wedge \mathit{Initiates}(e,f,t_1)</math> को <math>\mathit{HoldsAt}(f,t_1)</math> द्वारा प्रतिस्थापित किया गया है।
+Clipped विधेय, जिसमें कहा गया है कि एक अंतराल के दौरान स्पष्टता को असत्य बना दिया जाता है, इसे स्वयंसिद्ध किया जा सकता है या बस संकेतलिपि के रूप में लिया जा सकता है, इस प्रकार:
 :<math>\mathit{Clipped}(t_1,f,t_2) \equiv
@@ Line 27: / Line 29: @@
 [\mathit{Happens}(e,t) \wedge (t_1 \leq t < t_2) \wedge \mathit{Terminates}(e,f,t)]</math>
+'''<big><br />कार्यक्षेत्र-निर्भर सिद्धांत</big>'''
-==कार्यक्षेत्र-निर्भर सिद्धांत==
+उपरोक्त सिद्धांत विधेय {{mvar|HoldsAt}}, आरम्भ और समाप्ति के मान से संबंधित हैं लेकिन यह निर्दिष्ट न करें कि कौन से स्पष्टता सत्य माने जाते हैं और कौन सी प्रसंगएँ वास्तव में स्पष्टता को सत्य या असत्य बनाती हैं। यह कार्यक्षेत्र-निर्भर सिद्धांतों के एक समूह का उपयोग करके किया जाता है। स्पष्टता के ज्ञात मानों को सरल शाब्दिक रूप में बताया गया है <math>\mathit{HoldsAt}(f,t)</math>. प्रसंगो के प्रभावों को उनकी पूर्व शर्तों के साथ प्रसंगो के प्रभावों से संबंधित सूत्रों द्वारा बताया जाता है। उदाहरण के लिए, यदि प्रसंग {{mvar|open}} स्पष्टता बनाता है {{mvar|isopen}} सत्य है, परंतु केवल यदि {{mvar|haskey}} वर्तमान में सत्य है, प्रसंग गणना में संबंधित सूत्र है:
-उपरोक्त सिद्धांत विधेय के मान से संबंधित हैं {{mvar|HoldsAt}}, {{mvar|Initiates}} और {{mvar|Terminates}}, लेकिन यह निर्दिष्ट न करें कि कौन से स्पष्टता सत्य माने जाते हैं और कौन सी प्रसंगएँ वास्तव में स्पष्टता को सत्य या गलत बनाती हैं। यह कार्यक्षेत्र-निर्भर सिद्धांतों के एक समूह का उपयोग करके किया जाता है। स्पष्टता के ज्ञात मानों को सरल शाब्दिक रूप में बताया गया है <math>\mathit{HoldsAt}(f,t)</math>. प्रसंगो के प्रभावों को उनकी पूर्व शर्तों के साथ प्रसंगो के प्रभावों से संबंधित सूत्रों द्वारा बताया जाता है। उदाहरण के लिए, यदि प्रसंग {{mvar|open}} स्पष्टता बनाता है {{mvar|isopen}} सत्य है, परंतु केवल यदि {{mvar|haskey}} वर्तमान में सत्य है, प्रसंग गणना में संबंधित सूत्र है:
 :<math>\mathit{Initiates}(e,f,t) \equiv
@@ Line 44: / Line 45: @@
 ये सूत्र उपरोक्त सूत्र की तुलना में सरल हैं, क्योंकि प्रत्येक प्रसंग के प्रत्येक प्रभाव को अलग से निर्दिष्ट किया जा सकता है। कौन सी प्रसंग बता रहा है एक सूत्र {{mvar|e}} और स्पष्टता {{mvar|f}} निर्माण <math>\mathit{Initiates}(e,f,t)</math> ट्रू को छोटे सूत्रों के एक समूह से बदल दिया गया है, जिनमें से प्रत्येक एक स्पष्टता पर किसी प्रसंग के प्रभाव को बताता है।
-हालाँकि, ये सूत्र उपरोक्त सूत्र के समतुल्य नहीं हैं। दरअसल, वे केवल इसके लिए पर्याप्त शर्तें निर्दिष्ट करते हैं <math>\mathit{Initiates}(e,f,t)</math> सत्य होने के लिए, जिसे इस तथ्य से पूरा किया जाना चाहिए {{mvar|Initiates}} अन्य सभी मामलों में गलत है। इस तथ्य को केवल विधेय को सीमित करके औपचारिक रूप दिया जा सकता है {{mvar|Initiates}} उपरोक्त सूत्र में। यह ध्यान रखना महत्वपूर्ण है कि यह परिनियम केवल निर्दिष्ट सूत्रों पर ही किया जाता है {{mvar|Initiates}} और कार्यक्षेत्र-स्वतंत्र सिद्धांतों पर नहीं। विधेय {{mvar|Terminates}} को उसी तरह निर्दिष्ट किया जा सकता है {{mvar|Initiates}} है।
+हालाँकि, ये सूत्र उपरोक्त सूत्र के समतुल्य नहीं हैं। दरअसल, वे केवल इसके लिए पर्याप्त शर्तें निर्दिष्ट करते हैं <math>\mathit{Initiates}(e,f,t)</math> सत्य होने के लिए, जिसे इस तथ्य से पूरा किया जाना चाहिए {{mvar|Initiates}} अन्य सभी मामलों में असत्य है। इस तथ्य को केवल विधेय को सीमित करके औपचारिक रूप दिया जा सकता है {{mvar|Initiates}} उपरोक्त सूत्र में। यह ध्यान रखना महत्वपूर्ण है कि यह परिनियम केवल निर्दिष्ट सूत्रों पर ही किया जाता है {{mvar|Initiates}} और कार्यक्षेत्र-स्वतंत्र सिद्धांतों पर नहीं। विधेय {{mvar|Terminates}} को उसी तरह निर्दिष्ट किया जा सकता है {{mvar|Initiates}} है।
-के लिए एक समान दृष्टिकोण अपनाया जा सकता है {{mvar|Happens}} विधेय. इस विधेय का मानांकन सूत्रों द्वारा लागू किया जा सकता है जो न केवल यह निर्दिष्ट करता है कि यह कब सत्य है और कब गलत है:
+के लिए एक समतुल्य दृष्टिकोण अपनाया जा सकता है {{mvar|Happens}} विधेय. इस विधेय का मानांकन सूत्रों द्वारा लागू किया जा सकता है जो न केवल यह निर्दिष्ट करता है कि यह कब सत्य है और कब असत्य है:
 :<math>\mathit{Happens}(e,t) \equiv
@@ Line 54: / Line 55: @@
 :<math>\mathit{Happens}(open, 0)</math>
 :<math>\mathit{Happens}(exit, 1)</math>
-विधेय की परिधि करना {{mvar|Happens}}, यह विधेय उन सभी बिंदुओं पर गलत होगा जहां इसे स्पष्ट रूप से सत्य होने के लिए निर्दिष्ट नहीं किया गया है। यह परिच्छेद अन्य सूत्रों के परिच्छेद से अलग करना पड़ता है। दूसरे शब्दों में, यदि {{mvar|F}} प्रकार के सूत्रों का समूह है <math>\mathit{Initiates}(e,f,t) \leftarrow \cdots</math>, {{mvar|G}} सूत्रों का समूह है <math>\mathit{Happens}(e, t)</math>, और {{mvar|H}} कार्यक्षेत्र स्वतंत्र सिद्धांत हैं, कार्यक्षेत्र का सही सूत्रीकरण है:
+विधेय की परिधि करना {{mvar|Happens}}, यह विधेय उन सभी बिंदुओं पर असत्य होगा जहां इसे स्पष्ट रूप से सत्य होने के लिए निर्दिष्ट नहीं किया गया है। यह परिच्छेद अन्य सूत्रों के परिच्छेद से अलग करना पड़ता है। दूसरे शब्दों में, यदि {{mvar|F}} प्रकार के सूत्रों का समूह है <math>\mathit{Initiates}(e,f,t) \leftarrow \cdots</math>, {{mvar|G}} सूत्रों का समूह है <math>\mathit{Happens}(e, t)</math>, और {{mvar|H}} कार्यक्षेत्र स्वतंत्र सिद्धांत हैं, कार्यक्षेत्र का सही सूत्रीकरण है:
 :<math>\mathit{Circ}(F; \mathit{Initiates}, \mathit{Terminates}) \wedge

Anonymous

Search

घटना गणना: Difference between revisions

Namespaces

More

Page actions

Revision as of 11:41, 10 August 2023

Contents

स्पष्टता और प्रसंग

कार्यक्षेत्र-स्वतंत्र सिद्धांत

विस्तार और अनुप्रयोग

तर्क उपकरण

यह भी देखें

संदर्भ

अग्रिम पठन

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

घटना गणना: Difference between revisions

Revision as of 11:41, 10 August 2023

स्पष्टता और प्रसंग

कार्यक्षेत्र-स्वतंत्र सिद्धांत

विस्तार और अनुप्रयोग

तर्क उपकरण

यह भी देखें

संदर्भ

अग्रिम पठन

Navigation

Wiki tools

Page tools

Other projects

Categories