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

From Vigyanwiki
(Created page with "{{Short description|Language for reasoning and representing events}} इवेंट कैलकुलस घटनाओं और उनके प्रभावों क...")
 
No edit summary
 
(13 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Language for reasoning and representing events}}
{{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> परिवर्तन के बारे में तर्क के लिए अन्य भाषाओं के समतुल्य, घटना की गणना स्पष्टता पर क्रिया के प्रभावों का प्रतिनिधित्व करता है। हालाँकि, [[ घटना (कंप्यूटिंग) |घटना की (कंप्यूटिंग)]] पद्वति के बाहर भी हो सकता है। घटना की गणना में, कोई कुछ निश्चित समय बिंदुओं पर स्पष्टता के मान, दिए गए समय बिंदुओं पर होने वाली घटनाओं और उनके प्रभावों को निर्दिष्ट कर सकता है।


==प्रवाह और घटनाएँ==
==स्पष्टता और घटना==


इवेंट कैलकुलस में, फ़्लुएंट्स रीफ़िकेशन (ज्ञान प्रतिनिधित्व) हैं। इसका मतलब यह है कि उन्हें [[विधेय (गणित)]] के माध्यम से नहीं बल्कि [[फ़ंक्शन (गणित)]] के माध्यम से औपचारिक रूप दिया जाता है। एक अलग विधेय {{mvar|HoldsAt}} का उपयोग यह बताने के लिए किया जाता है कि कौन से प्रवाह किसी निश्चित समय बिंदु पर मौजूद हैं। उदाहरण के लिए, <math>\mathit{HoldsAt}(on(box,table),t)</math> इसका मतलब है कि बॉक्स समय पर टेबल पर है {{mvar|t}}; इस सूत्र में, {{mvar|HoldsAt}} एक विधेय समय है {{mvar|on}} एक फ़ंक्शन है.
घटना की गणना में, स्पष्ट पुनःकरण हैं। इसका अर्थ यह है कि उन्हें [[विधेय (गणित)|विधेय]] के माध्यम से नहीं बल्कि [[फ़ंक्शन (गणित)|फलन]] के माध्यम से औपचारिक रूप दिया जाता है। एक अलग विधेय होल्ड्सएट का उपयोग यह बताने के लिए किया जाता है कि कौनसी स्पष्टता किसी निश्चित समय बिंदु पर उपलब्ध हैं। उदाहरण के लिए, <math>\mathit{HoldsAt}(on(box,table),t)</math> इसका अर्थ है कि {{mvar|t}} समय पर बॉक्स मेज पर है; इस सूत्र में, होल्ड्सएट एक विधेय है और ऑन एक फलन है।


घटनाओं को शब्दों के रूप में भी दर्शाया जाता है। घटनाओं का प्रभाव विधेय का उपयोग करके दिया जाता है {{mvar|Initiates}} और {{mvar|Terminates}}. विशेष रूप से, <math>\mathit{Initiates}(e,f,t)</math> मतलब कि,
घटनाओं को पदों के रूप में भी दर्शाया जाता है। घटनाओं का प्रभाव विधेय, आरंभ और समाप्ति का उपयोग करके दिया जाता है। विशेष रूप से, <math>\mathit{Initiates}(e,f,t)</math> का अर्थ है कि, यदि घटना को {{mvar|e}} पद द्वारा {{mvar|t}} समय पर निष्पादित किया जाता है तो {{mvar|t}} समय पर स्पष्टता {{mvar|f}} सत्य होगी। समाप्ति विधेय का अर्थ आरंभ विधेय के समतुल्य ही होता है, केवल अंतर के साथ कि {{mvar|t}} समय पर स्पष्टता {{mvar|f}} असत्य होगी।
यदि घटना को शब्द द्वारा दर्शाया गया है {{mvar|e}} समय पर निष्पादित किया जाता है {{mvar|t}},
फिर धाराप्रवाह {{mvar|f}} बाद में सच हो जाएगा {{mvar|t}}. वह {{mvar|Terminates}} विधेय का एक समान अर्थ होता है, केवल अंतर के साथ
वह रहने से {{mvar|f}} बाद में गलत होगा {{mvar|t}}.


==डोमेन-स्वतंत्र स्वयंसिद्ध==
==कार्यक्षेत्र-स्वतंत्र सिद्धांत==


क्रियाओं का प्रतिनिधित्व करने के लिए अन्य भाषाओं की तरह, ईवेंट कैलकुलस एक मनमानी कार्रवाई के बाद प्रत्येक धाराप्रवाह के मूल्य को बताने वाले सूत्रों के माध्यम से धाराप्रवाह के सही विकास को औपचारिक बनाता है। इवेंट कैलकुलस फ्रेम समस्या को इस तरह से हल करता है जो स्थिति कैलकुलस के [[उत्तराधिकारी राज्य स्वयंसिद्ध]]ों के समान है: समय पर एक धाराप्रवाह सत्य होता है {{mvar|t}} यदि और केवल यदि इसे अतीत में सत्य बनाया गया हो और इस बीच झूठा नहीं बनाया गया हो।
क्रियाओं का प्रतिनिधित्व करने के लिए अन्य भाषाओं की तरह, घटना की गणना एक स्वेच्छ क्रिया के बाद प्रत्येक स्पष्टता के मान को बताने वाले सूत्रों के माध्यम से स्पष्टता के सही विकास को औपचारिक बनाता है। घटना की गणना तंत्र समस्या को इस तरह से हल करता है जो स्थिति गणना के [[उत्तराधिकारी राज्य स्वयंसिद्ध|अनुक्रमित अवस्था सिद्धांत]] के समतुल्य है: {{mvar|t}} समय पर स्पष्टता सत्य होती है यदि और केवल यदि इसे अतीत में सत्य बनाया गया हो और इस बीच असत्य नहीं बनाया गया हो।
   
   
:<math>\mathit{HoldsAt}(f,t) \leftarrow
:<math>\mathit{HoldsAt}(f,t) \leftarrow
[\mathit{Happens}(e,t_1) \wedge \mathit{Initiates}(e,f,t_1)  
[\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>
\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> द्वारा प्रतिस्थापित किया गया है।
 
क्लिप्ड विधेय, जिसमें कहा गया है कि एक अंतराल के दौरान स्पष्टता को असत्य बना दिया जाता है, इसे स्वयंसिद्ध किया जा सकता है या बस संकेतलिपि के रूप में लिया जा सकता है, इस प्रकार:


:<math>\mathit{Clipped}(t_1,f,t_2) \equiv
:<math>\mathit{Clipped}(t_1,f,t_2) \equiv
Line 30: Line 29:
[\mathit{Happens}(e,t) \wedge (t_1 \leq t < t_2) \wedge \mathit{Terminates}(e,f,t)]</math>
[\mathit{Happens}(e,t) \wedge (t_1 \leq t < t_2) \wedge \mathit{Terminates}(e,f,t)]</math>


'''<big><br />कार्यक्षेत्र-निर्भर सिद्धांत</big>'''


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


:<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|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
Circ(G; Happens) \wedge H</math>
Circ(G; Happens) \wedge H</math>


'''<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|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|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://decreasoner.sourceforge.net/ असतत घटना की गणना रीज़नर]
* [http://www.doc.ic.ac.uk/~mpsha/planners.html अपहरण घटना कैलकुलस प्लानर्स]
* [http://reasoning.eas.asu.edu/ecasp/ घटना की गणना उत्तर समूह प्रोग्रामिंग]
* [http://decreasoner.sourceforge.net/ असतत घटना कैलकुलस रीज़नर]
* [https://www.inf.unibz.it/~montali/tools.html रिएक्टिव घटना की गणना]
* [http://reasoning.eas.asu.edu/ecasp/ इवेंट कैलकुलस उत्तर सेट प्रोग्रामिंग]
* [https://github.com/aartikis/RTEC रन-टाइम घटना की गणना (RTEC)]
* [https://www.inf.unibz.it/~montali/tools.html रिएक्टिव इवेंट कैलकुलस]
* [https://github.com/aartikis/RTEC रन-टाइम इवेंट कैलकुलस (RTEC)]


==यह भी देखें==
==यह भी देखें==
Line 103: Line 100:
* Shanahan, M. (1997) ''[https://books.google.com/books?id=z8zR3Ds7xKQC Solving the frame problem: A mathematical investigation of the common sense law of inertia]''. MIT Press.
* Shanahan, M. (1997) ''[https://books.google.com/books?id=z8zR3Ds7xKQC Solving the frame problem: A mathematical investigation of the common sense law of inertia]''. MIT Press.
* Shanahan, M. (1999) "[https://www.researchgate.net/profile/Murray_Shanahan/publication/2623069_The_Event_Calculus_Explained/links/00463537d038cc9cb7000000/The-Event-Calculus-Explained.pdf The Event Calculus Explained]" Springer Verlag, LNAI (1600): 409-30.
* Shanahan, M. (1999) "[https://www.researchgate.net/profile/Murray_Shanahan/publication/2623069_The_Event_Calculus_Explained/links/00463537d038cc9cb7000000/The-Event-Calculus-Explained.pdf The Event Calculus Explained]" Springer Verlag, LNAI (1600): 409-30.
[[Category: 1986 परिचय]] [[Category: कंप्यूटर विज्ञान में तर्क]] [[Category: तर्क प्रोग्रामिंग]] [[Category: ज्ञान निरूपण]] [[Category: तार्किक गणना]]


[[Category: Machine Translated Page]]
[[Category:1986 परिचय]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 24/07/2023]]
[[Category:Created On 24/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:कंप्यूटर विज्ञान में तर्क]]
[[Category:ज्ञान निरूपण]]
[[Category:तर्क प्रोग्रामिंग]]
[[Category:तार्किक गणना]]

Latest revision as of 10:04, 23 August 2023

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

स्पष्टता और घटना

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

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

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

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

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

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

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

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


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

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

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

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

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

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

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

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

हैपन्स विधेय को प्रतिबंधित करना, यह विधेय उन सभी बिंदुओं पर असत्य होगा जहां इसे स्पष्ट रूप से सत्य होने के लिए निर्दिष्ट नहीं किया गया है। इस प्रतिबंध को अन्य सूत्रों के प्रतिबंध से अलग करना पड़ता है। दूसरे शब्दों में, यदि 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.


अग्रिम पठन