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

From Vigyanwiki
mNo edit summary
No edit summary
 
(8 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}} समय पर बॉक्स मेज पर है; इस सूत्र में, होल्ड्सएट एक विधेय है और ऑन एक फलन है।


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


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


क्रियाओं का प्रतिनिधित्व करने के लिए अन्य भाषाओं की तरह, प्रसंग गणना एक मनमानी कार्रवाई के बाद प्रत्येक स्पष्टता के मान को बताने वाले सूत्रों के माध्यम से स्पष्टता के सही विकास को औपचारिक बनाता है। प्रसंग गणना तंत्र समस्या को इस तरह से हल करता है जो स्थिति गणना के [[उत्तराधिकारी राज्य स्वयंसिद्ध|अनुक्रमित अवस्था सिद्धांत]] के समान है: समय पर एक स्पष्टता सत्य होता है {{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 27: 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>'''
'''<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/ घटना की गणना उत्तर समूह प्रोग्रामिंग]
* [https://www.inf.unibz.it/~montali/tools.html रिएक्टिव प्रसंग गणना]
* [https://www.inf.unibz.it/~montali/tools.html रिएक्टिव घटना की गणना]
* [https://github.com/aartikis/RTEC रन-टाइम प्रसंग गणना (RTEC)]
* [https://github.com/aartikis/RTEC रन-टाइम घटना की गणना (RTEC)]


==यह भी देखें==
==यह भी देखें==
Line 99: 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.


अग्रिम पठन