FO(.)
ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಲ್ಲಿ, ಎಫ್. ಓ. (.) (ಎ. ಕೆ. ಎ. ಎಫ್. ಓ.-ಡಾಟ್) ಎಂಬುದು ಮೊದಲ ಕ್ರಮಾಂಕದ ತರ್ಕವನ್ನು (ಎಫ್. ಓ.) ಆಧರಿಸಿದ ಜ್ಞಾನದ ಪ್ರಾತಿನಿಧ್ಯದ ಭಾಷೆಯಾಗಿದೆ. ಇದು ಪ್ರಕಾರಗಳು, ಸಮುಚ್ಚಯಗಳು (ಎಣಿಕೆ, ಸಂಕಲನ, ಗರಿಷ್ಠಗೊಳಿಸುವುದು. ಒಂದು ಗುಂಪಿನ ಮೇಲೆ), ಅಂಕಗಣಿತ, ಪ್ರೇರಕ ವ್ಯಾಖ್ಯಾನಗಳು, ಭಾಗಶಃ ಕಾರ್ಯಗಳು ಮತ್ತು ತೀವ್ರತೆಯ ವಸ್ತುಗಳೊಂದಿಗೆ ಎಫ್. ಓ. ಅನ್ನು ವಿಸ್ತರಿಸುತ್ತದೆ. ಸ್ವತಃ, ಒಂದು ಎಫ್ಒ (.) ವಿವಿಧ ಸಾಮಾನ್ಯ ತಾರ್ಕಿಕ ಕ್ರಮಾವಳಿಗಳಿಗೆ ಇನ್ಪುಟ್ ಆಗಿ ಬಳಸಲು ಇದು ಕೇವಲ "ಮಾಹಿತಿಯ ಚೀಲ" ಆಗಿರುವುದರಿಂದ ಜ್ಞಾನದ ಮೂಲವನ್ನು ಚಲಾಯಿಸಲು ಸಾಧ್ಯವಿಲ್ಲ. ಎಫ್. ಓ. (.) ಅನ್ನು ಬಳಸುವ ತರ್ಕ ಯಂತ್ರಗಳು ಇವುಗಳಲ್ಲಿ IDP-Z3, IDP ಮತ್ತು FOLASP ಸೇರಿವೆ. ಉದಾಹರಣೆಗೆ, ಐಡಿಪಿ ವ್ಯವಸ್ಥೆಯು ಮಾದರಿಗಳನ್ನು ರಚಿಸಲು, ಸೆಟ್ ಪ್ರಶ್ನೆಗಳಿಗೆ ಉತ್ತರಿಸಲು, ಎರಡು ಸಿದ್ಧಾಂತಗಳ ನಡುವಿನ ಒಳಗೊಳ್ಳುವಿಕೆಯನ್ನು ಪರಿಶೀಲಿಸಲು ಮತ್ತು ತೃಪ್ತಿಯನ್ನು ಪರಿಶೀಲಿಸಲು ಅನುವು ಮಾಡಿಕೊಡುತ್ತದೆ. ಜ್ಞಾನದ ಅಡಿಪಾಯ. ಎಫ್ಓ (.) ನಾಲ್ಕು ರೀತಿಯ ಹೇಳಿಕೆಗಳನ್ನು ಹೊಂದಿದೆಃ ಪ್ರಕಾರ, ಕಾರ್ಯ ಮತ್ತು ಊಹಾತ್ಮಕ ಘೋಷಣೆಗಳು, ಸಿದ್ಧಾಂತಗಳು, ಅಂದರೆ, ಸಂಭವನೀಯ ಪ್ರಪಂಚಗಳ ಬಗ್ಗೆ ತರ್ಕ ವಾಕ್ಯಗಳು, ವ್ಯಾಖ್ಯಾನಿಸಲಾದ ಚಿಹ್ನೆಯ ವಿಶಿಷ್ಟ ವ್ಯಾಖ್ಯಾನವನ್ನು ನಿರ್ದಿಷ್ಟಪಡಿಸುವ ವ್ಯಾಖ್ಯಾನಗಳು, ಅದರ ನಿಯತಾಂಕಗಳ ವ್ಯಾಖ್ಯಾನವನ್ನು ನೀಡಲಾಗಿದೆ. ವ್ಯಾಖ್ಯಾನಗಳು ಪ್ರೇರಕವಾಗಿರಬಹುದು. ಎಣಿಕೆಗಳು, ಅಂದರೆ, ಎಣಿಕೆಯ ಮೂಲಕ ಚಿಹ್ನೆಗಳ ವ್ಯಾಖ್ಯಾನಗಳು. ಮತದಾನದ ಕಾನೂನು ನಾಗರಿಕರು ಮತ ಚಲಾಯಿಸಲು ಕನಿಷ್ಠ 18 ವರ್ಷ ವಯಸ್ಸಿನವರಾಗಿರಬೇಕು ಎಂದು ಸೂಚಿಸುತ್ತದೆ. ಇದಲ್ಲದೆ, ಮತದಾನದ ಕಾನೂನನ್ನು ಸೂಚನಾತ್ಮಕವೆಂದು ಅರ್ಥೈಸಿದರೆ, ನೀವು 18 ವರ್ಷಕ್ಕಿಂತ ಮೇಲ್ಪಟ್ಟವರಾಗಿದ್ದಾಗ ಮತದಾನ ಮಾಡುವುದು ಕಡ್ಡಾಯವಾಗಿದೆ. ಇದನ್ನು ಎಫ್. ಓ. (.) ನಲ್ಲಿ ಪ್ರತಿನಿಧಿಸಬಹುದು. ಈ ಕೆಳಗಿನಂತೆಃ ಶಬ್ದಕೋಶ ವಿ {ವಯಸ್ಸುಃ () → ಝಡ್// ಕಾರ್ಯ ಘೋಷಣೆಯ ಸೂಚಕ, ಮತಃ () → ಬಿ// ಊಹಾತ್ಮಕ ಘೋಷಣೆಗಳು} ಸಿದ್ಧಾಂತ ಟಿಃ ವಿ {ವಯಸ್ಸು () <18 ಅನ್ನು ಮತ (). //ಸೂತ್ರಃ ನೀವು 18 ವರ್ಷಕ್ಕಿಂತ ಕಡಿಮೆ ವಯಸ್ಸಿನವರಾಗಿದ್ದರೆ, ನೀವು ಮತ ಚಲಾಯಿಸುವಂತಿಲ್ಲ. ಪ್ರಿಸ್ಕ್ರಿಪ್ಟಿವ್ () (ವಯಸ್ಸು () ≤18 ಿಯಮ ಮತ ()). //ಸ್ವಯಂಸಿದ್ಧಃ ಸೂಚಿಸುವಂತಿದ್ದರೆಃ ನೀವು ಕನಿಷ್ಠ 18 ವರ್ಷದವರಾಗಿದ್ದರೆ, ನೀವು ಮತ ಚಲಾಯಿಸಬೇಕು} ಈ ಸಂಕೇತದಲ್ಲಿ, A → B ಎಂಬುದು A ಯಿಂದ B ಯವರೆಗಿನ ಕಾರ್ಯವನ್ನು ಸೂಚಿಸುತ್ತದೆ, ಪೂರ್ಣಾಂಕಗಳನ್ನು ಸೂಚಿಸುತ್ತದೆ, ಬೂಲಿಯನ್ಗಳನ್ನು ಸೂಚಿಸುತ್ತದೆ, ನಿಷೇಧವನ್ನು ಸೂಚಿಸುತ್ತದೆ, ಮತ್ತು ವಸ್ತು ಷರತ್ತುಬದ್ಧತೆಯನ್ನು ಸೂಚಿಸುತ್ತದೆ. ಪ್ರಿಡಿಕೇಟ್ಗಳು <ಮತ್ತು ± ಅಂತರ್ನಿರ್ಮಿತವಾಗಿವೆ ಮತ್ತು ಅವುಗಳ ಸಾಮಾನ್ಯ ಅರ್ಥವನ್ನು ಹೊಂದಿವೆ. ಅಂತಹ ಜ್ಞಾನದ ಮೂಲವನ್ನು ಸ್ವಯಂಚಾಲಿತವಾಗಿ ಸಂವಾದಾತ್ಮಕ ವಕೀಲರಾಗಿ ಪರಿವರ್ತಿಸಬಹುದು (ಇಲ್ಲಿ ನೋಡಿ) ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಎಫ್. ಓ. (.) ಭಾಷಾ ಜ್ಞಾನ ಪ್ರಾತಿನಿಧಿಕ ಭಾಷೆಗಳು