Robert Kowalski
ರಾಬರ್ಟ್ ಆಂಥೋನಿ ಕೊವಾಲ್ಸ್ಕಿ (ಜನನ 15 ಮೇ 1941) ಒಬ್ಬ ಅಮೇರಿಕನ್-ಬ್ರಿಟಿಷ್ ತರ್ಕಶಾಸ್ತ್ರಜ್ಞ ಮತ್ತು ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಯಾಗಿದ್ದು, ಅವರ ಸಂಶೋಧನೆಯು ಮಾನವ-ಆಧಾರಿತ ಕಂಪ್ಯೂಟಿಂಗ್ ಮಾದರಿಗಳು ಮತ್ತು ಮಾನವ ಚಿಂತನೆಯ ಕಂಪ್ಯೂಟೇಶನಲ್ ಮಾದರಿಗಳೆರಡನ್ನೂ ಅಭಿವೃದ್ಧಿಪಡಿಸುವುದರೊಂದಿಗೆ ಸಂಬಂಧಿಸಿದೆ. ಅವರು ತಮ್ಮ ವೃತ್ತಿಜೀವನದ ಬಹುಭಾಗವನ್ನು ಯುನೈಟೆಡ್ ಕಿಂಗ್ಡಮ್ನಲ್ಲಿ ಕಳೆದಿದ್ದಾರೆ. ಶಿಕ್ಷಣ ಅವರು ಚಿಕಾಗೊ ವಿಶ್ವವಿದ್ಯಾಲಯ, ಬ್ರಿಡ್ಜ್ಪೋರ್ಟ್ ವಿಶ್ವವಿದ್ಯಾಲಯ (ಗಣಿತದಲ್ಲಿ ಬಿಎ, 1963), ಸ್ಟ್ಯಾನ್ಫೋರ್ಡ್ ವಿಶ್ವವಿದ್ಯಾಲಯ (ಗಣಿತದಲ್ಲಿ ಎಂಎಸ್ಸಿ, 1966), ವಾರ್ಸಾ ವಿಶ್ವವಿದ್ಯಾಲಯ ಮತ್ತು ಎಡಿನ್ಬರ್ಗ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ (ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ ಪಿಎಚ್ಡಿ, 1970) ಶಿಕ್ಷಣ ಪಡೆದರು. ಅವರು ಎಡಿನ್ಬರ್ಗ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ (1970-75) ಸಂಶೋಧನಾ ಸಹವರ್ತಿಯಾಗಿದ್ದರು ಮತ್ತು 1975 ರಿಂದ ಲಂಡನ್ನ ಇಂಪೀರಿಯಲ್ ಕಾಲೇಜಿನ ಕಂಪ್ಯೂಟಿಂಗ್ ವಿಭಾಗದಲ್ಲಿದ್ದಾರೆ, 1982 ರಲ್ಲಿ ಕಂಪ್ಯೂಟೇಶನಲ್ ಲಾಜಿಕ್ ನಲ್ಲಿ ಕುರ್ಚಿ ಪಡೆದರು ಮತ್ತು 1999 ರಲ್ಲಿ ಎಮೆರಿಟಸ್ ಪ್ರಾಧ್ಯಾಪಕರಾದರು. ಅವರು ಸ್ವಯಂಚಾಲಿತ ಪ್ರಮೇಯವನ್ನು ಸಾಬೀತುಪಡಿಸುವ ಕ್ಷೇತ್ರದಲ್ಲಿ ತಮ್ಮ ಸಂಶೋಧನೆಯನ್ನು ಪ್ರಾರಂಭಿಸಿದರು, ಡೊನಾಲ್ಡ್ ಕುಹ್ನರ್ ಅವರೊಂದಿಗೆ ಎಸ್ಎಲ್-ರೆಸಲ್ಯೂಶನ್ ಮತ್ತು ಸಂಪರ್ಕ ಗ್ರಾಫ್ ಪ್ರೂಫ್ ಕಾರ್ಯವಿಧಾನ ಎರಡನ್ನೂ ಅಭಿವೃದ್ಧಿಪಡಿಸಿದರು. ಅವರು ಎಸ್ಎಲ್ಡಿ ರೆಸಲ್ಯೂಶನ್ ಮತ್ತು ಹಾರ್ನ್ ಷರತ್ತುಗಳ ಕಾರ್ಯವಿಧಾನದ ವ್ಯಾಖ್ಯಾನವನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸಿದರು, ಇದು ತರ್ಕಶಾಸ್ತ್ರದ ಪ್ರೋಗ್ರಾಮಿಂಗ್ನಲ್ಲಿ ಹಿಂದುಳಿದ ತರ್ಕದ ಕಾರ್ಯಾಚರಣೆಯ ಶಬ್ದಾರ್ಥಕ್ಕೆ ಆಧಾರವಾಗಿದೆ. ಮಾರ್ಟೆನ್ ವ್ಯಾನ್ ಎಮ್ಡೆನ್ರೊಂದಿಗೆ, ಅವರು ಕನಿಷ್ಠ ಮಾದರಿ ಮತ್ತು ಹಾರ್ನ್ ಷರತ್ತುಗಳ ಫಿಕ್ಸ್ಪಾಯಿಂಟ್ ಶಬ್ದಾರ್ಥಗಳನ್ನು ಸಹ ಅಭಿವೃದ್ಧಿಪಡಿಸಿದರು, ಇದು ತರ್ಕದ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ನ ತಾರ್ಕಿಕ ಶಬ್ದಾರ್ಥಕ್ಕೆ ಆಧಾರವಾಗಿದೆ. ಮಾರೆಕ್ ಸೆರ್ಗೋಟ್ ಅವರೊಂದಿಗೆ, ಅವರು ಈವೆಂಟ್ ಕ್ಯಾಲ್ಕುಲಸ್ ಮತ್ತು ಕಾನೂನು ತಾರ್ಕಿಕತೆಗೆ ತರ್ಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಅನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸಿದರು. ಫರೀಬಾ ಸದ್ರಿಯೊಂದಿಗೆ, ಅವರು ಏಜೆಂಟ್ ಮಾದರಿಯನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸಿದರು, ಇದರಲ್ಲಿ ನಂಬಿಕೆಗಳನ್ನು ತರ್ಕ ಕಾರ್ಯಕ್ರಮಗಳಿಂದ ಪ್ರತಿನಿಧಿಸಲಾಗುತ್ತದೆ ಮತ್ತು ಗುರಿಗಳನ್ನು ಸಮಗ್ರತೆಯ ನಿರ್ಬಂಧಗಳಿಂದ ಪ್ರತಿನಿಧಿಸಲಾಗುತ್ತದೆ. ಅಬ್ಡಕ್ಟಿವ್ ಲಾಜಿಕ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಅನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸಿದವರಲ್ಲಿ ಕೊವಾಲ್ಸ್ಕಿ ಒಬ್ಬರಾಗಿದ್ದರು, ಇದರಲ್ಲಿ ತರ್ಕ ಪ್ರೋಗ್ರಾಂಗಳನ್ನು ಸಮಗ್ರತೆಯ ನಿರ್ಬಂಧಗಳೊಂದಿಗೆ ಮತ್ತು ವಿವರಿಸಲಾಗದ, ಅಬ್ಡ್ಯುಸಿಬಲ್ ಪ್ರಿಡಿಕೇಟ್ಗಳೊಂದಿಗೆ ಹೆಚ್ಚಿಸಲಾಗುತ್ತದೆ. ಈ ಕೃತಿಯು ಫಾನ್ ಮಿನ್ಹ್ ಡಂಗ್ ಮತ್ತು ಫ್ರಾನ್ಸೆಸ್ಕಾ ಟೋನಿ ಅವರೊಂದಿಗಿನ ಪ್ರದರ್ಶನಕ್ಕೆ ಕಾರಣವಾಯಿತು, ಪೂರ್ವನಿಯೋಜಿತ ತಾರ್ಕಿಕತೆಯ ಹೆಚ್ಚಿನ ತರ್ಕಗಳನ್ನು ಊಹೆ-ಆಧಾರಿತ ವಾದದ ವಿಶೇಷ ಪ್ರಕರಣಗಳಾಗಿ ಪರಿಗಣಿಸಬಹುದು. ತನ್ನ 1979 ರ ಪುಸ್ತಕ, ಲಾಜಿಕ್ ಫಾರ್ ಪ್ರಾಬ್ಲಮ್ ಸಾಲ್ವಿಂಗ್ನಲ್ಲಿ, ತಾರ್ಕಿಕ ತೀರ್ಮಾನವು ಮಾನವರು ಮತ್ತು ಕಂಪ್ಯೂಟರ್ಗಳು ಇಬ್ಬರೂ ಬಳಸಬಹುದಾದ ಸರಳ ಮತ್ತು ಶಕ್ತಿಯುತವಾದ ಸಮಸ್ಯೆ ಪರಿಹಾರದ ಮಾದರಿಯನ್ನು ಒದಗಿಸುತ್ತದೆ ಎಂದು ಕೊವಾಲ್ಸ್ಕಿ ವಾದಿಸುತ್ತಾರೆ. ತಮ್ಮ 2011 ರ ಪುಸ್ತಕ, ಕಂಪ್ಯೂಟೇಶನಲ್ ಲಾಜಿಕ್ ಅಂಡ್ ಹ್ಯೂಮನ್ ಥಿಂಕಿಂಗ್-ಹೌ ಟು ಬಿ ಆರ್ಟಿಫಿಶಿಯಲ್ ಇಂಟೆಲಿಜೆಂಟ್ನಲ್ಲಿ, ಕಂಪ್ಯೂಟೇಶನಲ್ ತರ್ಕದ ಬಳಕೆಯು ಸಾಮಾನ್ಯ ಜನರಿಗೆ ಅವರ ನೈಸರ್ಗಿಕ ಭಾಷಾ ಸಂವಹನ ಕೌಶಲ್ಯಗಳನ್ನು ಸುಧಾರಿಸಲು ಸಹಾಯ ಮಾಡುತ್ತದೆ ಮತ್ತು ನಿರ್ಧಾರ ಸಿದ್ಧಾಂತದೊಂದಿಗೆ ಸಂಯೋಜನೆಯಾಗಿ, ಇದನ್ನು ಅವರ ಪ್ರಾಯೋಗಿಕ ಸಮಸ್ಯೆ-ಪರಿಹರಿಸುವ ಸಾಮರ್ಥ್ಯಗಳನ್ನು ಸುಧಾರಿಸಲು ಬಳಸಬಹುದು ಎಂದು ಅವರು ವಾದಿಸುತ್ತಾರೆ. ಫರೀಬಾ ಸದ್ರಿಯೊಂದಿಗೆ ಜಂಟಿ ಕೆಲಸದಲ್ಲಿ, ಅವರು ತರ್ಕ ಮತ್ತು ಕಂಪ್ಯೂಟರ್ ಭಾಷೆಯ ಎಲ್ಪಿಎಸ್ ಅನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸಿದ್ದಾರೆ, (ಲಾಜಿಕ್ ಪ್ರೊಡಕ್ಷನ್ ಸಿಸ್ಟಮ್ಸ್), ಇದು ಕಂಪ್ಯೂಟೇಶನಲ್ ತರ್ಕದ ಮೇಲೆ ಅವರ ಹಿಂದಿನ ಹೆಚ್ಚಿನ ಕೆಲಸವನ್ನು ಸಂಯೋಜಿಸುತ್ತದೆ. ಅವರು ಕೃತಕ ಬುದ್ಧಿಮತ್ತೆಯ ಅಭಿವೃದ್ಧಿಯಲ್ಲಿ ತಮ್ಮ ಆಸಕ್ತಿಯನ್ನು ಮುಂದುವರೆಸಿದ್ದಾರೆ. ಕೊವಾಲ್ಸ್ಕಿ 1991ರಲ್ಲಿ ಅಮೆರಿಕನ್ ಅಸೋಸಿಯೇಷನ್ ಫಾರ್ ಆರ್ಟಿಫಿಶಿಯಲ್ ಇಂಟೆಲಿಜೆನ್ಸ್ನ ಫೆಲೋ ಆಗಿ, 1999ರಲ್ಲಿ ಯುರೋಪಿಯನ್ ಕೋ-ಆರ್ಡಿನೇಟಿಂಗ್ ಕಮಿಟಿ ಫಾರ್ ಆರ್ಟಿಫಿಶಿಯಲ್ ಇಂಟೆಲಿಜೆನ್ಸ್ನ ಫೆಲೋ ಆಗಿ ಮತ್ತು 2001ರಲ್ಲಿ ಅಸೋಸಿಯೇಷನ್ ಫಾರ್ ಕಂಪ್ಯೂಟಿಂಗ್ ಮೆಷಿನರಿಯ ಫೆಲೋ ಆಗಿ ಆಯ್ಕೆಯಾದರು. 2011 ರಲ್ಲಿ, ಅವರು ಸಂಶೋಧನಾ ಶ್ರೇಷ್ಠತೆಗಾಗಿ ಐಜೆಸಿಎಐ ಪ್ರಶಸ್ತಿಯನ್ನು ಪಡೆದರು, "ಜ್ಞಾನ ಪ್ರಾತಿನಿಧ್ಯ ಮತ್ತು ಸಮಸ್ಯೆ ಪರಿಹಾರಕ್ಕಾಗಿ ತರ್ಕಕ್ಕೆ ಅವರು ನೀಡಿದ ಕೊಡುಗೆಗಳಿಗಾಗಿ, ಸ್ವಯಂಚಾಲಿತ ಪ್ರಮೇಯ ಸಾಬೀತು ಮತ್ತು ತರ್ಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಕುರಿತು ಅವರ ಪ್ರವರ್ತಕ ಕೆಲಸವೂ ಸೇರಿದಂತೆ". 2012 ರಲ್ಲಿ, ಅವರು ಪ್ರಖ್ಯಾತ ವಿಜ್ಞಾನಿಗಳಿಗಾಗಿ ಜಪಾನ್ ಸೊಸೈಟಿ ಫಾರ್ ದಿ ಪ್ರಮೋಷನ್ ಆಫ್ ಸೈನ್ಸ್ ಪ್ರಶಸ್ತಿಯನ್ನು 2012-2014 ಗೆ ಪಡೆದರು. 2021 ರಲ್ಲಿ, ಅವರು ಫರೀಬಾ ಸಾದ್ರಿ ಮತ್ತು ಮಾರೆಕ್ ಸೆರ್ಗೋಟ್ ಅವರೊಂದಿಗಿನ ಅವರ ಕೆಲಸಕ್ಕಾಗಿ ಉದ್ಘಾಟನಾ ಕೋಡೆಕ್ಸ್ ಪ್ರಶಸ್ತಿಯನ್ನು ಪಡೆದರು "ಬ್ರಿಟಿಷ್ ರಾಷ್ಟ್ರೀಯತೆ ಕಾಯ್ದೆಯ ಔಪಚಾರಿಕತೆ ಮತ್ತು ವಿಶ್ಲೇಷಣೆಗೆ ತರ್ಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಅನ್ನು ಅನ್ವಯಿಸುವ ಅವರ ಕೆಲಸವನ್ನು ಅಂಗೀಕರಿಸಿದರು. 1986ರಲ್ಲಿ ಕಮ್ಯುನಿಕೇಷನ್ಸ್ ಆಫ್ ದಿ ಎಸಿಎಂ ಜರ್ನಲ್ನಲ್ಲಿ ಪ್ರಕಟವಾದ "ದಿ ಬ್ರಿಟಿಷ್ ನ್ಯಾಶನಾಲಿಟಿ ಆಕ್ಟ್ ಆಸ್ ಎ ಲಾಜಿಕ್ ಪ್ರೋಗ್ರಾಂ" ಎಂಬ ಲೇಖಕರ ಮೂಲ ಲೇಖನವು ಕಂಪ್ಯೂಟೇಶನಲ್ ಕಾನೂನಿನ ಮೊದಲ ಮತ್ತು ಅತ್ಯಂತ ಪ್ರಸಿದ್ಧ ಕೃತಿಗಳಲ್ಲಿ ಒಂದಾಗಿದೆ ಮತ್ತು ಈ ಕ್ಷೇತ್ರದಲ್ಲಿ ವ್ಯಾಪಕವಾಗಿ ಉಲ್ಲೇಖಿಸಲಾದ ಪ್ರಬಂಧಗಳಲ್ಲಿ ಒಂದಾಗಿದೆ ". ಪುಸ್ತಕಗಳು ಲಾಜಿಕ್ ಫಾರ್ ಪ್ರಾಬ್ಲಮ್ ಸಾಲ್ವಿಂಗ್, ನಾರ್ತ್-ಹಾಲೆಂಡ್, ಎಲ್ಸೆವಿಯರ್, 1979. ಕಂಪ್ಯೂಟೇಶನಲ್ ಲಾಜಿಕ್ ಅಂಡ್ ಹ್ಯೂಮನ್ ಥಿಂಕಿಂಗ್ಃ ಹೌ ಟು ಬಿ ಆರ್ಟಿಫಿಶಿಯಲ್ ಇಂಟೆಲಿಜೆಂಟ್, ಕೇಂಬ್ರಿಡ್ಜ್ ಯೂನಿವರ್ಸಿಟಿ ಪ್ರೆಸ್, 2011. ಇವೆಂಟ್ ಕ್ಯಾಲ್ಕುಲಸ್ ಲಾಜಿಕ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಪ್ರೊಲಾಗ್ ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ರಾಬರ್ಟ್ ಕೊವಾಲ್ಸ್ಕಿಯ ಮುಖಪುಟ ಜೀವನಚರಿತ್ರೆ (ಪಿಡಿಎಫ್) ಜೀವನಚರಿತ್ರೆ ಪ್ರಬಂಧ ಸಂದರ್ಶನ ಏಪ್ರಿಲ್ 2020 1941 ಜನನಗಳು ಜೀವಂತ ಜನರು ಇಂಗ್ಲೆಂಡ್ಗೆ ಅಮೆರಿಕಾದ ವಲಸಿಗರು ಬ್ರಿಟಿಷ್ ತರ್ಕಶಾಸ್ತ್ರಜ್ಞರು ಬ್ರಿಟಿಷ್ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನಿಗಳು ಲಂಡನ್ನ ಇಂಪೀರಿಯಲ್ ಕಾಲೇಜಿನ ಅಕಾಡೆಮಿಕ್ಸ್ ಬ್ರಿಡ್ಜ್ಪೋರ್ಟ್ನಿಂದ ಜನರು, ಕನೆಕ್ಟಿಕಟ್ ಬ್ರಿಡ್ಜ್ಪೋರ್ಟ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ಸ್ಟ್ಯಾನ್ಫೋರ್ಡ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ವಾರ್ಸಾ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ಎಡಿನ್ಬರ್ಗ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಹಳೆಯ ವಿದ್ಯಾರ್ಥಿಗಳು ಎಡಿನ್ಬರ್ಗ್ ವಿಶ್ವವಿದ್ಯಾನಿಲಯದ ಅಕಾಡೆಮಿಕ್ಸ್ ಔಪಚಾರಿಕ ವಿಧಾನಗಳ ಸಂಘದ ಸದಸ್ಯರು ಜನರು ಲಾಜಿಕ್ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಸಂಶೋಧಕರು ಬ್ರಿಟಿಷ್ ತತ್ವಜ್ಞಾನಿಗಳು ಪೋಲಿಷ್ ಮೂಲದ ಅಮೇರಿಕನ್ ಜನರು