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

From Vigyanwiki
mNo edit summary
mNo edit summary
Line 36: Line 36:
[ e=open \wedge f=isopen \wedge \mathit{HoldsAt}(haskey, t)] \vee \cdots
[ e=open \wedge f=isopen \wedge \mathit{HoldsAt}(haskey, t)] \vee \cdots
</math>
</math>
इस तुल्यता की दाहिनी ओर की अभिव्यक्ति एक विच्छेद से बनी है: यहाँ एक वियोजन है जो दर्शाता है कि, {{mvar|e}} वास्तव में वह प्रसंग है और  {{mvar|f}} वास्तव में वह स्पष्टता है जिससे यहाँ प्रसंग की पूर्वापेक्षा पूरी हो गई है इसलिए प्रत्येक प्रसंग और स्पष्टता के लिए जिसे प्रसंग द्वारा सत्य किया जा सकता है।
इस तुल्यता की दाहिनी ओर की अभिव्यक्ति एक विच्छेद से बनी है: यहाँ एक वियोजन है जो दर्शाता है कि, {{mvar|e}} वास्तव में वह प्रसंग है और  {{mvar|f}} वास्तव में वह स्पष्टता है जिससे यहाँ प्रसंग की पूर्वापेक्षा पूरी हो गई है इसलिए प्रत्येक प्रसंग और स्पष्टता जिसे प्रसंग द्वारा सत्य किया जा सकता है।


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


: <math>\mathit{Initiates}(open, isopen, t) \leftarrow \mathit{HoldsAt}(haskey, t)</math>
: <math>\mathit{Initiates}(open, isopen, t) \leftarrow \mathit{HoldsAt}(haskey, t)</math>
: <math>\mathit{Initiates}(break, isopen, t) \leftarrow \mathit{HoldsAt}(hashammer, t)</math>
: <math>\mathit{Initiates}(break, isopen, t) \leftarrow \mathit{HoldsAt}(hashammer, t)</math>
: <math>\mathit{Initiates}(break, broken, t) \leftarrow \mathit{HoldsAt}(hashammer, t)</math>
: <math>\mathit{Initiates}(break, broken, t) \leftarrow \mathit{HoldsAt}(hashammer, t)</math>
ये सूत्र उपरोक्त सूत्र की तुलना में सरल हैं, क्योंकि प्रत्येक प्रसंग के प्रत्येक प्रभाव को अलग से निर्दिष्ट किया जा सकता है। कौन सी प्रसंग बता रहा है एक सूत्र {{mvar|e}} और स्पष्टता {{mvar|f}} निर्माण <math>\mathit{Initiates}(e,f,t)</math> ट्रू को छोटे सूत्रों के एक समूह से बदल दिया गया है, जिनमें से प्रत्येक एक स्पष्टता पर किसी प्रसंग के प्रभाव को बताता है।
ये सूत्र उपरोक्त सूत्र की तुलना में सरल हैं, क्योंकि प्रत्येक प्रसंग के प्रत्येक प्रभाव को अलग से निर्दिष्ट किया जा सकता है। एकल सूत्र बताता है कि कौनसा प्रसंग {{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|Happens}} विधेय. इस विधेय का मानांकन सूत्रों द्वारा लागू किया जा सकता है जो न केवल यह निर्दिष्ट करता है कि यह कब सत्य है और कब असत्य है:
{{mvar|Happens}} विधेय के लिए एक समतुल्य दृष्टिकोण अपनाया जा सकता है। इस विधेय का मानांकन सूत्रों द्वारा लागू किया जा सकता है जो न केवल यह निर्दिष्ट करता है कि यह कब सत्य है और कब असत्य है:


:<math>\mathit{Happens}(e,t) \equiv
:<math>\mathit{Happens}(e,t) \equiv
(e=open \wedge t=0) \vee (e=exit \wedge t=1) \vee \cdots</math>
(e=open \wedge t=0) \vee (e=exit \wedge t=1) \vee \cdots</math>
परिधि इस विनिर्देश को सरल बना सकती है, क्योंकि केवल आवश्यक शर्तें ही निर्दिष्ट की जा सकती हैं:
प्रतिबंध इस विनिर्देश को सरल बना सकती है, क्योंकि केवल आवश्यक शर्तें ही निर्दिष्ट की जा सकती हैं:


:<math>\mathit{Happens}(open, 0)</math>
:<math>\mathit{Happens}(open, 0)</math>
:<math>\mathit{Happens}(exit, 1)</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
:<math>\mathit{Circ}(F; \mathit{Initiates}, \mathit{Terminates}) \wedge
Line 62: Line 62:
'''<big><br />एक तर्क कार्यक्रम के रूप में प्रसंग गणना</big>'''
'''<big><br />एक तर्क कार्यक्रम के रूप में प्रसंग गणना</big>'''


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


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


कोवाल्स्की और सर्गोट का मूल प्रसंग गणना पेपर डेटाबेस नवीनीकरण और आख्यानों के अनुप्रयोगों पर केंद्रित था।<ref>{{Cite journal|last=Kowalski|first=Robert|date=1992-01-01|title=इवेंट कैलकुलस में डेटाबेस अपडेट|journal=The Journal of Logic Programming|language=en|volume=12|issue=1|pages=121–146|doi=10.1016/0743-1066(92)90041-Z|issn=0743-1066|doi-access=free}}</ref> प्रसंग गणना के विस्तार से गैर-नियतात्मक क्रियाएं, समवर्ती क्रियाएं, विलंबित प्रभाव वाली क्रियाएं, क्रमिक परिवर्तन, अवधि वाली क्रियाएं, निरंतर परिवर्तन और गैर-निष्क्रिय स्पष्टता को भी औपचारिक रूप दिया जा सकता है।
कोवाल्स्की और सर्गोट का मूल प्रसंग गणना कागजी डेटाबेस नवीनीकरण और आख्यानों के अनुप्रयोगों पर केंद्रित था।<ref>{{Cite journal|last=Kowalski|first=Robert|date=1992-01-01|title=इवेंट कैलकुलस में डेटाबेस अपडेट|journal=The Journal of Logic Programming|language=en|volume=12|issue=1|pages=121–146|doi=10.1016/0743-1066(92)90041-Z|issn=0743-1066|doi-access=free}}</ref> प्रसंग गणना के विस्तार से गैर-नियतात्मक क्रियाएं, समवर्ती क्रियाएं, विलंबित प्रभाव वाली क्रियाएं, क्रमिक परिवर्तन, अवधि वाली क्रियाएं, निरंतर परिवर्तन और गैर-निष्क्रिय स्पष्टता को भी औपचारिक रूप दिया जा सकता है।
 
केव एशघी ने दिखाया कि प्रसंग गणना का उपयोग योजना बनाने के लिए कैसे किया जा सकता है,<ref>{{Cite journal|last=Eshghi|first=Kave|year=1988|title=घटना गणना के साथ अपहरण की योजना|url=https://www.researchgate.net/publication/220986211|journal=Iclp/SLP|pages=562–579}}</ref> प्राधिग्रहण तर्क प्रोग्रामिंग में काल्पनिक प्रसंगो को उत्पन्न करने के लिए [[अपहरण (तर्क)]] का उपयोग करना। वैन लैम्बलजेन और हैम ने दिखाया कि कैसे प्रसंग गणना का उपयोग प्राकृतिक भाषा में काल और पहलू को एल्गोरिदमिक शब्दार्थ देने के लिए भी किया जा सकता है।<ref>{{Cite book|last=Lambalgen, Hamm|url=https://www.worldcat.org/oclc/212129657|title=घटनाओं का उचित उपचार|date=2005|publisher=Blackwell Pub|isbn=978-0-470-75925-7|location=Malden, MA|oclc=212129657}}</ref> [[बाधा तर्क प्रोग्रामिंग]] का उपयोग करना।


प्रसंग गणना के अन्य उल्लेखनीय विस्तारों में मार्कोव लॉजिक नेटवर्क-आधारित,<ref>{{Cite journal|last1=Skarlatidis|first1=Anastasios|last2=Paliouras|first2=Georgios|last3=Artikis|first3=Alexander|last4=Vouros|first4=George A.|date=2015-02-17|title=घटना पहचान के लिए संभाव्य घटना कैलकुलस|url=https://doi.org/10.1145/2699916|journal=ACM Transactions on Computational Logic|volume=16|issue=2|pages=11:1–11:37|doi=10.1145/2699916|arxiv=1207.3270|s2cid=6389629|issn=1529-3785}}</ref> [[संभावना]],<ref>{{Cite journal|last1=Skarlatidis|first1=Anastasios|last2=Artikis|first2=Alexander|last3=Filippou|first3=Jason|last4=Paliouras|first4=Georgios|date=March 2015|title=एक संभाव्य तर्क प्रोग्रामिंग इवेंट कैलकुलस|journal=Theory and Practice of Logic Programming|language=en|volume=15|issue=2|pages=213–245|doi=10.1017/S1471068413000690|issn=1471-0684|doi-access=free|s2cid=5701272}}</ref> ज्ञानमीमांसा<ref>{{Cite journal|last1=Ma|first1=Jiefei|last2=Miller|first2=Rob|last3=Morgenstern|first3=Leora|last4=Patkos|first4=Theodore|date=2014-07-28|title=अतीत, वर्तमान और भविष्य के ज्ञान के बारे में एएसपी-आधारित तर्क के लिए एक ज्ञानमीमांसा घटना कैलकुलस|url=https://easychair.org/publications/paper/sJ7|journal=EPiC Series in Computing|language=en-US|publisher=EasyChair|volume=26|pages=75–87|doi=10.29007/zswj|doi-access=free}}</ref> वेरिएंट और उनके संयोजन.<ref>{{Cite journal|last1=D'Asaro|first1=Fabio Aurelio|last2=Bikakis|first2=Antonis|last3=Dickens|first3=Luke|last4=Miller|first4=Rob|date=2020-10-01|title=ज्ञानमीमांसीय क्रिया कथाओं के बारे में संभाव्य तर्क|url=https://www.sciencedirect.com/science/article/abs/pii/S0004370219300906|journal=Artificial Intelligence|language=en|volume=287|pages=103352|doi=10.1016/j.artint.2020.103352|s2cid=221521535 |issn=0004-3702}}</ref>
केव एशघी ने दिखाया कि प्राधिग्रहण तर्क प्रोग्रामिंग में काल्पनिक प्रसंगो को उत्पन्न करने के लिए [[अपहरण (तर्क)|प्राधिग्रहण (तर्क)]] का उपयोग करके प्रसंग गणना का उपयोग योजना बनाने के लिए कैसे किया जा सकता है।<ref>{{Cite journal|last=Eshghi|first=Kave|year=1988|title=घटना गणना के साथ अपहरण की योजना|url=https://www.researchgate.net/publication/220986211|journal=Iclp/SLP|pages=562–579}}</ref> वैन लैम्बलजेन और हैम ने दिखाया कि  [[बाधा तर्क प्रोग्रामिंग]] का उपयोग करके कैसे प्रसंग गणना का उपयोग प्राकृतिक भाषा में घटना और स्वरूप को एल्गोरिदमिक शब्दार्थ देने के लिए भी किया जा सकता है।<ref>{{Cite book|last=Lambalgen, Hamm|url=https://www.worldcat.org/oclc/212129657|title=घटनाओं का उचित उपचार|date=2005|publisher=Blackwell Pub|isbn=978-0-470-75925-7|location=Malden, MA|oclc=212129657}}</ref>


प्रसंग गणना के अन्य उल्लेखनीय विस्तारों में मार्कोव लॉजिक नेटवर्क-आधारित,<ref>{{Cite journal|last1=Skarlatidis|first1=Anastasios|last2=Paliouras|first2=Georgios|last3=Artikis|first3=Alexander|last4=Vouros|first4=George A.|date=2015-02-17|title=घटना पहचान के लिए संभाव्य घटना कैलकुलस|url=https://doi.org/10.1145/2699916|journal=ACM Transactions on Computational Logic|volume=16|issue=2|pages=11:1–11:37|doi=10.1145/2699916|arxiv=1207.3270|s2cid=6389629|issn=1529-3785}}</ref> [[संभावना]],<ref>{{Cite journal|last1=Skarlatidis|first1=Anastasios|last2=Artikis|first2=Alexander|last3=Filippou|first3=Jason|last4=Paliouras|first4=Georgios|date=March 2015|title=एक संभाव्य तर्क प्रोग्रामिंग इवेंट कैलकुलस|journal=Theory and Practice of Logic Programming|language=en|volume=15|issue=2|pages=213–245|doi=10.1017/S1471068413000690|issn=1471-0684|doi-access=free|s2cid=5701272}}</ref> ज्ञानमीमांसा<ref>{{Cite journal|last1=Ma|first1=Jiefei|last2=Miller|first2=Rob|last3=Morgenstern|first3=Leora|last4=Patkos|first4=Theodore|date=2014-07-28|title=अतीत, वर्तमान और भविष्य के ज्ञान के बारे में एएसपी-आधारित तर्क के लिए एक ज्ञानमीमांसा घटना कैलकुलस|url=https://easychair.org/publications/paper/sJ7|journal=EPiC Series in Computing|language=en-US|publisher=EasyChair|volume=26|pages=75–87|doi=10.29007/zswj|doi-access=free}}</ref> वेरिएंट और उनके संयोजन सम्मिलित है। <ref>{{Cite journal|last1=D'Asaro|first1=Fabio Aurelio|last2=Bikakis|first2=Antonis|last3=Dickens|first3=Luke|last4=Miller|first4=Rob|date=2020-10-01|title=ज्ञानमीमांसीय क्रिया कथाओं के बारे में संभाव्य तर्क|url=https://www.sciencedirect.com/science/article/abs/pii/S0004370219300906|journal=Artificial Intelligence|language=en|volume=287|pages=103352|doi=10.1016/j.artint.2020.103352|s2cid=221521535 |issn=0004-3702}}</ref>


==तर्क उपकरण==
'''<big>तर्क उपकरण</big>'''


प्रोलॉग और इसके वेरिएंट के अलावा, प्रसंग गणना का उपयोग करके तर्क करने के लिए कई अन्य उपकरण भी उपलब्ध हैं:
प्रस्तावना और इसके भिन्नता के अतिरिक्त, प्रसंग गणना का उपयोग करके तर्क करने के लिए कई अन्य उपकरण भी उपलब्ध हैं:
* [http://www.doc.ic.ac.uk/~mpsha/planners.html अपहरण प्रसंग गणना प्लानर्स]
* [http://www.doc.ic.ac.uk/~mpsha/planners.html प्राधिग्रहण] [http://www.doc.ic.ac.uk/~mpsha/planners.html प्रसंग गणना प्लानर्स]
* [http://decreasoner.sourceforge.net/ असतत प्रसंग गणना रीज़नर]
* [http://decreasoner.sourceforge.net/ असतत प्रसंग गणना रीज़नर]
* [http://reasoning.eas.asu.edu/ecasp/ प्रसंग गणना उत्तर समूह प्रोग्रामिंग]
* [http://reasoning.eas.asu.edu/ecasp/ प्रसंग गणना उत्तर समूह प्रोग्रामिंग]

Revision as of 16:24, 10 August 2023

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

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

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

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

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

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

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

  1. ; एक प्रसंग e घटित हुआ था,
  2. ; यह अतीत में हुआ था:
  3. ; इस प्रसंग में प्रभाव के रूप में f स्पष्टता है,
  4. ; इस बीच स्पष्टता को असत्य नहीं बनाया गया है

एक समतुल्य सूत्र का उपयोग विपरीत स्थितियों को औपचारिक बनाने के लिए किया जाता है जिसमें एक निश्चित समय पर स्पष्टता असत्य होती है। किसी प्रसंग के प्रभावित होने से पहले स्पष्टता को उचित तरीके से औपचारिक बनाने के लिए अन्य सूत्रों की भी आवश्यकता होती है। ये सूत्र उपरोक्त के समतुल्य हैं, लेकिन को द्वारा प्रतिस्थापित किया गया है।

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


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

उपरोक्त सिद्धांत विधेय होल्ड्सएट, इनिशियेट्स और टर्मिनेट्स के मान से संबंधित हैं लेकिन यह निर्दिष्ट नहीं करता है कि कौन से स्पष्टता सत्य मानी जाती है और कौन सी घटनायें वास्तव में स्पष्टता को सत्य या असत्य बनाती हैं। यह क्रिया कार्यक्षेत्र-निर्भर सिद्धांतों के एक समूह का उपयोग करके की जाती है। स्पष्टता के ज्ञात मानों को सरल शाब्दिक के रूप में बताया गया है . प्रसंगो के प्रभावों को उनकी पूर्वापेक्षा के साथ प्रसंगो के प्रभावों से संबंधित सूत्रों द्वारा बताया जाता है। उदाहरण के लिए, यदि haskey वर्तमान में सत्य है तो प्रसंग open स्पष्टता isopen को सत्य बनाता है, प्रसंग गणना में संबंधित सूत्र है:

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

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

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

हालाँकि, ये सूत्र उपरोक्त सूत्र के समतुल्य नहीं हैं। दरअसल, वे केवल सत्य होने के लिए पर्याप्त शर्तें निर्दिष्ट करते हैं और इसे इस तथ्य से पूरा किया जाना चाहिए इनिशियेट्स अन्य सभी स्थितियों में असत्य है। उपरोक्त सूत्र में, इस तथ्य को केवल विधेय इनिशियेट्स को सीमित करके औपचारिक रूप दिया जा सकता है। यह ध्यान रखना महत्वपूर्ण है कि यह प्रतिबंध कार्यक्षेत्र-स्वतंत्र सिद्धांतों की अपेक्षा केवल इनिशियेट्स निर्दिष्ट सूत्रों पर ही किया जा सकता है। विधेय टर्मिनेट्स को इनिशियेट्स की तरह ही निर्दिष्ट किया जा सकता है।

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

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

Happens विधेय को प्रतिबंधित करना, यह विधेय उन सभी बिंदुओं पर असत्य होगा जहां इसे स्पष्ट रूप से सत्य होने के लिए निर्दिष्ट नहीं किया गया है। इस प्रतिबंध को अन्य सूत्रों के प्रतिबंध से अलग करना पड़ता है। दूसरे शब्दों में, यदि F , प्रकार के सूत्रों का समूह है, G सूत्रों का समूह है और H कार्यक्षेत्र स्वतंत्र सिद्धांत हैं तो कार्यक्षेत्र का सही सूत्रीकरण है;


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

प्रसंग गणना को मूल रूप से विफलता के रूप में निषेधन के साथ संवर्धित हॉर्न उपवाक्य के एक समूह के रूप में तैयार किया गया था और इसे प्रोलॉग प्रोग्राम के रूप में चलाया जा सकता था।

वास्तव में, प्रतिबंध कई शब्दार्थों में से एक है जिसे निषेधन को विफलता के रूप में दिया जा सकता है, और पूर्णता शब्दार्थ से निकटता से संबंधित है जिसमें यदि की व्याख्या यदि और केवल यदि के रूप में की जाती है।

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

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

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

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

तर्क उपकरण

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

यह भी देखें

संदर्भ

  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.


अग्रिम पठन