Concurrent MetateM
ಸಮವರ್ತಿ ಮೆಟಾಟೆಮ್ ಒಂದು ಬಹು-ಏಜೆಂಟ್ ಭಾಷೆಯಾಗಿದ್ದು, ಇದರಲ್ಲಿ ಪ್ರತಿ ಏಜೆಂಟ್ ಅನ್ನು ಅದು ಪ್ರದರ್ಶಿಸಬೇಕಾದ ನಡವಳಿಕೆಯ (ವರ್ಧಿತ) ತಾತ್ಕಾಲಿಕ ತರ್ಕದ ವಿಶೇಷಣಗಳ ಗುಂಪನ್ನು ಬಳಸಿಕೊಂಡು ಪ್ರೋಗ್ರಾಮ್ ಮಾಡಲಾಗುತ್ತದೆ. ಏಜೆಂಟ್ನ ನಡವಳಿಕೆಯನ್ನು ಸೃಷ್ಟಿಸಲು ಈ ವಿಶೇಷಣಗಳನ್ನು ನೇರವಾಗಿ ಕಾರ್ಯಗತಗೊಳಿಸಲಾಗುತ್ತದೆ. ಇದರ ಪರಿಣಾಮವಾಗಿ, ತಾರ್ಕಿಕ ವಿವರಣೆಯನ್ನು ಮೊದಲು ಕೆಳಮಟ್ಟದ ಅನುಷ್ಠಾನಕ್ಕೆ ಅನುವಾದಿಸಬೇಕಾದ ವ್ಯವಸ್ಥೆಗಳಂತೆ ತರ್ಕವನ್ನು ಅಮಾನ್ಯಗೊಳಿಸುವ ಅಪಾಯವಿರುವುದಿಲ್ಲ. ಮೆಟಾಟೆಮ್ ಪರಿಕಲ್ಪನೆಯ ಮೂಲವು ಗಬ್ಬೆಯ ಬೇರ್ಪಡಿಕೆ ಪ್ರಮೇಯವಾಗಿದೆ; ಯಾವುದೇ ಅನಿಯಂತ್ರಿತ ತಾತ್ಕಾಲಿಕ ತರ್ಕ ಸೂತ್ರವನ್ನು ತಾರ್ಕಿಕವಾಗಿ ಸಮಾನವಾದ ಭೂತಕಾಲದ ಭವಿಷ್ಯದ ರೂಪದಲ್ಲಿ ಪುನಃ ಬರೆಯಬಹುದು. ಇತಿಹಾಸಕ್ಕೆ ವಿರುದ್ಧವಾಗಿ ನಿಯಮಗಳನ್ನು ನಿರಂತರವಾಗಿ ಹೊಂದಿಸುವ ಪ್ರಕ್ರಿಯೆಯ ಮೂಲಕ ಮರಣದಂಡನೆಯು ಮುಂದುವರಿಯುತ್ತದೆ ಮತ್ತು ಪೂರ್ವವರ್ತಿಗಳು ತೃಪ್ತಿಯಾದಾಗ ಆ ನಿಯಮಗಳನ್ನು ತೆಗೆದುಹಾಕಲಾಗುತ್ತದೆ. ಯಾವುದೇ ತತ್ಕ್ಷಣದ ಭವಿಷ್ಯದ-ಸಮಯದ ಪರಿಣಾಮಗಳು ಬದ್ಧತೆಗಳಾಗುತ್ತವೆ, ಅದನ್ನು ತರುವಾಯ ತೃಪ್ತಿಪಡಿಸಬೇಕು, ಪ್ರೋಗ್ರಾಂ ನಿಯಮಗಳಿಂದ ಮಾಡಲ್ಪಟ್ಟ ಸೂತ್ರಕ್ಕೆ ಪುನರಾವರ್ತಿತವಾಗಿ ಒಂದು ಮಾದರಿಯನ್ನು ಉತ್ಪಾದಿಸುತ್ತದೆ. ಸಾಂದರ್ಭಿಕ ಸಂಪರ್ಕಗಳು ಕಾಂಕರೆಂಟ್ ಮೆಟಾಟೆಮ್ನ ಸಾಂದರ್ಭಿಕ ಸಂಪರ್ಕಗಳನ್ನು ಈ ಕೆಳಗಿನಂತೆ ಎರಡು ವರ್ಗಗಳಾಗಿ ವಿಂಗಡಿಸಬಹುದುಃ ಕಟ್ಟುನಿಟ್ಟಾದ ಹಿಂದಿನ ಸಮಯದ ಸಂಪರ್ಕಗಳುಃ '●' (ದುರ್ಬಲ ಕೊನೆಯ), 'Â' (ಬಲವಾದ ಕೊನೆಯ), 'Â' (ಆಗಿತ್ತು), 'Â' (ಹಿಂದೆ), ಎಸ್ (ನಂತರ), ಮತ್ತು ಝಡ್ (ಝಿನ್ಸ್, ಅಥವಾ ದುರ್ಬಲ ನಂತರ). ಪ್ರಸ್ತುತ ಮತ್ತು ಭವಿಷ್ಯದ ಸಮಯದ ಸಂಯೋಜಕಗಳುಃ '(ಮುಂದಿನ),' (ಕೆಲವೊಮ್ಮೆ), '(ಯಾವಾಗಲೂ), ಯು (ತನಕ), ಮತ್ತು ಡಬ್ಲ್ಯೂ (ಹೊರತುಪಡಿಸಿದರೆ). ಸಂಯೋಜಕಗಳು (ಕನೆಕ್ಟಿವ್ಸ್) ಏಕಕಾಲಿಕವಾಗಿರುತ್ತವೆ; ಉಳಿದವು ದ್ವಿಮಾನವಾಗಿರುತ್ತವೆ (ಬೈನರಿ). ಹಿಂದಿನ ಸಮಯದಲ್ಲಿ ρ ನಿಜವಾಗಿದ್ದರೆ ಕೊನೆಯ ದುರ್ಬಲವಾದ ಹಿಂದಿನ ಸಮಯದ ಸಂಯೋಜಕಗಳು ಈಗ ತೃಪ್ತಿಯಾಗುತ್ತವೆ. ಸಮಯದ ಆರಂಭದಲ್ಲಿ ρ ಅನ್ನು ಅರ್ಥೈಸಿದರೆ, ನಿಜವಾದ ಹಿಂದಿನ ಸಮಯವಿಲ್ಲದಿದ್ದರೂ ಅದನ್ನು ತೃಪ್ತಿಪಡಿಸಲಾಗುತ್ತದೆ. ಆದ್ದರಿಂದ "ದುರ್ಬಲ" ಕೊನೆಯದು. ಹಿಂದಿನ ಸಮಯದಲ್ಲಿ ρ ನಿಜವಾಗಿದ್ದರೆ ಬಲವಾದ ಕೊನೆಯ ρ ಈಗ ತೃಪ್ತಿಯಾಗಿದೆ. ಸಮಯದ ಆರಂಭದಲ್ಲಿ ρ ಅನ್ನು ಅರ್ಥೈಸಿದರೆ, ಅದು ತೃಪ್ತಿಯಾಗುವುದಿಲ್ಲ ಏಕೆಂದರೆ ನಿಜವಾದ ಹಿಂದಿನ ಸಮಯವಿಲ್ಲ. ಆದ್ದರಿಂದ "ಬಲವಾದ" ಕೊನೆಯದು. ಹಿಂದಿನ ಸಮಯದ ಯಾವುದೇ ಕ್ಷಣದಲ್ಲಿ ρ ನಿಜವಾಗಿದ್ದರೆ, ಅದು ಈಗ ತೃಪ್ತಿಗೊಂಡಿದೆಯೇ? ಹಿಂದಿನ ಸಮಯದ ಪ್ರತಿ ಕ್ಷಣದಲ್ಲೂ ρ ನಿಜವಾಗಿದ್ದರೆ ಈ ಮೊದಲು κρ ಈಗ ತೃಪ್ತಿಯಾಗಿದೆ. ಹಿಂದಿನ ಯಾವುದೇ ಕ್ಷಣದಲ್ಲಿ si ನಿಜವಾಗಿದ್ದರೆ ಮತ್ತು ಆ ಕ್ಷಣದ ನಂತರದ ಪ್ರತಿ ಕ್ಷಣದಲ್ಲೂ ρ ನಿಜವಾಗಿದ್ದರೆ ρSsi ಈಗ ತೃಪ್ತಿಯಾಗಿದೆ. (ಹಿಂದಿನ ಯಾವುದೇ ಕ್ಷಣದಲ್ಲಿ si ನಿಜವಾಗಿದ್ದರೆ ಮತ್ತು ಆ ಕ್ಷಣದ ನಂತರದ ಪ್ರತಿ ಕ್ಷಣದಲ್ಲೂ ρ ನಿಜವಾಗಿದ್ದರೆ) ಅಥವಾ ಹಿಂದೆ ಸಂಭವಿಸದಿದ್ದಲ್ಲಿ ρZsi ಯಿಂದ ಝಿನ್ಸ್, ಅಥವಾ ದುರ್ಬಲವಾಗಿದ್ದರೆ ಈಗ ತೃಪ್ತಿಯಾಗಿದೆ. ಮುಂದಿನ ಕ್ಷಣದಲ್ಲಿ ρ ನಿಜವಾಗಿದ್ದರೆ ಪ್ರಸ್ತುತ ಮತ್ತು ಭವಿಷ್ಯದ ಸಮಯದ ಸಂಯೋಜಕಗಳು ನೆಕ್ಸ್ಟ್ ρ ಈಗ ತೃಪ್ತಿಯಾಗಿದೆ. ಈಗ ಅಥವಾ ಭವಿಷ್ಯದ ಯಾವುದೇ ಕ್ಷಣದಲ್ಲಿ ρ ನಿಜವಾಗಿದ್ದರೆ ಕೆಲವೊಮ್ಮೆ ρ ಈಗ ತೃಪ್ತಿಯಾಗುತ್ತದೆ. ಈಗ ಮತ್ತು ಭವಿಷ್ಯದ ಪ್ರತಿಯೊಂದು ಕ್ಷಣದಲ್ಲೂ ρ ನಿಜವಾಗಿದ್ದರೆ ಯಾವಾಗಲೂ ρ ಈಗ ತೃಪ್ತಿಯಾಗುತ್ತದೆ. ಯಾವುದೇ ಭವಿಷ್ಯದ ಕ್ಷಣದಲ್ಲಿ si ನಿಜವಾಗಿದ್ದರೆ ಮತ್ತು ಹಿಂದಿನ ಪ್ರತಿ ಕ್ಷಣದಲ್ಲೂ ρ ನಿಜವಾಗಿದ್ದರೆ ρUsi ಈಗ ತೃಪ್ತಿಯಾಗುವವರೆಗೆ. (ಯಾವುದೇ ಭವಿಷ್ಯದ ಕ್ಷಣದಲ್ಲಿ si ನಿಜವಾಗಿದ್ದರೆ ಮತ್ತು ಹಿಂದಿನ ಪ್ರತಿ ಕ್ಷಣದಲ್ಲೂ ρ ನಿಜವಾಗಿದ್ದರೆ) ಅಥವಾ si ಭವಿಷ್ಯದಲ್ಲಿ ಸಂಭವಿಸದಿದ್ದರೆ ρWsi ಈಗ ತೃಪ್ತಿಯಾಗದಿದ್ದರೆ. ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಮೆಟಾಟೆಮ್ ಇಂಟರ್ಪ್ರಿಟರ್ನ ಜಾವಾ ಅನುಷ್ಠಾನವನ್ನು ಇಲ್ಲಿಂದ ಡೌನ್ಲೋಡ್ ಮಾಡಬಹುದು ಕೃತಕ ಬುದ್ಧಿಮತ್ತೆ