ತರ್ಕ 
ಜಾನ್‌ ಮೆಕಾರ್ಥಿ ಅವರು 1958ರಲ್ಲಿ ಸಲಹೆ ಸ್ವೀಕರಿಸುವ ಪ್ರಸ್ತಾಪವನ್ನು AI ಸಂಶೋಧನೆಗೆ ಪರಿಚಯಿಸಿದರು. 1963ರಲ್ಲಿ ಜೆ. ಅಲಾನ್ ರಾಬಿನ್ಸನ್‌ರವರು ತಾರ್ಕಿಕ ನಿಗಮನಕ್ಕಾಗಿ ಸುಲಭವಾಗಿ ಡಿಜಿಟಲ್ ಕಂಪ್ಯೂಟರ್‌ಗಳಿಂದ ಕಾರ್ಯನಿರ್ವಹಿಸಬಹುದಾದ ಸರಳ, ಪರಿಪೂರ್ಣ ಮತ್ತು ಪೂರ್ತಿಯಾದ ಗಣನ ವಿಧಾನವನ್ನು ಅನ್ವೇಷಿಸಿದರು.
ಆದಾಗ್ಯೂ, ಕ್ರಮಾವಳಿಯ ಕೃತ್ರಿಮವಿಲ್ಲದ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯು ತ್ವರಿತವಾಗಿ ಸಂಚಯಾತ್ಮಕ ಸ್ಫೋಟ ಅಥವಾ ಅನಂತ ಆದೇಶಗಳ ಸರಣಿಗೆ ಕಾರಣವಾಗುತ್ತದೆ. 1974ರಲ್ಲಿ ರಾಬರ್ಟ್‌ ಕೊವಲ್‌ಸ್ಕಿ ಹಿಂದಿನ ಸರಣಿ ಅಥವಾ ಮುಂದಿನ ಸರಣಿಗೆ ತಾರ್ಕಿಕ ನಿಗಮನವನ್ನು ಕಡಿಮೆ ಮಾಡಬಹುದಾದ ತಾರ್ಕಿಕ ಭಾವನೆಗಳನ್ನು ಪ್ರತಿನಿಧಿಸುವ ಮೂಲ ಅಂಶಗಳ (ನಿಯಮಗಳ ಪ್ರಕಾರದಲ್ಲಿ ಹೇಳಿಕೆಗಳು: "if "p" then "q" ") ಬಗ್ಗೆ ಸಲಹೆಯಿತ್ತನು.ಇದು ಗಣನೀಯವಾಗಿ ಸಮಸ್ಯೆಗಳನ್ನು ತಗ್ಗಿಸಿತು.(ಆದರೆ ನಿವಾರಿಸಲಿಲ್ಲ).

ಜ್ಞಾನವನ್ನು ಪ್ರತಿನಿಧಿಸಲು ಮತ್ತು ಸಮಸ್ಯೆ ಬಗೆಹರಿಸುವುದಕ್ಕೆ ತರ್ಕವನ್ನು ಬಳಸಲಾಗುವುದು, ಆದರೆ ಇದನ್ನು ಇತರ ಸಮಸ್ಯೆಗಳಿಗೂ ಸಹ ಅನ್ವಯಿಸಬಹುದು. ಉದಾಹರಣೆಗೆ, ಸ್ವಯಂಚಾಲಿತ ಕರ್ತೃ ಕ್ರಮಾವಳಿಯು ಯೋಜನೆ ರೂಪಿಸಲು ತರ್ಕವನ್ನು ಬಳಸುತ್ತದೆ,
ಮತ್ತು ಅನುಗಮನದ ತರ್ಕ ಪ್ರೋಗ್ರಾಮಿಂಗ್‌ ಒಂದು ಕಲಿಕೆ ವಿಧಾನ.
AI ಸಂಶೋಧನೆಯಲ್ಲಿ ಹಲವು ಬಗೆಯ ತರ್ಕ ಪ್ರಕಾರಗಳನ್ನು ಬಳಸಲಾಗಿದೆ.


ಪುರಾಣ, ಕಟ್ಟುಕಥೆ ಮತ್ತು ಊಹೆಗಳಲ್ಲಿ AI
ನಿಯಂತ್ರಣ ಸಿದ್ಧಾಂತ
ಅನಿರ್ದಿಷ್ಟ ತರ್ಕ ಪತ್ತೆಗೆ ಸಂಭಾವ್ಯ ವಿಧಾನಗಳು
ತರ್ಕ