Argumentation framework
ಕೃತಕ ಬುದ್ಧಿಮತ್ತೆ ಮತ್ತು ಸಂಬಂಧಿತ ಕ್ಷೇತ್ರಗಳಲ್ಲಿ, ವಾದದ ಚೌಕಟ್ಟು ವಿವಾದಾತ್ಮಕ ಮಾಹಿತಿಯನ್ನು ಎದುರಿಸಲು ಮತ್ತು ಔಪಚಾರಿಕ ವಾದಗಳನ್ನು ಬಳಸಿಕೊಂಡು ಅದರಿಂದ ತೀರ್ಮಾನಗಳನ್ನು ತೆಗೆದುಕೊಳ್ಳುವ ಒಂದು ಮಾರ್ಗವಾಗಿದೆ. ಅಮೂರ್ತ ವಾದದ ಚೌಕಟ್ಟಿನಲ್ಲಿ, ಪ್ರವೇಶ ಮಟ್ಟದ ಮಾಹಿತಿಯು ಅಮೂರ್ತ ವಾದಗಳ ಒಂದು ಗುಂಪಾಗಿದ್ದು, ಉದಾಹರಣೆಗೆ, ದತ್ತಾಂಶ ಅಥವಾ ಪ್ರತಿಪಾದನೆಯನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತದೆ. ವಾದಗಳ ನಡುವಿನ ಸಂಘರ್ಷಗಳನ್ನು ವಾದಗಳ ಗುಂಪಿನ ಮೇಲೆ ಅವಳಿ ಸಂಬಂಧದಿಂದ ಪ್ರತಿನಿಧಿಸಲಾಗುತ್ತದೆ. ಕಾಂಕ್ರೀಟ್ ಪರಿಭಾಷೆಯಲ್ಲಿ, ನೀವು ನಿರ್ದೇಶಿತ ಗ್ರಾಫ್ನೊಂದಿಗೆ ವಾದದ ಚೌಕಟ್ಟನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತೀರಿ, ಅಂದರೆ ನೋಡ್ಗಳು ವಾದಗಳಾಗಿವೆ, ಮತ್ತು ಬಾಣಗಳು ದಾಳಿಯ ಸಂಬಂಧವನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತವೆ. ತರ್ಕ-ಆಧಾರಿತ ವಾದ ಚೌಕಟ್ಟುಗಳು ಅಥವಾ ಮೌಲ್ಯ-ಆಧಾರಿತ ವಾದ ಚೌಕಟ್ಟುಗಳಂತಹ ಡಂಗ್ ಚೌಕಟ್ಟಿನ ಕೆಲವು ವಿಸ್ತರಣೆಗಳು ಅಸ್ತಿತ್ವದಲ್ಲಿವೆ. ಅಮೂರ್ತ ವಾದದ ಚೌಕಟ್ಟುಗಳು ಔಪಚಾರಿಕ ಚೌಕಟ್ಟು ಅಮೂರ್ತ ವಾದದ ಚೌಕಟ್ಟುಗಳು, ವಾದದ ಚೌಕಟ್ಟುಗಳು ಎ ಲಾ ಡಂಗ್ ಎಂದೂ ಕರೆಯಲ್ಪಡುತ್ತವೆ, ಅವುಗಳನ್ನು ಔಪಚಾರಿಕವಾಗಿ ಜೋಡಿ ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆಃ ವಾದಗಳು ಎಂದು ಕರೆಯಲ್ಪಡುವ ಅಮೂರ್ತ ಅಂಶಗಳ ಒಂದು ಗುಂಪನ್ನು ಸೂಚಿಸಲಾಗುತ್ತದೆ, ಆಕ್ರಮಣ ಸಂಬಂಧ ಎಂದು ಕರೆಯಲ್ಪಡುವ ಬೈನರಿ ಸಂಬಂಧವನ್ನು ಸೂಚಿಸಲಾಗುತ್ತದೆ. ಉದಾಹರಣೆಗೆ, ವಾದದ ವ್ಯವಸ್ಥೆಯು ನಾಲ್ಕು ವಾದಗಳನ್ನು (ಮತ್ತು) ಮತ್ತು ಮೂರು ದಾಳಿಗಳನ್ನು (ದಾಳಿಗಳು, ದಾಳಿಗಳು ಮತ್ತು ದಾಳಿಗಳು) ಒಳಗೊಂಡಿರುತ್ತದೆ. ಡಂಗ್ ಕೆಲವು ಕಲ್ಪನೆಗಳನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತಾನೆಃ ಒಂದು ವಾದವು ಸಮರ್ಥಿಸಿಕೊಂಡರೆ ಮಾತ್ರ ಸ್ವೀಕಾರಾರ್ಹವಾಗಿರುತ್ತದೆ, ಅಂದರೆ, ಅದರ ವಾದಗಳ ನಡುವೆ ಯಾವುದೇ ದಾಳಿ ಇಲ್ಲದಿದ್ದರೆ ವಾದಗಳ ಒಂದು ಗುಂಪು ಸಂಘರ್ಷ-ಮುಕ್ತವಾಗಿರುತ್ತದೆ, ಔಪಚಾರಿಕವಾಗಿಃ, ವಾದಗಳ ಒಂದು ಗುಂಪನ್ನು ಅದು ಸಂಘರ್ಷ-ಮುಕ್ತವಾಗಿದ್ದರೆ ಮತ್ತು ಅದಕ್ಕೆ ಸಂಬಂಧಿಸಿದಂತೆ ಅದರ ಎಲ್ಲಾ ವಾದಗಳು ಸ್ವೀಕಾರಾರ್ಹವಾಗಿದ್ದರೆ ಮಾತ್ರ ಸ್ವೀಕರಿಸಲಾಗುತ್ತದೆ. ಒಂದು ವಾದವನ್ನು ಸ್ವೀಕರಿಸಬಹುದೇ ಅಥವಾ ಇಲ್ಲವೇ ಎಂಬುದನ್ನು ನಿರ್ಧರಿಸಲು, ಅಥವಾ ಹಲವಾರು ವಾದಗಳನ್ನು ಒಟ್ಟಿಗೆ ಸ್ವೀಕರಿಸಬಹುದೇ ಎಂದು ನಿರ್ಧರಿಸಲು, ಡಂಗ್ ಸ್ವೀಕಾರದ ಹಲವಾರು ಶಬ್ದಾರ್ಥಗಳನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುತ್ತಾನೆ, ಇದು ವಾದದ ವ್ಯವಸ್ಥೆಯನ್ನು ನೀಡಿದರೆ, ವಾದಗಳ ಸೆಟ್ಗಳನ್ನು (ವಿಸ್ತರಣೆಗಳು ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ) ಲೆಕ್ಕಹಾಕಲು ಅನುವು ಮಾಡಿಕೊಡುತ್ತದೆ. ಉದಾಹರಣೆಗೆ, ಇದು ಸ್ವೀಕಾರಾರ್ಹವಾದ ಗುಂಪಿದ್ದರೆ ಮಾತ್ರ ಸಂಪೂರ್ಣ ವಿಸ್ತರಣೆಯಾಗಿದೆ ಮತ್ತು ಅದಕ್ಕೆ ಸಂಬಂಧಿಸಿದಂತೆ ಪ್ರತಿಯೊಂದು ಸ್ವೀಕಾರಾರ್ಹ ವಾದವು, ಸ್ವೀಕಾರಾರ್ಹವಾದ ಸೆಟ್ಗಳಲ್ಲಿ ಗರಿಷ್ಠ ಅಂಶವಾಗಿದ್ದರೆ (ಸೆಟ್-ಸೈದ್ಧಾಂತಿಕ ಸೇರ್ಪಡೆಗೆ ಸಂಬಂಧಿಸಿದಂತೆ) ಮಾತ್ರ ಆದ್ಯತೆಯ ವಿಸ್ತರಣೆಯಾಗಿದೆ, ಇದು ಸಂಘರ್ಷ-ಮುಕ್ತ ಸೆಟ್ ಆಗಿದ್ದರೆ ಮಾತ್ರ ಸ್ಥಿರವಾದ ವಿಸ್ತರಣೆಯಾಗಿದೆ, ಇದು (ಔಪಚಾರಿಕವಾಗಿ, ಅಂದರೆ, ಇದು ಸಂಪೂರ್ಣ ವಿಸ್ತರಣೆಗಳಲ್ಲಿ (ಸೆಟ್ ಸೇರ್ಪಡೆಗೆ ಸಂಬಂಧಿಸಿದಂತೆ) ಚಿಕ್ಕ ಅಂಶವಾಗಿದ್ದರೆ ಮಾತ್ರ (ಅನನ್ಯ) ಗ್ರೌಂಡೆಡ್ ವಿಸ್ತರಣೆಯಾಗಿದೆ. ಈ ಶಬ್ದಾರ್ಥಗಳೊಂದಿಗೆ ನಿರ್ಮಿಸಲಾದ ವಿಸ್ತರಣೆಗಳ ಸೆಟ್ಗಳ ನಡುವೆ ಕೆಲವು ಸೇರ್ಪಡೆಗಳಿವೆಃ ಪ್ರತಿ ಸ್ಥಿರ ವಿಸ್ತರಣೆಗೆ ಆದ್ಯತೆ ನೀಡಲಾಗುತ್ತದೆ, ಪ್ರತಿ ಆದ್ಯತೆಯ ವಿಸ್ತರಣೆಯು ಪೂರ್ಣಗೊಂಡಿದೆ, ಗ್ರೌಂಡೆಡ್ ವಿಸ್ತರಣೆಯು ಪೂರ್ಣಗೊಂಡಿದೆ, ವ್ಯವಸ್ಥೆಯು ಉತ್ತಮವಾಗಿ ಸ್ಥಾಪಿತವಾಗಿದ್ದರೆ (ಅಂತಹ ಯಾವುದೇ ಅನಂತ ಅನುಕ್ರಮ ಅಸ್ತಿತ್ವದಲ್ಲಿಲ್ಲ), ಈ ಎಲ್ಲಾ ಶಬ್ದಾರ್ಥಗಳು ಹೊಂದಿಕೆಯಾಗುತ್ತವೆ-ಕೇವಲ ಒಂದು ವಿಸ್ತರಣೆಯು ಗ್ರೌಂಡೆಡ್, ಸ್ಥಿರ, ಆದ್ಯತೆಯ ಮತ್ತು ಸಂಪೂರ್ಣವಾಗಿದೆ. ಕೆಲವು ಇತರ ಶಬ್ದಾರ್ಥಗಳನ್ನು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ. ವ್ಯವಸ್ಥೆಯ-ವಿಸ್ತರಣೆಗಳ ಗುಂಪನ್ನು ಗಮನಿಸಲು ಒಂದು ಸಂಕೇತವನ್ನು ಪರಿಚಯಿಸುತ್ತದೆ. ಮೇಲಿನ ಚಿತ್ರದಲ್ಲಿರುವ ವ್ಯವಸ್ಥೆಯ ಸಂದರ್ಭದಲ್ಲಿ, ಪ್ರತಿ ಸಗಣಿಯ ಶಬ್ದಾರ್ಥಕ್ಕೆ-ವ್ಯವಸ್ಥೆಯು ಸುಸ್ಥಾಪಿತವಾಗಿದೆ. ಶಬ್ದಾರ್ಥಗಳು ಏಕೆ ಹೊಂದಿಕೆಯಾಗುತ್ತವೆ ಎಂಬುದನ್ನು ಇದು ವಿವರಿಸುತ್ತದೆ, ಮತ್ತು ಒಪ್ಪಿಕೊಂಡ ವಾದಗಳು ಹೀಗಿವೆಃ ಮತ್ತು. ವಾದಗಳ ಸ್ವೀಕಾರವನ್ನು ವ್ಯಕ್ತಪಡಿಸಲು ಲೇಬಲ್ಗಳು ವಿಸ್ತರಣೆಗಳಿಗಿಂತ ಹೆಚ್ಚು ಅಭಿವ್ಯಕ್ತಿಶೀಲ ಮಾರ್ಗವಾಗಿದೆ. ನಿರ್ದಿಷ್ಟವಾಗಿ, ಲೇಬಲಿಂಗ್ ಎನ್ನುವುದು ಪ್ರತಿ ವಾದವನ್ನು (ವಾದವನ್ನು ಸ್ವೀಕರಿಸಲಾಗಿದೆ), ಔಟ್ (ವಾದವನ್ನು ತಿರಸ್ಕರಿಸಲಾಗಿದೆ), ಅಥವಾ ಅನ್ಡೆಕ್ (ವಾದವನ್ನು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿಲ್ಲ-ಸ್ವೀಕರಿಸಲಾಗಿಲ್ಲ ಅಥವಾ ನಿರಾಕರಿಸಲಾಗಿಲ್ಲ) ಎಂಬ ಲೇಬಲ್ನೊಂದಿಗೆ ಸಂಯೋಜಿಸುವ ಮ್ಯಾಪಿಂಗ್ ಆಗಿದೆ. ಲೇಬಲಿಂಗ್ ಅನ್ನು ಜೋಡಿಗಳ ಗುಂಪಾಗಿಯೂ ಗಮನಿಸಬಹುದು. ಅಂತಹ ನಕ್ಷೆಯು ಹೆಚ್ಚುವರಿ ನಿರ್ಬಂಧವಿಲ್ಲದೆ ಅರ್ಥವಿಲ್ಲ. ಮರುಸ್ಥಾಪನೆ ಲೇಬಲಿಂಗ್ನ ಕಲ್ಪನೆಯು ಮ್ಯಾಪಿಂಗ್ನ ಅರ್ಥವನ್ನು ಖಾತರಿಪಡಿಸುತ್ತದೆ. ಒಂದು ವೇಳೆ ಮತ್ತು ಒಮ್ಮೆ ಮಾತ್ರಃ ಪ್ರತಿ ವಿಸ್ತರಣೆಯನ್ನು ಮರುಸ್ಥಾಪನೆ ಲೇಬಲಿಂಗ್ ಆಗಿ ಪರಿವರ್ತಿಸಬಹುದಾದರೆ ಮತ್ತು ಒಮ್ಮೆ ಮಾತ್ರ ಮತ್ತು ಒಮ್ಮೆ ಮಾತ್ರಃ ವಿಸ್ತರಣೆಯ ವಾದಗಳು ಇವೆ, ವಿಸ್ತರಣೆಯ ವಾದದಿಂದ ದಾಳಿಗೊಳಗಾದವುಗಳು ಹೊರಬಂದಿವೆ, ಮತ್ತು ಇತರರು ಅನಿಶ್ಚಿತವಾಗಿದ್ದರೆ ಮಾತ್ರ ವ್ಯವಸ್ಥೆಯಲ್ಲಿ ಮರುಸ್ಥಾಪನೆ ಲೇಬಲಿಂಗ್ ಆಗಿದೆ. ಇದಕ್ಕೆ ವಿರುದ್ಧವಾಗಿ, ಕೇವಲ ವಾದಗಳನ್ನು ಇಟ್ಟುಕೊಳ್ಳುವ ಮೂಲಕ ಮರುಸ್ಥಾಪನೆ ಲೇಬಲಿಂಗ್ನಿಂದ ವಿಸ್ತರಣೆಯನ್ನು ನಿರ್ಮಿಸಬಹುದು. ವಾಸ್ತವವಾಗಿ, ಪುನರ್ಸ್ಥಾಪನೆಯ ಲೇಬಲ್ಗಳು ಮತ್ತು ಸಂಪೂರ್ಣ ವಿಸ್ತರಣೆಗಳನ್ನು ವಸ್ತುನಿಷ್ಠ ರೀತಿಯಲ್ಲಿ ನಕ್ಷೆ ಮಾಡಬಹುದು ಎಂದು ಕ್ಯಾಮಿನಾಡಾ ಸಾಬೀತುಪಡಿಸಿತು. ಇದಲ್ಲದೆ, ಇತರ ಡಾಟಂಗ್ನ ಶಬ್ದಾರ್ಥಗಳನ್ನು ಕೆಲವು ನಿರ್ದಿಷ್ಟ ಮರುಸ್ಥಾಪನೆ ಲೇಬಲ್ಗಳಿಗೆ ಸಂಬಂಧಿಸಿರಬಹುದು. ಮರುಸ್ಥಾಪನೆ ಲೇಬಲ್ಗಳು ಒಪ್ಪಿಕೊಳ್ಳದ ವಾದಗಳನ್ನು ಪ್ರತ್ಯೇಕಿಸುತ್ತವೆ ಏಕೆಂದರೆ ಅವು ಸ್ವೀಕಾರಾರ್ಹ ವಾದಗಳಿಂದ ಮತ್ತು ವ್ಯಾಖ್ಯಾನಿಸದ ವಾದಗಳಿಂದ ದಾಳಿಗೊಳಗಾಗುತ್ತವೆ-ಅಂದರೆ, ಸಮರ್ಥಿಸಿಕೊಳ್ಳದವರು ತಮ್ಮನ್ನು ತಾವು ರಕ್ಷಿಸಿಕೊಳ್ಳಲು ಸಾಧ್ಯವಿಲ್ಲ. ಒಂದು ವಾದವು ಕನಿಷ್ಠ ಮತ್ತೊಂದು ಅನಿಶ್ಚಿತತೆಯಿಂದ ದಾಳಿಗೊಳಗಾಗಿದ್ದರೆ ಅದು ಅನಿಶ್ಚಿತವಾಗಿರುತ್ತದೆ. ವಾದಗಳಿಂದ ಮಾತ್ರ ಅದರ ಮೇಲೆ ದಾಳಿ ಮಾಡಿದರೆ, ಅದು ಒಳಗಿರಬೇಕು, ಮತ್ತು ಅದರ ಮೇಲೆ ಯಾವುದೇ ವಾದದ ಮೇಲೆ ದಾಳಿ ಮಾಡಿದರೆ, ಅದು ಹೊರಗಿರುತ್ತದೆ. ಮೇಲಿನ ವ್ಯವಸ್ಥೆಗೆ ಅನುಗುಣವಾದ ವಿಶಿಷ್ಟ ಮರುಸ್ಥಾಪನೆ ಲೇಬಲಿಂಗ್ ಆಗಿದೆ. ವಾದದ ವ್ಯವಸ್ಥೆಯಿಂದ ತೀರ್ಮಾನಃ ಒಂದು ನಿರ್ದಿಷ್ಟ ಶಬ್ದಾರ್ಥಕ್ಕೆ ಹಲವಾರು ವಿಸ್ತರಣೆಗಳನ್ನು ಲೆಕ್ಕ ಹಾಕಿದಾಗ, ವ್ಯವಸ್ಥೆಯಿಂದ ಕಾರಣಗಳನ್ನು ಹೇಳುವ ಏಜೆಂಟ್ ಮಾಹಿತಿಯನ್ನು ಊಹಿಸಲು ಹಲವಾರು ಕಾರ್ಯವಿಧಾನಗಳನ್ನು ಬಳಸಬಹುದುಃ ವಿಶ್ವಾಸಾರ್ಹ ತೀರ್ಮಾನಃ ಏಜೆಂಟ್ ಒಂದು ವಾದವನ್ನು ಸ್ವೀಕರಿಸಿದರೆ ಅದು ಕನಿಷ್ಠ ಒಂದು ವಿಸ್ತರಣೆಗೆ ಸೇರಿದ್ದರೆ-ಈ ಸಂದರ್ಭದಲ್ಲಿ, ಏಜೆಂಟ್ ಒಟ್ಟಿಗೆ ಸ್ವೀಕಾರಾರ್ಹವಲ್ಲದ ಕೆಲವು ವಾದಗಳನ್ನು ಸ್ವೀಕರಿಸುವ ಅಪಾಯವನ್ನು ಎದುರಿಸುತ್ತಾನೆ (ದಾಳಿಗಳು, ಮತ್ತು ಪ್ರತಿಯೊಂದೂ ವಿಸ್ತರಣೆಗೆ ಸೇರಿದೆ) ಸಂಶಯಾತ್ಮಕ ತೀರ್ಮಾನಃ ಏಜೆಂಟ್ ಪ್ರತಿ ವಿಸ್ತರಣೆಗೆ ಸೇರಿದಾಗ ಮಾತ್ರ ವಾದವನ್ನು ಸ್ವೀಕರಿಸುತ್ತಾನೆ. ಈ ಸಂದರ್ಭದಲ್ಲಿ, ಏಜೆಂಟ್ ತುಂಬಾ ಕಡಿಮೆ ಮಾಹಿತಿಯನ್ನು ಕಂಡುಹಿಡಿಯುವ ಅಪಾಯವನ್ನು ಎದುರಿಸುತ್ತಾನೆ (ವಿಸ್ತರಣೆಗಳ ಛೇದಕವು ಖಾಲಿಯಾಗಿದ್ದರೆ ಅಥವಾ ಬಹಳ ಸಣ್ಣ ಕಾರ್ಡಿನಲ್ ಅನ್ನು ಹೊಂದಿದ್ದರೆ). ಮಾಹಿತಿಯನ್ನು ಊಹಿಸಿಕೊಳ್ಳಲು ಈ ಎರಡು ವಿಧಾನಗಳಲ್ಲಿ, ಅನುಕ್ರಮವಾಗಿ ಶಬ್ದಾರ್ಥದ ಅಡಿಯಲ್ಲಿ ವಿಶ್ವಾಸಾರ್ಹವಾಗಿ ಸ್ವೀಕರಿಸಲಾದ ವಾದಗಳ ಸೆಟ್ ಮತ್ತು ಶಬ್ದಾರ್ಥದ ಅಡಿಯಲ್ಲಿ ಸಂಶಯದಿಂದ ಸ್ವೀಕರಿಸಲಾದ ವಾದಗಳ ಸೆಟ್ ಅನ್ನು ಗುರುತಿಸಬಹುದು (ಶಬ್ದಾರ್ಥದ ಬಗ್ಗೆ ಯಾವುದೇ ಅಸ್ಪಷ್ಟತೆ ಇಲ್ಲದಿದ್ದರೆ ತಪ್ಪಿಸಿಕೊಳ್ಳಬಹುದು). ಸಹಜವಾಗಿ, ಕೇವಲ ಒಂದು ವಿಸ್ತರಣೆಯಿದ್ದಾಗ (ಉದಾಹರಣೆಗೆ, ವ್ಯವಸ್ಥೆಯು ಉತ್ತಮವಾಗಿ ಸ್ಥಾಪಿತವಾದಾಗ), ಈ ಸಮಸ್ಯೆಯು ತುಂಬಾ ಸರಳವಾಗಿದೆಃ ಪ್ರತಿನಿಧಿಯು ಅನನ್ಯ ವಿಸ್ತರಣೆಯ ವಾದಗಳನ್ನು ಸ್ವೀಕರಿಸುತ್ತಾನೆ ಮತ್ತು ಇತರರನ್ನು ತಿರಸ್ಕರಿಸುತ್ತಾನೆ. ಆಯ್ದ ಶಬ್ದಾರ್ಥಕ್ಕೆ ಅನುಗುಣವಾದ ಲೇಬಲಿಂಗ್ಗಳೊಂದಿಗೆ ಅದೇ ತರ್ಕವನ್ನು ಮಾಡಬಹುದುಃ ಪ್ರತಿ ಲೇಬಲಿಂಗ್ಗೆ ಸಂಬಂಧಿಸಿದಂತೆ ವಾದವನ್ನು ಸ್ವೀಕರಿಸಬಹುದು ಮತ್ತು ಪ್ರತಿ ಲೇಬಲಿಂಗ್ಗೆ ಅದು ಹೊರಗಿದ್ದರೆ ನಿರಾಕರಿಸಬಹುದು, ಇತರರು ನಿರ್ಧರಿಸದ ಸ್ಥಿತಿಯಲ್ಲಿರುತ್ತಾರೆ (ವಾದಗಳ ಸ್ಥಿತಿಯು ನಂಬಿಕೆಗಳ ಕ್ರಿಯಾತ್ಮಕತೆಗಾಗಿ ಎಜಿಎಂ ಚೌಕಟ್ಟಿನಲ್ಲಿನ ನಂಬಿಕೆಯ ಜ್ಞಾನಶಾಸ್ತ್ರೀಯ ಸ್ಥಿತಿಗಳನ್ನು ನೆನಪಿಸುತ್ತದೆ). ವಾದದ ಚೌಕಟ್ಟುಗಳ ನಡುವಿನ ಸಮಾನತೆ ವಾದದ ಚೌಕಟ್ಟುಗಳ ನಡುವೆ ಸಮಾನತೆಯ ಹಲವಾರು ಮಾನದಂಡಗಳಿವೆ. ಆ ಮಾನದಂಡಗಳಲ್ಲಿ ಹೆಚ್ಚಿನವು ವಿಸ್ತರಣೆಗಳ ಸೆಟ್ ಅಥವಾ ಸ್ವೀಕೃತ ವಾದಗಳ ಸೆಟ್ಗೆ ಸಂಬಂಧಿಸಿವೆ. ಔಪಚಾರಿಕವಾಗಿ, ಒಂದು ಶಬ್ದಾರ್ಥವನ್ನು ನೀಡಿದರೆಃ ಎರಡು ವಾದದ ಚೌಕಟ್ಟುಗಳು ಒಂದೇ ರೀತಿಯ ವಿಸ್ತರಣೆಗಳನ್ನು ಹೊಂದಿದ್ದರೆ ಸಮಾನವಾಗಿರುತ್ತವೆ, ಅಂದರೆಃ ಎರಡು ವಾದದ ಚೌಕಟ್ಟುಗಳು ಒಂದೇ ವಾದವನ್ನು ಸಂಶಯದಿಂದ ಸ್ವೀಕರಿಸಿದರೆ ಸಮಾನವಾಗಿರುತ್ತವೆ, ಅಂದರೆಃ ಒಂದೇ ವಾದವನ್ನು ವಿಶ್ವಾಸಾರ್ಹವಾಗಿ ಸ್ವೀಕರಿಸಿದರೆ ಎರಡು ವಾದದ ಚೌಕಟ್ಟುಗಳು ಸಮಾನವಾಗಿರುತ್ತವೆ, ಅಂದರೆ. ಬಲವಾದ ಸಮಾನತೆಯು ಎರಡು ವ್ಯವಸ್ಥೆಗಳು ಮತ್ತು ಇತರ ಎಲ್ಲಾ ವ್ಯವಸ್ಥೆಗಳಿಗೆ, ಮತ್ತು ಮತ್ತು ನ ಒಕ್ಕೂಟದೊಂದಿಗೆ (ನಿರ್ದಿಷ್ಟ ಮಾನದಂಡಕ್ಕೆ) ಸಮಾನವಾಗಿದ್ದರೆ ಮಾತ್ರ ಸಮಾನವಾಗಿವೆ ಎಂದು ಹೇಳುತ್ತದೆ. ಇತರ ವಿಧಗಳು ಸಗಣಿಯ ಅಮೂರ್ತ ಚೌಕಟ್ಟನ್ನು ಹಲವಾರು ನಿರ್ದಿಷ್ಟ ಪ್ರಕರಣಗಳಿಗೆ ತ್ವರಿತಗೊಳಿಸಲಾಗಿದೆ. ತರ್ಕ-ಆಧಾರಿತ ವಾದ ಚೌಕಟ್ಟುಗಳು ತರ್ಕ-ಆಧಾರಿತ ವಾದ ಚೌಕಟ್ಟುಗಳ ಸಂದರ್ಭದಲ್ಲಿ, ಒಂದು ವಾದವು ಅಮೂರ್ತ ಅಸ್ತಿತ್ವವಲ್ಲ, ಆದರೆ ಒಂದು ಜೋಡಿಯಾಗಿರುತ್ತದೆ, ಅಲ್ಲಿ ಮೊದಲ ಭಾಗವು ವಾದದ ಎರಡನೇ ಭಾಗದ ಸೂತ್ರವನ್ನು ಸಾಬೀತುಪಡಿಸುವಷ್ಟು ಕನಿಷ್ಠ ಸ್ಥಿರವಾದ ಸೂತ್ರಗಳ ಗುಂಪಾಗಿರುತ್ತದೆ. ಔಪಚಾರಿಕವಾಗಿ, ವಾದವು ಕನಿಷ್ಠ ತೃಪ್ತಿಕರವಾದ ಜೋಡಿಯಾಗಿದ್ದು, ಅಲ್ಲಿ ಏಜೆಂಟ್ ತರ್ಕಿಸಲು ಬಳಸುವ ಸೂತ್ರಗಳ ಗುಂಪಾಗಿದೆ. ಒಬ್ಬರು ಇದರ ಪರಿಣಾಮವನ್ನು ಮತ್ತು ಅದರ ಬೆಂಬಲವನ್ನು ಕರೆಯುತ್ತಾರೆ. ಈ ಸಂದರ್ಭದಲ್ಲಿ, ದಾಳಿಯ ಸಂಬಂಧವನ್ನು ಕಾರ್ಟೇಶಿಯನ್ ಉತ್ಪನ್ನದ ಉಪವಿಭಾಗವಾಗಿ ಸ್ಪಷ್ಟ ರೀತಿಯಲ್ಲಿ ನೀಡಲಾಗುವುದಿಲ್ಲ, ಆದರೆ ಒಂದು ವಾದವು ಇನ್ನೊಬ್ಬರ ಮೇಲೆ ದಾಳಿ ಮಾಡುತ್ತದೆಯೇ ಎಂದು ಸೂಚಿಸುವ ಗುಣಲಕ್ಷಣವಾಗಿ ನೀಡಲಾಗುತ್ತದೆ. ಉದಾಹರಣೆಗೆ, ರಿಲೇಷನ್ ಡಿಫೇಟರ್ಃ ರಿಲೇಷನ್ ಅಂಡರ್ಕಟ್ ಆಗಿದ್ದರೆ ಮಾತ್ರ ದಾಳಿಃ ರಿಲೇಷನ್ ರಿಬುಟಲ್ ಆಗಿದ್ದರೆ ಮಾತ್ರ ದಾಳಿಃ ಟಾಟಾಲಜಿ ಆಗಿದ್ದರೆ ಮಾತ್ರ ದಾಳಿಗಳು ಒಂದು ನಿರ್ದಿಷ್ಟ ಅಟ್ಯಾಕ್ ಸಂಬಂಧವನ್ನು ನೀಡಿದರೆ, ಒಬ್ಬರು ಗ್ರಾಫ್ ಮತ್ತು ತರ್ಕವನ್ನು ಅಮೂರ್ತ ವಾದ ಚೌಕಟ್ಟುಗಳಂತೆಯೇ ನಿರ್ಮಿಸಬಹುದು (ವಿಸ್ತರಣೆಯನ್ನು ನಿರ್ಮಿಸಲು ಶಬ್ದಾರ್ಥದ ಬಳಕೆ, ಸಂಶಯಾತ್ಮಕ ಅಥವಾ ವಿಶ್ವಾಸಾರ್ಹ ತೀರ್ಮಾನ), ವ್ಯತ್ಯಾಸವೆಂದರೆ ತರ್ಕ ಆಧಾರಿತ ವಾದ ಚೌಕಟ್ಟಿನಿಂದ ಊಹಿಸಲ್ಪಟ್ಟ ಮಾಹಿತಿಯು ಸೂತ್ರಗಳ ಒಂದು ಗುಂಪಾಗಿದೆ (ಸ್ವೀಕರಿಸಿದ ವಾದಗಳ ಪರಿಣಾಮಗಳು). ಮೌಲ್ಯ-ಆಧಾರಿತ ವಾದ ಚೌಕಟ್ಟುಗಳು ಮೌಲ್ಯ-ಆಧಾರಿತ ವಾದ ಚೌಕಟ್ಟುಗಳು ವಾದಗಳ ವಿನಿಮಯದ ಸಮಯದಲ್ಲಿ, ಕೆಲವರು ತಾವು ಮುನ್ನಡೆಸುವ ನಿರ್ದಿಷ್ಟ ಮೌಲ್ಯಕ್ಕೆ ಸಂಬಂಧಿಸಿದಂತೆ ಇತರರಿಗಿಂತ ಬಲಶಾಲಿಯಾಗಬಹುದು ಎಂಬ ಕಲ್ಪನೆಯಿಂದ ಬರುತ್ತವೆ ಮತ್ತು ಆದ್ದರಿಂದ ವಾದಗಳ ನಡುವಿನ ದಾಳಿಯ ಯಶಸ್ಸು ಈ ಮೌಲ್ಯಗಳ ವ್ಯತ್ಯಾಸವನ್ನು ಅವಲಂಬಿಸಿರುತ್ತದೆ. ಔಪಚಾರಿಕವಾಗಿ, ಮೌಲ್ಯ-ಆಧಾರಿತ ವಾದದ ಚೌಕಟ್ಟು ಪ್ರಮಾಣಿತ ಚೌಕಟ್ಟಿನೊಂದಿಗೆ ಮತ್ತು ಹೋಲುತ್ತದೆ (ವಾದಗಳ ಒಂದು ಸೆಟ್ ಮತ್ತು ಈ ಗುಂಪಿನಲ್ಲಿನ ಬೈನರಿ ಸಂಬಂಧ), ಇದು ಖಾಲಿ ಇಲ್ಲದ ಮೌಲ್ಯಗಳ ಗುಂಪಾಗಿದೆ, ಇದು ಪ್ರತಿ ಅಂಶವನ್ನು ಒಂದು ಅಂಶದಿಂದ ಸಂಯೋಜಿಸುವ ಮ್ಯಾಪಿಂಗ್ ಆಗಿದೆ, ಮತ್ತು ಇದು ಆದ್ಯತೆಯ ಸಂಬಂಧವಾಗಿದೆ (ಪರಿವರ್ತನಶೀಲ, ಅನಿಶ್ಚಿತ ಮತ್ತು ಅಸಮಪಾರ್ಶ್ವ). ಈ ಚೌಕಟ್ಟಿನಲ್ಲಿ, ಒಂದು ವಾದವು "ಪ್ರಮಾಣಿತ" ಅರ್ಥದಲ್ಲಿ ದಾಳಿಗಳನ್ನು ಮಾಡಿದರೆ ಮಾತ್ರ ಮತ್ತೊಂದು ವಾದವನ್ನು ಸೋಲಿಸುತ್ತದೆಃ ಮತ್ತು, ಅದು ಮುಂದುವರಿದ ಮೌಲ್ಯಕ್ಕಿಂತ ಮುಂದುವರಿದ ಮೌಲ್ಯವನ್ನು ಆದ್ಯತೆ ನೀಡಲಾಗುವುದಿಲ್ಲ. ಎರಡೂ ವಾದಗಳು ಒಂದೇ ಮೌಲ್ಯಕ್ಕೆ ಸಂಬಂಧಿಸಿದ್ದರೆ ಅಥವಾ ಅವುಗಳ ಮೌಲ್ಯಗಳ ನಡುವೆ ಯಾವುದೇ ಆದ್ಯತೆ ಇಲ್ಲದಿದ್ದರೆ ದಾಳಿ ಯಶಸ್ವಿಯಾಗುತ್ತದೆ ಎಂದು ಒಬ್ಬರು ಹೇಳುತ್ತಾರೆ. ಊಹೆ-ಆಧಾರಿತ ವಾದದ ಚೌಕಟ್ಟುಗಳು ಊಹೆ-ಆಧಾರಿತ ವಾದದ (ಎಬಿಎ) ಚೌಕಟ್ಟುಗಳಲ್ಲಿ, ವಾದಗಳನ್ನು ನಿಯಮಗಳ ಒಂದು ಗುಂಪು ಎಂದು ವ್ಯಾಖ್ಯಾನಿಸಲಾಗುತ್ತದೆ ಮತ್ತು ದಾಳಿಗಳನ್ನು ಊಹೆ ಮತ್ತು ವಿರೋಧಾಭಾಸಗಳ ಪರಿಭಾಷೆಯಲ್ಲಿ ವ್ಯಾಖ್ಯಾನಿಸಲಾಗುತ್ತದೆ. ಔಪಚಾರಿಕವಾಗಿ, ಊಹೆಯ-ಆಧಾರಿತ ವಾದದ ಚೌಕಟ್ಟು ಒಂದು ಟುಪಲ್ ಆಗಿದೆ, ಅಲ್ಲಿ ಒಂದು ಡಿಡಕ್ಟಿವ್ ಸಿಸ್ಟಮ್ ಇದೆ, ಅಲ್ಲಿ ಭಾಷೆ ಇದೆ ಮತ್ತು ಇದು, ಫಾರ್ ಮತ್ತು; ರೂಪದಲ್ಲಿ ತೀರ್ಮಾನದ ನಿಯಮಗಳ ಗುಂಪಾಗಿದೆ, ಅಲ್ಲಿ ಖಾಲಿ-ಅಲ್ಲದ ಸೆಟ್ ಇದೆ, ಇದನ್ನು ಊಹೆಗಳು ಎಂದು ಹೆಸರಿಸಲಾಗಿದೆ; ಇದು ಒಟ್ಟು ಮ್ಯಾಪಿಂಗ್ ಆಗಿದೆ, ಅಲ್ಲಿ ಇದಕ್ಕೆ ವಿರುದ್ಧವಾಗಿ ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ. ಎ. ಬಿ. ಎ. ಯನ್ನು ವ್ಯಾಖ್ಯಾನಿಸುವ ಪರಿಣಾಮವಾಗಿ, ಒಂದು ವಾದವನ್ನು ಮರದ ರೂಪದಲ್ಲಿ ಪ್ರತಿನಿಧಿಸಬಹುದು. ಔಪಚಾರಿಕವಾಗಿ, ಡಿಡಕ್ಟಿವ್ ಸಿಸ್ಟಮ್ ಮತ್ತು ಊಹೆಗಳ ಗುಂಪನ್ನು ನೀಡಿದರೆ, ಕ್ಲೈಮ್ಗೆ ಬೆಂಬಲಿತವಾದ ವಾದವೆಂದರೆ, ವಾಕ್ಯಗಳಿಂದ ಅಥವಾ ಚಿಹ್ನೆಯಿಂದ ಲೇಬಲ್ ಮಾಡಲಾದ ನೋಡ್ಗಳನ್ನು ಹೊಂದಿರುವ ಮರವಾಗಿದೆ, ಅಂದರೆಃ ಮೂಲವನ್ನು ಲೇಬಲ್ ಮಾಡಲಾಗಿದೆ ಪ್ರತಿ ನೋಡ್ಗೆ, ಲೀಫ್ ನೋಡ್ ಆಗಿದ್ದರೆ, ನಂತರ ಊಹೆಯ ಮೂಲಕ ಅಥವಾ ಲೀಫ್ ನೋಡ್ ಅಲ್ಲದಿದ್ದರೆ, ನಂತರ ಒಂದು ತೀರ್ಮಾನ ನಿಯಮವಿದೆ, ಲೇಬಲ್ ಎಲ್ಲಿದೆ ಮತ್ತು ವೇಳೆ, ಆಗ ನಿಯಮವು (ಅಂದರೆ. ಚೈಲ್ಡ್ ಆಫ್ ಈಸ್) ಇಲ್ಲದಿದ್ದರೆ, ಲಿವ್ ನೋಡ್ಗಳನ್ನು ಲೇಬಲ್ ಮಾಡುವ ಎಲ್ಲಾ ಊಹೆಗಳ ಗುಂಪಿನಿಂದ ಲೇಬಲ್ ಮಾಡಲಾದ ಮಕ್ಕಳನ್ನು ಹೊಂದಿದೆ ಊಹೆಯ ಗುಂಪಿನಿಂದ ಬೆಂಬಲಿತವಾದ ಹಕ್ಕಿನೊಂದಿಗಿನ ವಾದವನ್ನು ಸಹ ಸೂಚಿಸಬಹುದು ಆರ್ಗ್ಯುಮೆಂಟ್ ಮ್ಯಾಪ್ ಆರ್ಗ್ಯುಮೆಂಟೇಶನ್ ಥಿಯರಿ ಡಿಫೀಟರ್ ರೇಖಾಚಿತ್ರದ ತಾರ್ಕಿಕ ತರ್ಕ ತರ್ಕ ಮತ್ತು ವಾದದ ದ್ವಂದ್ವಾತ್ಮಕ ತರ್ಕ ಜ್ಞಾನ ಪ್ರಾತಿನಿಧ್ಯ ಮತ್ತು ತಾರ್ಕಿಕ ಪ್ಯಾರಾಕೊನ್ಸಿಸ್ಟೆಂಟ್ ತರ್ಕ ಸಂಭವನೀಯ ವಾದ ಟಿಪ್ಪಣಿಗಳು ಕೃತಕ ಬುದ್ಧಿಮತ್ತೆ ಉಲ್ಲೇಖಗಳು