Action description language
ಕೃತಕ ಬುದ್ಧಿಮತ್ತೆಯಲ್ಲಿ, ಆಕ್ಷನ್ ಡಿಸ್ಕ್ರಿಪ್ಷನ್ ಲ್ಯಾಂಗ್ವೇಜ್ (ಎ. ಡಿ. ಎಲ್) ನಿರ್ದಿಷ್ಟವಾಗಿ ರೋಬೋಟ್ಗಳಿಗೆ ಸ್ವಯಂಚಾಲಿತ ಯೋಜನೆ ಮತ್ತು ವೇಳಾಪಟ್ಟಿ ವ್ಯವಸ್ಥೆಯಾಗಿದೆ. ಇದನ್ನು STRIPSನ ಪ್ರಗತಿಯೆಂದು ಪರಿಗಣಿಸಲಾಗಿದೆ. ಎಡ್ವಿನ್ ಪೆಡ್ನಾಲ್ಟ್ (1996ರಿಂದ ಡೇಟಾ ಅಬ್ಸ್ಟ್ರಾಕ್ಷನ್ ರಿಸರ್ಚ್ ಗ್ರೂಪ್ನಲ್ಲಿ ಐಬಿಎಂ ರಿಸರ್ಚ್ ಸ್ಟಾಫ್ ಸದಸ್ಯರಾಗಿರುವ ಡೇಟಾ ಅಬ್ಸ್ಟ್ರಾಕ್ಷನ್ ಮತ್ತು ಮಾಡೆಲಿಂಗ್ ಕ್ಷೇತ್ರದಲ್ಲಿ ತಜ್ಞ) 1987ರಲ್ಲಿ ಈ ಭಾಷೆಯನ್ನು ಪ್ರಸ್ತಾಪಿಸಿದರು. ಇದು ಕ್ರಿಯಾತ್ಮಕ ಭಾಷೆಗೆ ಒಂದು ಉದಾಹರಣೆಯಾಗಿದೆ. ಆಪರೇಟರ್ನ ಪರಿಣಾಮಗಳು ಷರತ್ತುಬದ್ಧವಾಗಿರಲು ಅವಕಾಶ ನೀಡುವ ಮೂಲಕ STRIPSನ ಅಭಿವ್ಯಕ್ತಿ ಶಕ್ತಿಯು ಸುಧಾರಿಸುವ ಸಾಧ್ಯತೆಯಿದೆ ಎಂದು ಒರಿಜಿನ್ಸ್ ಪೆಡ್ನಾಲ್ಟ್ ಗಮನಿಸಿದರು. ಇದು ಎ. ಡಿ. ಎಲ್.-ಎ. ಯ ಮುಖ್ಯ ಕಲ್ಪನೆಯಾಗಿದೆ, ಇದು ಸ್ಥೂಲವಾಗಿ ಪೆಡ್ನಾಲ್ಟ್ ಪ್ರಸ್ತಾಪಿಸಿದ ಎ. ಡಿ. ಎಲ್. ನ ಪ್ರಸ್ತಾಪಿತ ತುಣುಕು, ಎ. ಡಿ. ಎಲ್.-ಬಿ. ಯು-ಎ. ಯ ವಿಸ್ತರಣೆಯಾಗಿದೆ. - ಬಿ ವಿಸ್ತರಣೆಯಲ್ಲಿ, ಹೊಸ ರೀತಿಯ ಪ್ರಸ್ತಾಪಗಳನ್ನು ಪರಿಚಯಿಸುವ ಮೂಲಕ ಕ್ರಿಯೆಗಳನ್ನು ಪರೋಕ್ಷ ಪರಿಣಾಮಗಳೊಂದಿಗೆ ವಿವರಿಸಬಹುದುಃ "ಸ್ಥಿರ ನಿಯಮಗಳು". ಎ. ಡಿ. ಎಲ್. ನ ಮೂರನೇ ರೂಪಾಂತರವೆಂದರೆ ಎ. ಡಿ. ಎಲ್.-ಸಿ. ಇದು-ಬಿ. ಗೆ ಹೋಲುತ್ತದೆ, ಇದರ ಅರ್ಥದಲ್ಲಿ ಅದರ ಪ್ರಸ್ತಾಪಗಳನ್ನು ಸ್ಥಿರ ಮತ್ತು ಕ್ರಿಯಾತ್ಮಕ ನಿಯಮಗಳಾಗಿ ವರ್ಗೀಕರಿಸಬಹುದು, ಆದರೆ ಇನ್ನೂ ಕೆಲವು ನಿರ್ದಿಷ್ಟತೆಗಳೊಂದಿಗೆ. ಪರಿಸರದಲ್ಲಿ ಕೆಲವು ಪರಿಸ್ಥಿತಿಗಳನ್ನು ಪ್ರತಿನಿಧಿಸುವುದು ಮತ್ತು ಅವುಗಳ ಆಧಾರದ ಮೇಲೆ, ಅಪೇಕ್ಷಿತ ಗುರಿಗೆ ಕಾರಣವಾಗುವ ಕ್ರಿಯೆಗಳ ಸರಣಿಯನ್ನು ಸ್ವಯಂಚಾಲಿತವಾಗಿ ರಚಿಸುವುದು ಯೋಜನಾ ಭಾಷೆಯ ಅರ್ಥವಾಗಿದೆ. ಒಂದು ಗುರಿಯು ಒಂದು ನಿರ್ದಿಷ್ಟ ಭಾಗಶಃ ನಿರ್ದಿಷ್ಟ ಷರತ್ತು. ಒಂದು ಕ್ರಿಯೆಯನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸುವ ಮೊದಲು ಅದರ ಪೂರ್ವ ಷರತ್ತುಗಳನ್ನು ಪೂರೈಸಬೇಕು; ಕಾರ್ಯಗತಗೊಳಿಸಿದ ನಂತರ ಕ್ರಿಯೆಯು ಪರಿಣಾಮಗಳನ್ನು ನೀಡುತ್ತದೆ, ಅದರ ಮೂಲಕ ಪರಿಸರವು ಬದಲಾಗುತ್ತದೆ. ಪರಿಸರವನ್ನು ಕೆಲವು ಮುನ್ಸೂಚನೆಗಳ ಮೂಲಕ ವಿವರಿಸಲಾಗುತ್ತದೆ, ಅವು ಈಡೇರುತ್ತವೆಯೋ ಇಲ್ಲವೋ. STRIPS ಗೆ ವಿರುದ್ಧವಾಗಿ, ಮುಕ್ತ ಪ್ರಪಂಚದ ತತ್ವವು ADL ಗೆ ಅನ್ವಯಿಸುತ್ತದೆಃ ಪರಿಸ್ಥಿತಿಗಳಲ್ಲಿ ಸಂಭವಿಸದ ಎಲ್ಲವೂ ತಿಳಿದಿಲ್ಲ (ಸುಳ್ಳು ಎಂದು ಭಾವಿಸುವ ಬದಲು). ಇದರ ಜೊತೆಗೆ, STRIPSನಲ್ಲಿ ಧನಾತ್ಮಕ ಅಕ್ಷರಗಳು ಮತ್ತು ಸಂಯೋಗಗಳನ್ನು ಮಾತ್ರ ಅನುಮತಿಸಲಾಗುತ್ತದೆಯಾದರೂ, ADL ಋಣಾತ್ಮಕ ಅಕ್ಷರಗಳು ಮತ್ತು ವಿಭಜನೆಗಳನ್ನು ಸಹ ಅನುಮತಿಸುತ್ತದೆ. ಎ. ಡಿ. ಎಲ್. ನ ವಾಕ್ಯರಚನೆಯು ಒಂದು ಕ್ರಿಯೆಯ ಹೆಸರು, ಐಚ್ಛಿಕ ನಿಯತಾಂಕ ಪಟ್ಟಿ ಮತ್ತು ಪ್ರೀಕಂಡ್, ಆಡ್, ಡಿಲೀಟ್ ಮತ್ತು ಅಪ್ಡೇಟ್ ಎಂದು ಲೇಬಲ್ ಮಾಡಲಾದ ನಾಲ್ಕು ಐಚ್ಛಿಕ ಗುಂಪುಗಳನ್ನು ಒಳಗೊಂಡಿರುತ್ತದೆ. ಪೂರ್ವಭಾವಿ ಗುಂಪು ಎಂಬುದು ಒಂದು ಕ್ರಿಯೆಯ ಅನುಷ್ಠಾನಕ್ಕೆ ಪೂರ್ವಭಾವಿ ಷರತ್ತುಗಳನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುವ ಸೂತ್ರಗಳ ಪಟ್ಟಿಯಾಗಿದೆ. ಸೆಟ್ ಖಾಲಿಯಾಗಿದ್ದರೆ "TRUE" ಮೌಲ್ಯವನ್ನು ಗುಂಪಿಗೆ ಸೇರಿಸಲಾಗುತ್ತದೆ ಮತ್ತು ಪೂರ್ವ ಷರತ್ತುಗಳನ್ನು ಯಾವಾಗಲೂ ಹಿಡುವಳಿ ಷರತ್ತುಗಳಾಗಿ ಮೌಲ್ಯಮಾಪನ ಮಾಡಲಾಗುತ್ತದೆ. ಆಡ್ ಮತ್ತು ಡಿಲೀಟ್ ಷರತ್ತುಗಳನ್ನು ಕ್ರಮವಾಗಿ ಆಡ್ ಮತ್ತು ಡಿಲೀಟ್ ಗುಂಪುಗಳು ನಿರ್ದಿಷ್ಟಪಡಿಸುತ್ತವೆ. ಪ್ರತಿಯೊಂದು ಗುಂಪು ಚಿತ್ರ 1 ರ ಎಡಗೈ ಅಂಕಣದಲ್ಲಿ ತೋರಿಸಿರುವ ರೂಪಗಳ ಷರತ್ತುಗಳ ಗುಂಪನ್ನು ಒಳಗೊಂಡಿರುತ್ತದೆಃ R ಒಂದು ಸಂಬಂಧ ಚಿಹ್ನೆಯನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ τ1,., τn ಪದಗಳನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ si ಸೂತ್ರವನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ ಅನುಕ್ರಮ z1,., zk ಗಳು τ1,., τn ಪದಗಳಲ್ಲಿ ಕಾಣಿಸಿಕೊಳ್ಳುವ ವೇರಿಯೇಬಲ್ ಚಿಹ್ನೆಗಳಾಗಿವೆ, ಆದರೆ ಕ್ರಿಯೆಯ ಸ್ಕೀಮಾ x1,., xn ನ ನಿಯತಾಂಕ ಪಟ್ಟಿಯಲ್ಲಿ ಇಲ್ಲ., xn ಗಳು ವೇರಿಯೇಬಲ್ ಚಿಹ್ನೆಗಳಾಗಿವೆ, ಅದು ವೇರಿಯೇಬಲ್ಗಳಾದ z1,., zn ಗಿಂತ ಭಿನ್ನವಾಗಿದೆ ಮತ್ತು τ1,., τn, si, ಅಥವಾ ಕ್ರಿಯೆಯ ಸ್ಕೀಮಾದ ನಿಯತಾಂಕ ಪಟ್ಟಿಯಲ್ಲಿ ಕಾಣಿಸುವುದಿಲ್ಲ. ಕಾರ್ಯ ಚಿಹ್ನೆಗಳ ಮೌಲ್ಯಗಳನ್ನು ಬದಲಾಯಿಸಲು ನವೀಕರಣ ಷರತ್ತುಗಳನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸಲು ನವೀಕರಣ ಗುಂಪುಗಳನ್ನು ಬಳಸಲಾಗುತ್ತದೆ. ನವೀಕರಿಸಿದ ಗುಂಪು ಚಿತ್ರ 2 ರ ಎಡ ಕಾಲಮ್ನಲ್ಲಿ ತೋರಿಸಿರುವ ಫಾರ್ಮ್ಗಳ ಷರತ್ತುಗಳ ಗುಂಪನ್ನು ಒಳಗೊಂಡಿದೆಃ ಎಡಿಎಲ್ನ ಶಬ್ದಾರ್ಥಗಳು ಎಡಿಎಲ್ನ ಔಪಚಾರಿಕ ಶಬ್ದಾರ್ಥವನ್ನು 4 ನಿರ್ಬಂಧಗಳಿಂದ ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ. ಮೊದಲ ನಿರ್ಬಂಧವೆಂದರೆ ಕ್ರಿಯೆಗಳು ಜಗತ್ತಿನಲ್ಲಿ ಅಸ್ತಿತ್ವದಲ್ಲಿರುವ ವಸ್ತುಗಳ ಗುಂಪನ್ನು ಬದಲಾಯಿಸದಿರಬಹುದು; ಇದರರ್ಥ ಪ್ರತಿ ಕ್ರಿಯೆ α ಮತ್ತು ಪ್ರತಿ ಕರೆಂಟ್-ಸ್ಟೇಟ್/ನೆಕ್ಸ್ಟ್-ಸ್ಟೇಟ್ ಜೋಡಿ (s, t) bula ಗೆ, t ಯ ಡೊಮೇನ್ s ನ ಡೊಮೇನ್ಗೆ ಸಮನಾಗಿರಬೇಕು. ಎರಡನೇ ನಿರ್ಬಂಧವೆಂದರೆ ADL ನಲ್ಲಿನ ಕ್ರಿಯೆಗಳು ನಿರ್ಣಾಯಕವಾಗಿರಬೇಕು. (ಗಳು, ಟಿ1) ಮತ್ತು (ಗಳು, ಟಿ2) ಗಳು ಪ್ರಸ್ತುತ-ಸ್ಥಿತಿ/ಮುಂದಿನ-ಸ್ಥಿತಿ ಕ್ರಿಯೆಯ ಜೋಡಿಗಳಾಗಿದ್ದರೆ, ಆಗ ಟಿ1 = ಟಿ2 ಆಗಿರಬೇಕು. ಎ. ಡಿ. ಎಲ್. ನಲ್ಲಿ ಅಳವಡಿಸಲಾಗಿರುವ ಮೂರನೇ ನಿರ್ಬಂಧವೆಂದರೆ, ಮೇಲೆ ಪರಿಚಯಿಸಲಾದ ಕಾರ್ಯಗಳು ಮೊದಲ-ಕ್ರಮಾಂಕದ ಸೂತ್ರಗಳಾಗಿ ಪ್ರತಿನಿಧಿಸಬಹುದಾದಂತಿರಬೇಕು. ಪ್ರತಿ n-ಆರಿ ಸಂಬಂಧ ಚಿಹ್ನೆ R ಗೆ, ಮುಕ್ತ ಅಸ್ಥಿರಗಳಾದ x2,.., xn ನೊಂದಿಗೆ ಒಂದು ಸೂತ್ರವು ಅಸ್ತಿತ್ವದಲ್ಲಿರಬೇಕು, ಅಂದರೆ f (s) ಅನ್ನು ಹೀಗೆ ನೀಡಲಾಗುತ್ತದೆಃ ಇದರ ಪರಿಣಾಮವಾಗಿ, ಕ್ರಿಯೆಯನ್ನು ಮಾಡಿದ ನಂತರ F (n1,., xn) = y ನಿಜವಾಗಿರುತ್ತದೆ | = φaR (x1,., xn, y) ಮೊದಲೇ ನಿಜವಾಗಿದ್ದರೆ ಮಾತ್ರ. ಈ ಪ್ರಾತಿನಿಧ್ಯದ ಅವಶ್ಯಕತೆಯು ಮೊದಲ ನಿರ್ಬಂಧವನ್ನು ಅವಲಂಬಿಸಿದೆ ಎಂಬುದನ್ನು ಗಮನಿಸಿ (f ನ ಡೊಮೇನ್ s ನ ಡೊಮೇನ್ಗೆ ಸಮನಾಗಿರಬೇಕು). ಎ. ಡಿ. ಎಲ್. ನಲ್ಲಿ ಅಳವಡಿಸಲಾಗಿರುವ ನಾಲ್ಕನೇ ಮತ್ತು ಅಂತಿಮ ನಿರ್ಬಂಧವೆಂದರೆ ಒಂದು ಕ್ರಿಯೆಯನ್ನು ಕಾರ್ಯಗತಗೊಳಿಸಬಹುದಾದ ಸ್ಥಿತಿಗಳ ಗುಂಪನ್ನು ಸಹ ಸೂತ್ರವಾಗಿ ಪ್ರತಿನಿಧಿಸಬೇಕು. ಎ. ಡಿ. ಎಲ್. ನಲ್ಲಿ ಪ್ರತಿನಿಧಿಸಬಹುದಾದ ಪ್ರತಿಯೊಂದು ಕ್ರಿಯೆ α ಗೆ, s | = Πa ಎಂಬ ಗುಣಲಕ್ಷಣದೊಂದಿಗೆ ಸೂತ್ರ Πa ಅಸ್ತಿತ್ವದಲ್ಲಿರಬೇಕು ಮತ್ತು ಕೆಲವು ಸ್ಥಿತಿ t ಇದ್ದರೆ ಮಾತ್ರ (s, t) ω (ಅಂದರೆ. ಕ್ರಿಯೆಯು α ಸ್ಥಿತಿಯಲ್ಲಿ ಕಾರ್ಯಗತಗೊಳ್ಳಬಲ್ಲದು) ಯೋಜನೆಯ ಸಂಕೀರ್ಣತೆ ಗಣನೆಯ ದಕ್ಷತೆಯ ದೃಷ್ಟಿಯಿಂದ, ಎ. ಡಿ. ಎಲ್. ಅನ್ನು ಎ. ಟಿ. ಆರ್. ಐ. ಪಿ. ಎಸ್. ಮತ್ತು ಸಿಚುಯೇಷನ್ ಕ್ಯಾಲ್ಕುಲಸ್ ನಡುವೆ ಗುರುತಿಸಬಹುದು. ಯಾವುದೇ ಎ. ಡಿ. ಎಲ್. ಸಮಸ್ಯೆಯನ್ನು ಎ. ಟಿ. ಆರ್. ಐ. ಪಿ. ಎಸ್. ನಿದರ್ಶನವಾಗಿ ಭಾಷಾಂತರಿಸಬಹುದು-ಆದಾಗ್ಯೂ, ಅಸ್ತಿತ್ವದಲ್ಲಿರುವ ಸಂಕಲನ ತಂತ್ರಗಳು ಅತ್ಯಂತ ಕೆಟ್ಟ-ಪ್ರಕರಣ ಘಾತೀಯವಾಗಿವೆ. ನಾವು ಯೋಜನೆಗಳ ಉದ್ದವನ್ನು ಬಹುಪದೀಯವಾಗಿ ಸಂರಕ್ಷಿಸಲು ಸಿದ್ಧರಿದ್ದರೆ ಈ ಕೆಟ್ಟ ಸ್ಥಿತಿಯನ್ನು ಸುಧಾರಿಸಲಾಗುವುದಿಲ್ಲ, ಹೀಗಾಗಿ ಎ. ಡಿ. ಎಲ್. ಕಟ್ಟುನಿಟ್ಟಾಗಿ ಎಸ್. ಟಿ. ಆರ್. ಐ. ಪಿ. ಎಸ್. ಗಿಂತ ಹೆಚ್ಚು ಸಂಕ್ಷಿಪ್ತವಾಗಿರುತ್ತದೆ. ಎ. ಡಿ. ಎಲ್ ಯೋಜನೆಯು ಇನ್ನೂ ಪಿ. ಎಸ್. ಪಿ. ಎ. ಸಿ. ಇ-ಪೂರ್ಣ ಸಮಸ್ಯೆಯಾಗಿದೆ. ಪೂರ್ವ ಷರತ್ತುಗಳು ಮತ್ತು ಪರಿಣಾಮಗಳು ಸಂಕೀರ್ಣ ಸೂತ್ರಗಳಾಗಿದ್ದರೂ ಸಹ ಹೆಚ್ಚಿನ ಕ್ರಮಾವಳಿಗಳು ಬಹುಪದೀಯ ಸ್ಥಳಾವಕಾಶವನ್ನು ಹೊಂದಿರುತ್ತವೆ. ಶಾಸ್ತ್ರೀಯ ಯೋಜನೆಗೆ ಹೆಚ್ಚಿನ ಉನ್ನತ-ಕಾರ್ಯಕ್ಷಮತೆಯ ವಿಧಾನಗಳು ಆಂತರಿಕವಾಗಿ ಪ್ರಾತಿನಿಧ್ಯದಂತಹ STRIPS ಅನ್ನು ಬಳಸುತ್ತವೆ. ವಾಸ್ತವವಾಗಿ, ಹೆಚ್ಚಿನ ಯೋಜಕರು (ಎಫ್ಎಫ್, ಎಲ್ಪಿಜಿ, ಫಾಸ್ಟ್-ಡೌನ್ವರ್ಡ್, ಎಸ್ಜಿಪಿಎಲ್ಎಎನ್5 ಮತ್ತು ಎಲ್ಎಎಂಎ) ಮೊದಲು ಎಡಿಎಲ್ ಉದಾಹರಣೆಯನ್ನು ಮೂಲಭೂತವಾಗಿ ಸ್ಟ್ರಿಪ್ಸ್ ಒಂದಾಗಿ (ಷರತ್ತುಬದ್ಧ ಅಥವಾ ಪ್ರಮಾಣೀಕೃತ ಪರಿಣಾಮಗಳು ಅಥವಾ ಗುರಿಗಳಿಲ್ಲದೆ) ಭಾಷಾಂತರಿಸುತ್ತಾರೆ. STRIPS ಮತ್ತು ADL ನಡುವಿನ ಹೋಲಿಕೆ STRIPS ಭಾಷೆಯು ರಾಜ್ಯಗಳಲ್ಲಿ ಧನಾತ್ಮಕ ಅಕ್ಷರಗಳನ್ನು ಮಾತ್ರ ಅನುಮತಿಸುತ್ತದೆ, ಆದರೆ ADL ಧನಾತ್ಮಕ ಮತ್ತು ಋಣಾತ್ಮಕ ಅಕ್ಷರಗಳನ್ನು ಬೆಂಬಲಿಸುತ್ತದೆ. ಉದಾಹರಣೆಗೆ, STRIPS ನಲ್ಲಿನ ಒಂದು ಮಾನ್ಯ ವಾಕ್ಯವು ಶ್ರೀಮಂತ ಸುಂದರವಾಗಿರಬಹುದು. ಅದೇ ವಾಕ್ಯವನ್ನು ADL ನಲ್ಲಿ ಹೀಗೆ ವ್ಯಕ್ತಪಡಿಸಬಹುದುಃ STRIPS ನಲ್ಲಿ ಉಲ್ಲೇಖಿಸದ ಅಕ್ಷರಗಳು ಸುಳ್ಳು. ಇದನ್ನು ಕ್ಲೋಸ್ಡ್-ವರ್ಲ್ಡ್ ಅಸಂಪ್ಷನ್ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಎ. ಡಿ. ಎಲ್. ನಲ್ಲಿ ಉಲ್ಲೇಖಿಸದ ಅಕ್ಷರಗಳು ತಿಳಿದಿಲ್ಲ. ಇದನ್ನು ಓಪನ್ ವರ್ಲ್ಡ್ ಅಸಂಪ್ಷನ್ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ಸ್ಟ್ರಿಪ್ಸ್ನಲ್ಲಿ ನಾವು ಗೋಲುಗಳಲ್ಲಿ ನೆಲದ ಅಕ್ಷರಗಳನ್ನು ಮಾತ್ರ ಕಾಣಬಹುದು. ಉದಾಹರಣೆಗೆ, ರಿಚ್ ಬ್ಯೂಟಿಫುಲ್. ಎ. ಡಿ. ಎಲ್. ನಲ್ಲಿ ನಾವು ಗುರಿಗಳಲ್ಲಿ ಕ್ವಾಂಟಿಫೈಡ್ ವೇರಿಯೇಬಲ್ಗಳನ್ನು ಕಾಣಬಹುದು. ಉದಾಹರಣೆಗೆ, HEx (P1, x) (P2, x) ಎಂಬುದು ಬ್ಲಾಕ್ಗಳ ಉದಾಹರಣೆಯಲ್ಲಿ P1 ಮತ್ತು P2 ಅನ್ನು ಒಂದೇ ಸ್ಥಳದಲ್ಲಿ ಹೊಂದುವ ಗುರಿಯಾಗಿದೆ. ಎ. ಡಿ. ಎಲ್. ನಲ್ಲಿ, ಗುರಿಗಳು ಸಂಯೋಗಗಳು ಮತ್ತು ವಿಭಜನೆಗಳನ್ನು ಒಳಗೊಂಡಿರಬಹುದು (ಶ್ರೀಮಂತ (ಬ್ಯೂಟಿಫುಲ್ ಸ್ಮಾರ್ಟ್)). STRIPS ನಲ್ಲಿ ಪರಿಣಾಮಗಳು ಸಂಯೋಗಗಳಾಗಿವೆ, ಆದರೆ ADL ನಲ್ಲಿ ಷರತ್ತುಬದ್ಧ ಪರಿಣಾಮಗಳನ್ನು ಅನುಮತಿಸಲಾಗಿದೆಃ P: E ಎಂದರೆ P ತೃಪ್ತಿಯಾದಾಗ ಮಾತ್ರ E ಪರಿಣಾಮವಾಗಿದೆ. ಎ. ಡಿ. ಎಲ್. ನಲ್ಲಿ, ಸಮಾನತೆಯ ಮುನ್ಸೂಚನೆಯನ್ನು (x = y) ಅಂತರ್ನಿರ್ಮಿತವಾಗಿದೆ. STRIPS ಪ್ರಕಾರಗಳಿಗೆ ಬೆಂಬಲವನ್ನು ಹೊಂದಿಲ್ಲ, ಆದರೆ ADLನಲ್ಲಿ ಇದು ಬೆಂಬಲಿತವಾಗಿದೆ (ಉದಾಹರಣೆಗೆ, ಚರರಾಶಿ p: ವ್ಯಕ್ತಿ). STRIPS ಭಾಷೆಯ ಅಭಿವ್ಯಕ್ತಿಯು ಆ ಭಾಷೆಯಲ್ಲಿ ವಿವರಿಸಬಹುದಾದ ಸೂತ್ರಗಳ ಗುಂಪಿನಲ್ಲಿನ ರೂಪಾಂತರಗಳ ಪ್ರಕಾರಗಳಿಂದ ನಿರ್ಬಂಧಿತವಾಗಿದೆ. ಎಸ್ಟಿಆರ್ಐಪಿಎಸ್ ಆಪರೇಟರ್ಗಳನ್ನು ಬಳಸಿಕೊಂಡು ಸೂತ್ರಗಳ ಸೆಟ್ಗಳಲ್ಲಿನ ರೂಪಾಂತರಗಳನ್ನು ಪರಿವರ್ತಿಸಬೇಕಾದ ಸೆಟ್ನಿಂದ ಕೆಲವು ಸೂತ್ರಗಳನ್ನು ತೆಗೆದುಹಾಕುವ ಮೂಲಕ ಮತ್ತು ಹೊಸ ಹೆಚ್ಚುವರಿ ಸೂತ್ರಗಳನ್ನು ಸೇರಿಸುವ ಮೂಲಕ ಸಾಧಿಸಲಾಗುತ್ತದೆ. ನಿರ್ದಿಷ್ಟವಾದ STRIPS ಆಪರೇಟರ್ಗೆ ಸೇರಿಸಬೇಕಾದ ಮತ್ತು ಅಳಿಸಬೇಕಾದ ಸೂತ್ರಗಳನ್ನು ಎಲ್ಲಾ ರೀತಿಯ ಸೂತ್ರಗಳನ್ನು ಪರಿವರ್ತಿಸಲು ನಿಗದಿಪಡಿಸಲಾಗಿದೆ. ಇದರ ಪರಿಣಾಮವಾಗಿ, STRIPS ನಿರ್ವಾಹಕರು ಕ್ರಮಗಳನ್ನು ಸಮರ್ಪಕವಾಗಿ ರೂಪಿಸಲು ಸಾಧ್ಯವಿಲ್ಲ, ಅದರ ಪರಿಣಾಮಗಳು ಅವುಗಳನ್ನು ನಿರ್ವಹಿಸುವ ಸಂದರ್ಭಗಳನ್ನು ಅವಲಂಬಿಸಿರುತ್ತದೆ. ಒಂದು ನಿರ್ದಿಷ್ಟ ಸಮಯದವರೆಗೆ ಹಾರಿಸಲಾಗುವ ರಾಕೆಟ್ ಅನ್ನು ಪರಿಗಣಿಸಿ. ಸುಡುವ ಅವಧಿಯ ಕಾರಣದಿಂದಾಗಿ ಮಾತ್ರವಲ್ಲದೆ ರಾಕೆಟ್ನ ವೇಗ, ದ್ರವ್ಯರಾಶಿ ಮತ್ತು ದೃಷ್ಟಿಕೋನದಿಂದಲೂ ಪಥವು ಬದಲಾಗಬಹುದು. ಇದನ್ನು STRIPS ಆಪರೇಟರ್ ಮೂಲಕ ರೂಪಿಸಲಾಗುವುದಿಲ್ಲ ಏಕೆಂದರೆ ಸೇರಿಸಬೇಕಾದ ಮತ್ತು ಅಳಿಸಬೇಕಾದ ಸೂತ್ರಗಳು ರೂಪಾಂತರಗೊಳ್ಳಬೇಕಾದ ಸೂತ್ರಗಳ ಗುಂಪನ್ನು ಅವಲಂಬಿಸಿರುತ್ತದೆ. ಎಸ್ಟಿಆರ್ಐಪಿಎಸ್ ಭಾಷೆಯನ್ನು ಬಳಸುವಾಗ ಪರಿಣಾಮಕಾರಿ ತರ್ಕವು ಸಾಧ್ಯವಾದರೂ, ಎಸ್ಟಿಆರ್ಐಪಿಎಸ್ನ ಅಭಿವ್ಯಕ್ತಿಯು ಅನೇಕ ನೈಜ ಪ್ರಪಂಚದ ಅನ್ವಯಗಳಲ್ಲಿ ಕ್ರಿಯೆಗಳನ್ನು ರೂಪಿಸಲು ಸೂಕ್ತವಲ್ಲ ಎಂದು ಸಾಮಾನ್ಯವಾಗಿ ಗುರುತಿಸಲಾಗಿದೆ. ಈ ಅಸಮರ್ಪಕತೆಯು ಎ. ಡಿ. ಎಲ್ ಭಾಷೆಯ ಅಭಿವೃದ್ಧಿಯನ್ನು ಪ್ರೇರೇಪಿಸಿತು. ADL ಅಭಿವ್ಯಕ್ತಿ ಮತ್ತು ಸಂಕೀರ್ಣತೆಯು STRIPS ಭಾಷೆ ಮತ್ತು ಸನ್ನಿವೇಶದ ಕಲನಶಾಸ್ತ್ರದ ನಡುವೆ ಇರುತ್ತದೆ. ಅದರ ಅಭಿವ್ಯಕ್ತಿ ಶಕ್ತಿಯು ಮೇಲೆ ವಿವರಿಸಿದ ರಾಕೆಟ್ ಉದಾಹರಣೆಯನ್ನು ಪ್ರತಿನಿಧಿಸಲು ಅನುವು ಮಾಡಿಕೊಡಲು ಸಾಕಾಗುತ್ತದೆ, ಅದೇ ಸಮಯದಲ್ಲಿ, ಇದು ಪರಿಣಾಮಕಾರಿ ತಾರ್ಕಿಕ ಕ್ರಮಾವಳಿಗಳನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸಲು ಅನುವು ಮಾಡಿಕೊಡುವಷ್ಟು ನಿರ್ಬಂಧಿತವಾಗಿದೆ. ಬ್ಲಾಕ್ಗಳ ಪ್ರಪಂಚದ ಹೆಚ್ಚು ಸಂಕೀರ್ಣವಾದ ಆವೃತ್ತಿಯಲ್ಲಿ ಒಂದು ಉದಾಹರಣೆಯೆಂದರೆಃ ಬ್ಲಾಕ್ ಎ ಬ್ಲಾಕ್ಗಳು ಬಿ ಮತ್ತು ಸಿ ಬ್ಲಾಕ್ಗಳಿಗಿಂತ ಎರಡು ಪಟ್ಟು ದೊಡ್ಡದಾಗಿರಬಹುದು, ಆದ್ದರಿಂದ ಆನ್ (ಎ, ಸಿ) ಈಗಾಗಲೇ ನಿಜವಾಗಿದ್ದರೆ ಅಥವಾ ಬ್ಲಾಕ್ಗಳ ಗಾತ್ರವನ್ನು ಅವಲಂಬಿಸಿ ಷರತ್ತುಬದ್ಧ ಪರಿಣಾಮವನ್ನು ಸೃಷ್ಟಿಸಿದರೆ ಮಾತ್ರ ಕ್ಲಿಯರ್ (ಎ) ಅನ್ನು ನಿರಾಕರಿಸುವ ಪರಿಣಾಮವನ್ನು xಮೂವ್ಆಂಟೊ (ಬಿ, ಎ) ಕ್ರಿಯೆಯು ಹೊಂದಿರಬಹುದು. ಷರತ್ತುಬದ್ಧ ಪರಿಣಾಮಗಳಿಲ್ಲದೆ ಈ ರೀತಿಯ ಷರತ್ತುಬದ್ಧ ಪರಿಣಾಮಗಳನ್ನು STRIPS ಸಂಕೇತದಲ್ಲಿ ವ್ಯಕ್ತಪಡಿಸುವುದು ಕಷ್ಟವಾಗುತ್ತದೆ. ಉದಾಹರಣೆ ವಾಯು ಸರಕು ಸಾಗಣೆಯ ಸಮಸ್ಯೆಯನ್ನು ಪರಿಗಣಿಸಿ, ಅಲ್ಲಿ ಕೆಲವು ಸರಕುಗಳನ್ನು ವಿಮಾನ ನಿಲ್ದಾಣದಿಂದ ಮತ್ತೊಂದು ವಿಮಾನ ನಿಲ್ದಾಣಕ್ಕೆ ವಿಮಾನದ ಮೂಲಕ ಸಾಗಿಸಬೇಕಾಗುತ್ತದೆ ಮತ್ತು ಅಲ್ಲಿ ವಿಮಾನಗಳನ್ನು ಲೋಡ್ ಮಾಡಿ ಇಳಿಸಬೇಕಾಗುತ್ತದೆ. ಅಗತ್ಯ ಕ್ರಮಗಳು ಲೋಡ್ ಮಾಡುವುದು, ಇಳಿಸುವುದು ಮತ್ತು ಹಾರಿಸುವುದು; ವಿವರಣಾಕಾರರ ಮೇಲೆ ಒಬ್ಬರು ವ್ಯಕ್ತಪಡಿಸಬಹುದು ಮತ್ತು ಸರಕು c ವಿಮಾನ p ನಲ್ಲಿದೆಯೇ ಮತ್ತು ವಸ್ತು x ವಿಮಾನ ನಿಲ್ದಾಣ A ನಲ್ಲಿದೆಯೇ ಎಂಬುದನ್ನು ವ್ಯಕ್ತಪಡಿಸಬಹುದು. ನಂತರ ಕ್ರಿಯೆಗಳನ್ನು ಈ ಕೆಳಗಿನಂತೆ ವ್ಯಾಖ್ಯಾನಿಸಬಹುದುಃ ಕ್ರಿಯೆ (ಲೋಡ್ (ಸಿಃ ಸರಕು, ಪಿಃ ವಿಮಾನ, ಎಃ ವಿಮಾನ ನಿಲ್ದಾಣ) ಪೂರ್ವ ಷರತ್ತುಃ (ಸಿ, ಎ) ^ (ಪಿ, ಎ) ಪರಿಣಾಮಃ (ಸಿ, ಎ) ^ (ಸಿ, ಪಿ)) ಕ್ರಿಯೆ (ಅನ್ಲೋಡ್ (ಸಿಃ ಸರಕು, ಪಿಃ ವಿಮಾನ, ಎಃ ವಿಮಾನ) ಪೂರ್ವ ಷರತ್ತುಃ (ಸಿ, ಪಿ) ^ (ಪಿ, ಎ) ಪರಿಣಾಮಃ (ಸಿ, ಎ) ^ (ಸಿ, ಪಿ)) ಕ್ರಿಯೆ (ಫ್ಲೈ (ಪಿಃ ವಿಮಾನ, ವಿಮಾನ ನಿಲ್ದಾಣದಿಂದ) ಪೂರ್ವ ಷರತ್ತುಃ (ಪಿ, ನಿಂದ) ಪರಿಣಾಮಃ (ಪಿ, ನಿಂದ): (ಪಿ, ನಿಂದ)