Olog
ಓಲಾಗ್ಸ್ ಸಿದ್ಧಾಂತವು ವರ್ಗ ಸಿದ್ಧಾಂತ, ಭಾಷಾ ಮತ್ತು ಚಿತ್ರಾತ್ಮಕ ಸಾಧನಗಳನ್ನು ಬಳಸಿಕೊಂಡು ಜ್ಞಾನದ ಪ್ರಾತಿನಿಧ್ಯ, ವೈಜ್ಞಾನಿಕ ಮಾದರಿಗಳ ನಿರ್ಮಾಣ ಮತ್ತು ದತ್ತಾಂಶ ಸಂಗ್ರಹಣೆಗೆ ಕಠಿಣವಾದ ಗಣಿತದ ಚೌಕಟ್ಟನ್ನು ಒದಗಿಸುವ ಪ್ರಯತ್ನವಾಗಿದೆ. 2012ರಲ್ಲಿ ಡೇವಿಡ್ ಸ್ಪಿವಾಕ್ ಮತ್ತು ರಾಬರ್ಟ್ ಕೆಂಟ್ ಅವರು ಓಲಾಗ್ಸ್ ಅನ್ನು ಪರಿಚಯಿಸಿದರು. ವ್ಯುತ್ಪತ್ತಿ "ಓಲೋಗ್" ಎಂಬ ಪದವು "ಆಂಟಾಲಜಿ ಲಾಗ್" ಗಾಗಿ ಚಿಕ್ಕದಾಗಿದೆ. "ಆಂಟಾಲಜಿ" ಎಂಬ ಪದವು ಗ್ರೀಕ್ನ ειμί "be", ಮತ್ತು-λογία,-logia: ವಿಜ್ಞಾನ, ಅಧ್ಯಯನ, ಸಿದ್ಧಾಂತ ಎಂಬ ಕ್ರಿಯಾಪದದ "ಪ್ರಸ್ತುತ ಪಾಲ್ಗೊಳ್ಳುವಿಕೆ" ಎಂಬ ಗ್ರೀಕ್ ಪದವಾದ τντος ನಿಂದ ಬಂದಿದೆ. ಗಣಿತದ ಔಪಚಾರಿಕತೆ ಒಂದು ನಿರ್ದಿಷ್ಟ ಡೊಮೇನ್ಗೆ ಒಂದು ಓಲಾಗ್ ಒಂದು ವರ್ಗವಾಗಿದ್ದು, ಅದರ ವಸ್ತುಗಳು ಡೊಮೇನ್ಗೆ ಸಂಬಂಧಿಸಿದ ಪದಗುಚ್ಛಗಳೊಂದಿಗೆ (ಹೆಚ್ಚು ನಿರ್ದಿಷ್ಟವಾಗಿ, ಏಕವಚನ ಅನಿರ್ದಿಷ್ಟ ನಾಮಪದ ಪದಗುಚ್ಛಗಳು) ಲೇಬಲ್ ಮಾಡಲಾದ ಪೆಟ್ಟಿಗೆಗಳಾಗಿವೆ, ಮತ್ತು ಅದರ ಮಾರ್ಫಿಸಮ್ಗಳು ಪೆಟ್ಟಿಗೆಗಳ ನಡುವೆ ಬಾಣಗಳನ್ನು ನಿರ್ದೇಶಿಸುತ್ತವೆ, ಡೊಮೇನ್ಗೆ ಸಂಬಂಧಿಸಿದ ಕ್ರಿಯಾಪದ ಪದಗುಚ್ಛಗಳೊಂದಿಗೆ ಲೇಬಲ್ ಮಾಡಲ್ಪಟ್ಟಿವೆ. ಈ ನಾಮಪದಗಳು ಮತ್ತು ಕ್ರಿಯಾಪದ ಪದಗುಚ್ಛಗಳು ಒಗ್ಗೂಡಿ ಡೊಮೇನ್ನಲ್ಲಿರುವ ವಸ್ತುಗಳ ನಡುವಿನ ಸಂಬಂಧಗಳನ್ನು ವ್ಯಕ್ತಪಡಿಸುವ ವಾಕ್ಯಗಳನ್ನು ರೂಪಿಸುತ್ತವೆ. ಪ್ರತಿ ಓಲೋಗ್ನಲ್ಲೂ, ವಸ್ತುಗಳು ಒಂದು ಗುರಿ ವರ್ಗದೊಳಗೆ ಅಸ್ತಿತ್ವದಲ್ಲಿರುತ್ತವೆ. ಬೇರೆ ರೀತಿಯಲ್ಲಿ ನಿರ್ದಿಷ್ಟಪಡಿಸದ ಹೊರತು, ಗುರಿ ವರ್ಗವನ್ನು ಸೆಟ್ಗಳು ಮತ್ತು ಕಾರ್ಯಗಳ ವರ್ಗವೆಂದು ತೆಗೆದುಕೊಳ್ಳಲಾಗುತ್ತದೆ. ಮೇಲಿನ ರೇಖಾಚಿತ್ರದಲ್ಲಿರುವ ಪೆಟ್ಟಿಗೆಗಳು ಅದರ ವಸ್ತುಗಳನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತವೆ. ಉದಾಹರಣೆಗೆ, "ಒಂದು ಅಮೈನೋ ಆಮ್ಲ" ಎಂಬ ಪದಗುಚ್ಛವನ್ನು ಹೊಂದಿರುವ ಪೆಟ್ಟಿಗೆಯು ಎಲ್ಲಾ ಅಮೈನೋ ಆಮ್ಲಗಳ ಗುಂಪನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ ಮತ್ತು "ಒಂದು ಬದಿಯ ಸರಪಳಿ" ಎಂಬ ಪದಗುಚ್ಛವನ್ನು ಹೊಂದಿರುವ ಪೆಟ್ಟಿಗೆಯು ಎಲ್ಲಾ ಬದಿಯ ಸರಪಳಿಗಳ ಗುಂಪನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. "ಹೊಂದಿದೆ" ಎಂದು ಲೇಬಲ್ ಮಾಡಲಾದ ಬಾಣವು "ಅಮೈನೋ ಆಮ್ಲ" ದಿಂದ "ಸೈಡ್ ಚೈನ್" ಗೆ ಸೂಚಿಸುತ್ತದೆ, ಇದು ಪ್ರತಿ ಅಮೈನೋ ಆಮ್ಲವನ್ನು ಅದರ ವಿಶಿಷ್ಟ ಸೈಡ್ ಚೈನ್ಗೆ ನಕ್ಷೆ ಮಾಡುವ ಕಾರ್ಯವನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. ಬಳಸಬಹುದಾದ ಮತ್ತೊಂದು ಗುರಿ ವರ್ಗವೆಂದರೆ ಪವರ್ ಸೆಟ್ ಮೊನಾಡ್ನ ಕ್ಲೈಸ್ಲಿ ವರ್ಗ. a ಅನ್ನು ನೀಡಿದರೆ, ಅದು A ಯ ಪವರ್ ಸೆಟ್ ಆಗಿದೆ. ನೈಸರ್ಗಿಕ ರೂಪಾಂತರವು ಸಿಂಗಲ್ಟನ್ಗೆ ನಕ್ಷೆ ಮಾಡುತ್ತದೆ, ಮತ್ತು ನೈಸರ್ಗಿಕ ರೂಪಾಂತರವು ಅದರ ಒಕ್ಕೂಟಕ್ಕೆ ಸೆಟ್ಗಳ ಗುಂಪನ್ನು ನಕ್ಷೆ ಮಾಡುತ್ತದೆ. ಕ್ಲೈಸ್ಲಿ ವರ್ಗವು ಅವುಗಳಿಗೆ ಹೊಂದಿಕೆಯಾಗುವ ವಸ್ತುಗಳು ಮತ್ತು ಅವಳಿ ಸಂಬಂಧಗಳನ್ನು ಸ್ಥಾಪಿಸುವ ಮಾರ್ಫಿಸಂಗಳನ್ನು ಹೊಂದಿರುವ ವರ್ಗವಾಗಿದೆ. ಒಂದು ಮಾರ್ಫಿಸಂ ಅನ್ನು ನೀಡಲಾಗಿದೆ, ಮತ್ತು ನೀಡಲಾಗಿದೆ ಮತ್ತು, ನಾವು ಮಾರ್ಫಿಸಂ ಅನ್ನು ಯಾವಾಗ ಬೇಕಾದರೂ ಎಂದು ಹೇಳುವ ಮೂಲಕ ವ್ಯಾಖ್ಯಾನಿಸುತ್ತೇವೆ. ಈ ಗುರಿ ವರ್ಗದೊಂದಿಗೆ ಬಳಸಲಾಗುವ ಕ್ರಿಯಾಪದ ಪದಗುಚ್ಛಗಳು ಉಪಗುಂಪುಗಳಾಗಿರುವ ವಸ್ತುಗಳೊಂದಿಗೆ ಅರ್ಥವನ್ನು ಹೊಂದಿರಬೇಕುಃ ಉದಾಹರಣೆಗೆ, "ಸಂಬಂಧಿತವಾಗಿದೆ" ಅಥವಾ "ಅದಕ್ಕಿಂತ ದೊಡ್ಡದಾಗಿದೆ". ಗಿರ್ ಮೊನಾಡ್ ಎಂದು ಕರೆಯಲಾಗುವ ಸಂಭವನೀಯತೆಯ ವಿತರಣೆಗಳ ಕ್ಲೈಸ್ಲಿ ವರ್ಗವು ಮತ್ತೊಂದು ಸಂಭಾವ್ಯ ಗುರಿ ವರ್ಗವಾಗಿದೆ. ಇದು ಮಾರ್ಕೋವ್ ನಿರ್ಧಾರ ಪ್ರಕ್ರಿಯೆಗಳ ಸಾಮಾನ್ಯೀಕರಣವನ್ನು ಒದಗಿಸುತ್ತದೆ. ಓಲಾಗ್ಗಳು ಮತ್ತು ಡೇಟಾಬೇಸ್ಗಳನ್ನು ಒಂದು ಓಲಾಗ್ ಅನ್ನು ಡೇಟಾಬೇಸ್ ಸ್ಕೀಮಾವಾಗಿಯೂ ನೋಡಬಹುದು. ಓಲೋಗ್ನಲ್ಲಿರುವ ಪ್ರತಿಯೊಂದು ಪೆಟ್ಟಿಗೆಯು (ವಸ್ತು) ಒಂದು ಮೇಜು ಮತ್ತು ಪೆಟ್ಟಿಗೆಯಿಂದ ಹೊರಹೊಮ್ಮುವ ಬಾಣಗಳು (ಮಾರ್ಫಿಸಮ್ಗಳು) ಅದರಲ್ಲಿರುವ ಕಾಲಮ್ಗಳಾಗಿವೆ. ಒಂದು ವಸ್ತುವಿಗೆ ಒಂದು ನಿರ್ದಿಷ್ಟ ನಿದರ್ಶನದ ನಿಯೋಜನೆಯನ್ನು ಫಂಕ್ಟರ್ ಮೂಲಕ ಮಾಡಲಾಗುತ್ತದೆ. ಮೇಲಿನ ಉದಾಹರಣೆಯಲ್ಲಿ, "ಅಮೈನೊ ಆಮ್ಲ" ಎಂಬ ಪೆಟ್ಟಿಗೆಯನ್ನು ಟೇಬಲ್ ಆಗಿ ಪ್ರತಿನಿಧಿಸಲಾಗುತ್ತದೆ, ಅದರ ಸಾಲುಗಳ ಸಂಖ್ಯೆಯು ಅಮೈನೊ ಆಮ್ಲಗಳ ಪ್ರಕಾರಗಳ ಸಂಖ್ಯೆಗೆ ಸಮನಾಗಿರುತ್ತದೆ ಮತ್ತು ಅದರ ಕಾಲಮ್ಗಳ ಸಂಖ್ಯೆಯು ಮೂರು, ಆ ಪೆಟ್ಟಿಗೆಯಿಂದ ಹೊರಹೊಮ್ಮುವ ಪ್ರತಿ ಬಾಣಕ್ಕೆ ಒಂದು ಕಾಲಮ್ ಆಗಿರುತ್ತದೆ. ಆಚರಣೆಯಲ್ಲಿ ವಿವಿಧ ಮಾದರಿಗಳು ಅಥವಾ ವಿಶ್ವ ದೃಷ್ಟಿಕೋನಗಳ ನಡುವಿನ ಸಂವಹನವಾಗಬಹುದಾದ ವಿವಿಧ ಓಲೋಗಳ ನಡುವಿನ "ಸಂವಹನ" ವನ್ನು ಫಂಕ್ಟರ್ಗಳನ್ನು ಬಳಸಿ ಮಾಡಲಾಗುತ್ತದೆ. ಸ್ಪಿವಾಕ್ ಅವರು 'ಅರ್ಥಪೂರ್ಣ' ಮತ್ತು 'ಬಲವಾಗಿ ಅರ್ಥಪೂರ್ಣ' ಕಾರ್ಯಕಾರಿಗಳ ಕಲ್ಪನೆಗಳನ್ನು ರೂಪಿಸುತ್ತಾರೆ. ಎರಡು ಓಲಾಗ್ಗಳು, ಫಂಕ್ಟರ್ಗಳು (ಓಲಾಗ್ಗಳು ಮತ್ತು ಡೇಟಾಬೇಸ್ಗಳ ವಿಭಾಗವನ್ನು ನೋಡಿ) ಮತ್ತು ಫಂಕ್ಟರ್ ಆಗಿರಲಿ. ಇದನ್ನು ಸ್ಕೀಮಾ ಮ್ಯಾಪಿಂಗ್ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ. ನೈಸರ್ಗಿಕ ರೂಪಾಂತರವು ಅಸ್ತಿತ್ವದಲ್ಲಿದ್ದರೆ a ಅರ್ಥಪೂರ್ಣವಾಗಿದೆ ಎಂದು ನಾವು ಹೇಳುತ್ತೇವೆ (J ಅನ್ನು F ನಿಂದ ಹಿಂತೆಗೆದುಕೊಳ್ಳುವುದು). ಒಂದು ಉದಾಹರಣೆಯಾಗಿ ಮತ್ತು ಎರಡು ವಿಭಿನ್ನ ವೈಜ್ಞಾನಿಕ ಮಾದರಿಗಳಾಗಿ, ಮೊದಲ ಮಾದರಿಯು ಮಾಡಿದ ವಸ್ತುಗಳಾಗಿರುವ "ಮುನ್ಸೂಚನೆಗಳನ್ನು" ಎರಡನೇ ಮಾದರಿಗೆ ಅನುವಾದಿಸಬಹುದಾದರೆ ಫಂಕ್ಟರ್ ಅರ್ಥಪೂರ್ಣವಾಗಿದೆ. ನಮ್ಮಲ್ಲಿರುವ ಒಂದು ವಸ್ತುವನ್ನು ನೀಡಿದರೆ ಅದು ಬಲವಾಗಿ ಅರ್ಥಪೂರ್ಣವಾಗಿದೆ ಎಂದು ನಾವು ಹೇಳುತ್ತೇವೆ. ಈ ಸಮಾನತೆಯು ನೈಸರ್ಗಿಕ ಐಸೊಮಾರ್ಫಿಸಮ್ ಆಗಿರಬೇಕಾದ ಅಗತ್ಯಕ್ಕೆ ಸಮಾನವಾಗಿದೆ. ಕೆಲವೊಮ್ಮೆ ಒಂದರಿಂದ ಇನ್ನೊಂದಕ್ಕೆ ಅರ್ಥಪೂರ್ಣವಾದ ಕಾರ್ಯನಿರ್ವಾಹಕನನ್ನು ಕಂಡುಹಿಡಿಯುವುದು ಕಷ್ಟವಾಗುತ್ತದೆ. ಅಂತಹ ಸಂದರ್ಭದಲ್ಲಿ ನಾವು ಹೊಸ ಓಲಾಗ್ ಅನ್ನು ವ್ಯಾಖ್ಯಾನಿಸಲು ಪ್ರಯತ್ನಿಸಬಹುದು, ಇದು ಸಾಮಾನ್ಯ ನೆಲೆಯನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ ಮತ್ತು ಅರ್ಥಪೂರ್ಣ ಕಾರ್ಯಕಾರಿಗಳನ್ನು ಕಂಡುಕೊಳ್ಳುತ್ತದೆ. ಮೇಲೆ ವಿವರಿಸಿದಂತೆ ಓಲಾಗ್ಗಳ ನಡುವಿನ ಸಂವಹನವು ದ್ವಿಮುಖ ಸಂವಹನಕ್ಕೆ ಸೀಮಿತವಾಗಿದ್ದರೆ, ನಾವು ಓಲಾಗ್ಗಳ ಸಂಗ್ರಹವನ್ನು ಗ್ರಾಫ್ನ ನೋಡ್ಗಳಾಗಿ ಮತ್ತು ಅಂಚುಗಳನ್ನು ಓಲಾಗ್ಗಳನ್ನು ಸಂಪರ್ಕಿಸುವ ಫಂಕ್ಟರ್ಗಳಾಗಿ ಪರಿಗಣಿಸಬಹುದು. ಎರಡಕ್ಕಿಂತ ಹೆಚ್ಚು ಓಲಾಗ್ಗಳ ನಡುವೆ ಏಕಕಾಲದಲ್ಲಿ ಸಂವಹನವನ್ನು ಅನುಮತಿಸಿದರೆ, ಗ್ರಾಫ್ ಒಂದು ಸಮ್ಮಿತೀಯ ಸರಳ ಸಂಕೀರ್ಣವಾಗುತ್ತದೆ. ಉತ್ತಮ ಅಭ್ಯಾಸದ ನಿಯಮಗಳು ಸ್ಪಿವಕ್ ಒಂದು ಓಲೋಗನ್ನು ಬರೆಯಲು ಉತ್ತಮ ಅಭ್ಯಾಸದ ಕೆಲವು ನಿಯಮಗಳನ್ನು ಒದಗಿಸುತ್ತದೆ, ಅದರ ಮಾರ್ಫಿಸಂಗಳು ಕ್ರಿಯಾತ್ಮಕ ಸ್ವರೂಪವನ್ನು ಹೊಂದಿವೆ (ಗಣಿತದ ಔಪಚಾರಿಕತೆ ವಿಭಾಗದಲ್ಲಿ ಮೊದಲ ಉದಾಹರಣೆಯನ್ನು ನೋಡಿ). ಪೆಟ್ಟಿಗೆಯಲ್ಲಿನ ಪಠ್ಯವು ಈ ಕೆಳಗಿನ ನಿಯಮಗಳಿಗೆ ಬದ್ಧವಾಗಿರಬೇಕುಃ "a" ಅಥವಾ "an" ಪದದಿಂದ ಪ್ರಾರಂಭಿಸಿ. (ಉದಾಹರಣೆಃ "ಒಂದು ಅಮೈನೋ ಆಮ್ಲ"). ಓಲೋಗ್ನ ಲೇಖಕರು ಮಾಡಿದ ಮತ್ತು ಗುರುತಿಸಬಹುದಾದ ವ್ಯತ್ಯಾಸವನ್ನು ಉಲ್ಲೇಖಿಸಿ. ಉತ್ತಮವಾಗಿ ವ್ಯಾಖ್ಯಾನಿಸಲಾದ ಫಂಕ್ಟರ್ ಇರುವ ವ್ಯತ್ಯಾಸವನ್ನು ಉಲ್ಲೇಖಿಸಿ, ಅದರ ವ್ಯಾಪ್ತಿಯು, ಅಂದರೆ. ಒಂದು ನಿದರ್ಶನವನ್ನು ದಾಖಲಿಸಬಹುದು. (ಉದಾಹರಣೆಃ ಎಲ್ಲಾ ಅಮೈನೋ ಆಮ್ಲಗಳ ಒಂದು ಸಮೂಹವಿದೆ). ಸಂಯುಕ್ತ ರಚನೆಯಲ್ಲಿ ಎಲ್ಲಾ ಅಸ್ಥಿರಗಳನ್ನು ಘೋಷಿಸಿ. (ಉದಾಹರಣೆಃ ಒಂದು ಪೆಟ್ಟಿಗೆಯಲ್ಲಿ "ಒಬ್ಬ ಪುರುಷ ಮತ್ತು ಒಬ್ಬ ಮಹಿಳೆ" ಎಂದು ಬರೆಯುವ ಬದಲು "ಒಬ್ಬ ಪುರುಷ ಮತ್ತು ಒಬ್ಬ ಮಹಿಳೆ" ಅಥವಾ "ಒಬ್ಬ ಪುರುಷ ಮತ್ತು ಒಬ್ಬ ಮಹಿಳೆ ಇರುವ ಜೋಡಿ" ಎಂದು ಬರೆಯಿರಿ). ಮೊದಲ ಮೂರು ನಿಯಮಗಳು ಓಲೋಗ್ನ ಲೇಖಕರು ವ್ಯಾಖ್ಯಾನಿಸಿದ ವಸ್ತುಗಳು (ಪೆಟ್ಟಿಗೆಗಳು) ಉತ್ತಮವಾಗಿ ವ್ಯಾಖ್ಯಾನಿಸಲಾದ ಸೆಟ್ಗಳಾಗಿವೆ ಎಂದು ಖಚಿತಪಡಿಸುತ್ತದೆ. ನಾಲ್ಕನೇ ನಿಯಮವು ಓಲೋಗ್ನಲ್ಲಿ ಬಾಣಗಳ ಲೇಬಲಿಂಗ್ ಅನ್ನು ಸುಧಾರಿಸುತ್ತದೆ. ಅಪ್ಲಿಕೇಶನ್ಗಳು ಸ್ಪೈಡರ್ ಸಿಲ್ಕ್ ಮತ್ತು ಸಂಗೀತ ಸಂಯೋಜನೆಯ ನಡುವಿನ ವೈಜ್ಞಾನಿಕ ಹೋಲಿಕೆಯನ್ನು ಸ್ಥಾಪಿಸಲು ಡೇವಿಡ್ ಸ್ಪಿವಾಕ್ ಮತ್ತು ಇತರರು ಬಯೋ ನ್ಯಾನೋ ಸೈನ್ಸ್ನ ಡಿಸೆಂಬರ್ 2011ರ ಸಂಚಿಕೆಯಲ್ಲಿ ಪ್ರಕಟಿಸಿದ ಪ್ರಬಂಧದಲ್ಲಿ ಈ ಪರಿಕಲ್ಪನೆಯನ್ನು ಬಳಸಲಾಯಿತು. ಹೈಪರ್ಗ್ರಾಫ್ ಮಾಡೆಲಿಂಗ್ ಲಾಂಗ್ವೇಜ್ ಆಂಟಾಲಜಿ ಲಾಂಗ್ವೇಜ್ ಆಪರೇಡ್ ಥಿಯರಿ ಆರ್ಗಾಲಜಿ ಯೂನಿವರ್ಸಲ್ ಆಲ್ಜಿಬ್ರಾ ಯೂನಿವರ್ಸಲ್ ಲಾಜಿಕ್ ರೆಫರೆನ್ಸ್ಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಗಣಿತದ ಪರಿಕಲ್ಪನೆಗಳು ಆಂಟಾಲಜಿ (ಮಾಹಿತಿ ವಿಜ್ಞಾನ)