Action language
कंप्यूटर विज्ञान में, एक क्रिया भाषा राज्य संक्रमण प्रणालियों को निर्दिष्ट करने के लिए एक भाषा है, और आमतौर पर दुनिया पर कार्यों के प्रभावों के औपचारिक मॉडल बनाने के लिए उपयोग की जाती है। क्रिया भाषाओं का उपयोग आमतौर पर कृत्रिम बुद्धिमत्ता और रोबोटिक्स डोमेन में किया जाता है, जहां वे वर्णन करते हैं कि कैसे कार्य समय के साथ प्रणालियों की स्थितियों को प्रभावित करते हैं, और स्वचालित योजना के लिए उपयोग किया जा सकता है। एक्शन लैंग्वेज दो वर्गों में आती हैंः एक्शन डिस्क्रिप्शन लैंग्वेज और एक्शन क्वेरी लैंग्वेज। पूर्व के उदाहरणों में एसटीआरआईपीएस, पीडीडीएल, भाषा ए (एसटीआरआईपीएस का सामान्यीकरण; पेडनॉल्ट के एडीएल का प्रस्तावात्मक हिस्सा), भाषा बी (अप्रत्यक्ष प्रभावों को जोड़ने, स्थिर और गतिशील कानूनों को अलग करने के लिए ए का विस्तार) और भाषा सी (जो अप्रत्यक्ष प्रभावों को भी जोड़ती है, और यह नहीं मानती है कि प्रत्येक धाराप्रवाह स्वचालित रूप से "जड़त्वीय" है) शामिल हैं। एक्शन क्वेरी लैंग्वेज पी, क्यू और आर भी हैं। एक्शन लैंग्वेज को परिवर्तित करने के लिए कई अलग-अलग एल्गोरिदम मौजूद हैं, और विशेष रूप से, सेट प्रोग्रामों का उत्तर देने के लिए एक्शन लैंग्वेज सी। चूँकि आधुनिक उत्तर-समुच्चय समाधानकर्ता बहुत तेजी से संतोषजनकता का पता लगाने के लिए बूलियन एस. ए. टी. एल्गोरिदम का उपयोग करते हैं, इसका तात्पर्य है कि क्रिया भाषाएँ बूलियन एस. ए. टी. समाधान के क्षेत्र में की जा रही प्रगति का भी आनंद ले सकती हैं। औपचारिक परिभाषा सभी क्रिया भाषाएँ धाराप्रवाह के एक सेट एफ के साथ एक राज्य संक्रमण प्रणाली की परिभाषा का पूरक हैं, मानों का एक सेट वी जो धाराप्रवाह ले सकते हैं, और एस × एफ से वी का मानचित्रण करने वाला एक कार्य, जहां एस एक राज्य संक्रमण प्रणाली की स्थितियों का सेट है। रैखिक लौकिक तर्क GOLOG धाराप्रवाह कलन स्थिति कलन घटना कलन संदर्भ प्रोग्रामिंग भाषा वर्गीकरण स्वचालित योजना और समय निर्धारण संक्रमण प्रणाली भी देखें।