Action language
ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ, ಕ್ರಿಯಾತ್ಮಕ ಭಾಷೆಯು ಸ್ಥಿತಿ ಪರಿವರ್ತನೆಯ ವ್ಯವಸ್ಥೆಗಳನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸುವ ಒಂದು ಭಾಷೆಯಾಗಿದೆ ಮತ್ತು ಇದನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಪ್ರಪಂಚದ ಮೇಲೆ ಕ್ರಿಯೆಗಳ ಪರಿಣಾಮಗಳ ಔಪಚಾರಿಕ ಮಾದರಿಗಳನ್ನು ರಚಿಸಲು ಬಳಸಲಾಗುತ್ತದೆ. ಆಕ್ಷನ್ ಭಾಷೆಗಳನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಕೃತಕ ಬುದ್ಧಿಮತ್ತೆ ಮತ್ತು ರೊಬೊಟಿಕ್ಸ್ ಡೊಮೇನ್ಗಳಲ್ಲಿ ಬಳಸಲಾಗುತ್ತದೆ, ಅಲ್ಲಿ ಅವು ಕ್ರಿಯೆಗಳು ಕಾಲಾನಂತರದಲ್ಲಿ ವ್ಯವಸ್ಥೆಗಳ ಸ್ಥಿತಿಗಳ ಮೇಲೆ ಹೇಗೆ ಪರಿಣಾಮ ಬೀರುತ್ತವೆ ಎಂಬುದನ್ನು ವಿವರಿಸುತ್ತವೆ ಮತ್ತು ಸ್ವಯಂಚಾಲಿತ ಯೋಜನೆಗೆ ಬಳಸಬಹುದು. ಆಕ್ಷನ್ ಭಾಷೆಗಳು ಎರಡು ವರ್ಗಗಳಾಗಿ ವಿಂಗಡಿಸಲಾಗಿದೆಃ ಆಕ್ಷನ್ ವಿವರಣೆ ಭಾಷೆಗಳು ಮತ್ತು ಆಕ್ಷನ್ ಕ್ವೆರಿ ಭಾಷೆಗಳು. ಮೊದಲಿನ ಉದಾಹರಣೆಗಳಲ್ಲಿ STRIPS, PDDL, ಲ್ಯಾಂಗ್ವೇಜ್ A (STRIPSನ ಸಾಮಾನ್ಯೀಕರಣ; ಪೆಡ್ನೌಲ್ಟ್ನ ADLನ ಪ್ರಸ್ತಾಪದ ಭಾಗ), ಲ್ಯಾಂಗ್ವೇಜ್ B (ಪರೋಕ್ಷ ಪರಿಣಾಮಗಳನ್ನು ಸೇರಿಸುವ A ಯ ವಿಸ್ತರಣೆ, ಸ್ಥಿರ ಮತ್ತು ಕ್ರಿಯಾತ್ಮಕ ಕಾನೂನುಗಳನ್ನು ಪ್ರತ್ಯೇಕಿಸುವುದು) ಮತ್ತು ಲ್ಯಾಂಗ್ವೇಜ್ C (ಇದು ಪರೋಕ್ಷ ಪರಿಣಾಮಗಳನ್ನು ಸಹ ಸೇರಿಸುತ್ತದೆ, ಮತ್ತು ಪ್ರತಿ ನಿರರ್ಗಳತೆ ಸ್ವಯಂಚಾಲಿತವಾಗಿ "ಜಡತ್ವ" ಎಂದು ಭಾವಿಸುವುದಿಲ್ಲ) ಸೇರಿವೆ. ಆಕ್ಷನ್ ಕ್ವೆರಿ ಲಾಂಗ್ವೇಜಸ್ ಪಿ, ಕ್ಯೂ ಮತ್ತು ಆರ್ ಸಹ ಇವೆ. ಆಕ್ಷನ್ ಲಾಂಗ್ವೇಜಸ್ ಅನ್ನು ಪರಿವರ್ತಿಸಲು ಹಲವಾರು ವಿಭಿನ್ನ ಕ್ರಮಾವಳಿಗಳು ಅಸ್ತಿತ್ವದಲ್ಲಿವೆ, ಮತ್ತು ನಿರ್ದಿಷ್ಟವಾಗಿ, ಸೆಟ್ ಪ್ರೋಗ್ರಾಂಗಳಿಗೆ ಉತ್ತರಿಸಲು ಆಕ್ಷನ್ ಲಾಂಗ್ವೇಜ್ ಸಿ. ಆಧುನಿಕ ಉತ್ತರ-ಸೆಟ್ ಪರಿಹಾರಗಳು ತೃಪ್ತಿಯನ್ನು ತ್ವರಿತವಾಗಿ ಖಚಿತಪಡಿಸಿಕೊಳ್ಳಲು ಬೂಲಿಯನ್ ಎಸ್ಎಟಿ ಕ್ರಮಾವಳಿಗಳನ್ನು ಬಳಸುವುದರಿಂದ, ಬೂಲಿಯನ್ ಎಸ್ಎಟಿ ಪರಿಹಾರದ ಕ್ಷೇತ್ರದಲ್ಲಿ ಆಗುತ್ತಿರುವ ಪ್ರಗತಿಯನ್ನು ಆಕ್ಷನ್ ಭಾಷೆಗಳು ಸಹ ಆನಂದಿಸಬಹುದು ಎಂದು ಇದು ಸೂಚಿಸುತ್ತದೆ. ಔಪಚಾರಿಕ ವ್ಯಾಖ್ಯಾನ ಎಲ್ಲಾ ಆಕ್ಷನ್ ಭಾಷೆಗಳು ಒಂದು ಸ್ಟೇಟ್ ಟ್ರಾನ್ಸಿಶನ್ ಸಿಸ್ಟಮ್ನ ವ್ಯಾಖ್ಯಾನಕ್ಕೆ ಪೂರಕವಾಗಿ ಎಫ್ ಸೆಟ್, ನಿರರ್ಗಳವಾಗಿ ತೆಗೆದುಕೊಳ್ಳಬಹುದಾದ ಮೌಲ್ಯಗಳ ವಿ ಸೆಟ್, ಮತ್ತು ಎಸ್ × ಎಫ್ ನಿಂದ ವಿ ಗೆ ಮ್ಯಾಪಿಂಗ್ ಮಾಡುವ ಕಾರ್ಯ, ಅಲ್ಲಿ ಎಸ್ ಸ್ಟೇಟ್ ಟ್ರಾನ್ಸಿಶನ್ ಸಿಸ್ಟಮ್ನ ಸ್ಥಿತಿಗಳ ಗುಂಪಾಗಿದೆ. ಲೀನಿಯರ್ ಟೆಂಪೋರಲ್ ಲಾಜಿಕ್ GOLOG ಫ್ಲೂಯೆಂಟ್ ಕ್ಯಾಲ್ಕುಲಸ್ ಸಿಚುಯೇಷನ್ ಕ್ಯಾಲ್ಕುಲಸ್ ಈವೆಂಟ್ ಕ್ಯಾಲ್ಕುಲಸ್ ರೆಫರೆನ್ಸ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಭಾಷಾ ವರ್ಗೀಕರಣ ಸ್ವಯಂಚಾಲಿತ ಯೋಜನೆ ಮತ್ತು ವೇಳಾಪಟ್ಟಿ ಪರಿವರ್ತನೆ ವ್ಯವಸ್ಥೆಗಳನ್ನು ಸಹ ನೋಡಿ.