लेन-देन तर्क

लेन-देन तर्क निर्धारक तर्क का एक विस्तार है जो तर्क क्रमादेश और डेटाबेस में स्थिति परिवर्तन की परिघटना के लिए एक स्वच्छ और घोषणात्मक प्रकार से वर्णन करता है। यह विस्तार विशेष रूप से सरल कार्यों को सम्मिश्र लेनदेन में संयोजित करने और उनके निष्पादन पर नियंत्रण प्रदान करने के लिए प्रारुप किए गए संयोजनों को जोड़ता है। तर्क में एक प्राकृतिक निदर्श सिद्धांत और एक ठोस और पूर्ण प्रमाण सिद्धांत है। लेन-देन तर्क में एक हॉर्न क्लॉज उपसमुच्चय है, जिसमें एक प्रक्रियात्मक और साथ ही एक घोषणात्मक शब्दार्थ है। तर्क की महत्वपूर्ण विशेषताओं में काल्पनिक और प्रतिबद्ध अद्यतन, लेन-देन निष्पादन पर गतिशील बाधाएँ, अनिर्धारिता और अधिकांश अद्यतन सम्मलित हैं। इस तरह, लेन-देन तर्क कई अतार्किक घटनाओं को स्पष्ट रूप से पकड़ने में सक्षम है, जिसमें कृत्रिम बुद्धि में प्रक्रियात्मक ज्ञान, सक्रिय डेटाबेस और वस्तु डेटाबेस में अतिरिक्त प्रभाव के प्रकार सम्मलित हैं।

लेन-देन तर्क मूल रूप से एंथोनी बोनर और माइकल किफ़र द्वारा प्रस्तावित किया गया था और बाद में और अधिक विस्तार में वर्णित किया गया था। सबसे व्यापक विवरण में दिखाई देता है।

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

2013 में, लेन-देन तर्क पर मूल लेख ने तर्क क्रमादेशन के लिए संयोजन के 20-वर्षीय समय का परीक्षण पुरस्कार जीता है, जो पिछले 20 वर्षों में ICLP 1993 सम्मेलन की कार्यवाही से सबसे प्रभावशाली लेख है।

आरेख रंगना
यहाँ tinsert लेन-देन सम्मिलन के प्राथमिक अद्यतन संचालन को दर्शाता है। संयोजक ⊗ को क्रमिक संयोजन कहा जाता है।

पिरामिड स्टैकिंग
प्राथमिक अद्यतन tdelete लेन देन संबंधी डिलीट संचालन का प्रतिनिधित्व करता है।

काल्पनिक निष्पादन
यहाँ &lt;&gt; संभावना का मोडल संचालक है: यदि action1 और action2 दोनों संभव हैं, तो action1 निष्पादित करें। अन्यथा, यदि केवल action2 संभव है, तो इसे निष्पादित करें।

भोजन दार्शनिक
यहाँ समवर्ती लेन-देन तर्क के समानांतर संयोजन का तार्किक संबंध है।

कार्यान्वयन
लेन-देन तर्क के कई कार्यान्वयन उपस्तिथ हैं: ये सभी कार्यान्वयन मुक्त स्रोत हैं।
 * मूल कार्यान्वयन।
 * समवर्ती लेन-देन तर्क का कार्यान्वयन।
 * लेन-देन तर्क प्रस्तावित के साथ बढ़ाया गया हैं। फ्लोरा-2 ज्ञान प्रतिनिधित्व और तर्क प्रणाली के भाग के रूप में लेनदेन तर्क का कार्यान्वयन भी सम्मलित किया गया है।

बाहरी संबंध

 * फ्लोरा-2 वेब साइट, लेनदेन तर्क पर अतिरिक्त कागजात युक्त