{"id":475947,"date":"2023-08-09T07:24:43","date_gmt":"2023-08-09T07:24:43","guid":{"rendered":""},"modified":"2023-09-05T11:11:40","modified_gmt":"2023-09-05T11:11:40","slug":"automated-reasoning","status":"publish","type":"wiki","link":"https:\/\/oneproxy.pro\/ar\/wiki\/automated-reasoning\/","title":{"rendered":"\u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a"},"content":{"rendered":"<p>\u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a \u0647\u0648 \u0645\u062c\u0627\u0644 \u0648\u0627\u0633\u0639 \u0641\u064a \u0627\u0644\u0630\u0643\u0627\u0621 \u0627\u0644\u0627\u0635\u0637\u0646\u0627\u0639\u064a (AI) \u0648\u0639\u0644\u0648\u0645 \u0627\u0644\u0643\u0645\u0628\u064a\u0648\u062a\u0631 \u0627\u0644\u0630\u064a \u064a\u0633\u062a\u062e\u062f\u0645 \u0627\u0644\u0645\u0646\u0637\u0642 \u0648\u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0644\u062d\u0644 \u0627\u0644\u0645\u0634\u0643\u0644\u0627\u062a \u0648\u0625\u062b\u0628\u0627\u062a \u0627\u0644\u0646\u0638\u0631\u064a\u0627\u062a \u0648\u0625\u062c\u0631\u0627\u0621 \u0627\u0633\u062a\u0646\u062a\u0627\u062c\u0627\u062a \u0623\u0648 \u062a\u0646\u0628\u0624\u0627\u062a. \u062a\u062a\u0636\u0645\u0646 \u0647\u0630\u0647 \u0627\u0644\u062a\u0642\u0646\u064a\u0629 \u0628\u0634\u0643\u0644 \u0623\u0633\u0627\u0633\u064a \u0628\u0646\u0627\u0621 \u0623\u0646\u0638\u0645\u0629 \u0642\u0627\u062f\u0631\u0629 \u0639\u0644\u0649 \u0627\u0633\u062a\u062e\u0644\u0627\u0635 \u0627\u0644\u0646\u062a\u0627\u0626\u062c \u0645\u0646 \u0645\u062c\u0645\u0648\u0639\u0629 \u0645\u0646 \u0627\u0644\u0645\u0642\u062f\u0645\u0627\u062a \u062a\u0644\u0642\u0627\u0626\u064a\u064b\u0627\u060c \u0645\u0645\u0627 \u064a\u062c\u0639\u0644\u0647\u0627 \u062c\u0632\u0621\u064b\u0627 \u0644\u0627 \u064a\u062a\u062c\u0632\u0623 \u0645\u0646 \u0627\u0644\u0639\u062f\u064a\u062f \u0645\u0646 \u0627\u0644\u0627\u0628\u062a\u0643\u0627\u0631\u0627\u062a \u0627\u0644\u062a\u0643\u0646\u0648\u0644\u0648\u062c\u064a\u0629 \u0627\u0644\u064a\u0648\u0645.<\/p>\n<h2>\u062a\u0627\u0631\u064a\u062e \u0648\u0623\u0635\u0648\u0644 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a<\/h2>\n<p>\u0625\u0646 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a \u0644\u0647 \u062c\u0630\u0648\u0631\u0647 \u0627\u0644\u0645\u062a\u062c\u0630\u0631\u0629 \u0628\u0639\u0645\u0642 \u0641\u064a \u062a\u0627\u0631\u064a\u062e \u0627\u0644\u0645\u0646\u0637\u0642 \u0648\u0627\u0644\u062d\u0648\u0633\u0628\u0629. \u062a\u0645 \u0628\u0646\u0627\u0621 \u0623\u0648\u0644 \u0645\u062d\u0631\u0643 \u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0645\u0639\u0631\u0648\u0641 \u0643\u062c\u0632\u0621 \u0645\u0646 \u0628\u0631\u0646\u0627\u0645\u062c Logic Theorist\u060c \u0648\u0647\u0648 \u0628\u0631\u0646\u0627\u0645\u062c \u0635\u0645\u0645\u0647 \u0623\u0644\u064a\u0646 \u0646\u064a\u0648\u064a\u0644\u060c \u0648\u0643\u0644\u064a\u0641 \u0634\u0648\u060c \u0648\u0647\u0631\u0628\u0631\u062a \u0633\u0627\u064a\u0645\u0648\u0646 \u0641\u064a \u0639\u0627\u0645 1955. \u0648\u0643\u0627\u0646 \u0627\u0644\u0628\u0631\u0646\u0627\u0645\u062c \u0642\u0627\u062f\u0631\u064b\u0627 \u0639\u0644\u0649 \u0625\u062b\u0628\u0627\u062a \u0627\u0644\u0646\u0638\u0631\u064a\u0627\u062a \u0645\u0646 \u0645\u0628\u0627\u062f\u0626 \u0627\u0644\u0631\u064a\u0627\u0636\u064a\u0627\u062a\u060c \u0645\u0645\u0627 \u0623\u062f\u0649 \u0628\u0634\u0643\u0644 \u0641\u0639\u0627\u0644 \u0625\u0644\u0649 \u0625\u0637\u0644\u0627\u0642 \u0639\u0635\u0631 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a.<\/p>\n<p>\u0641\u064a \u0639\u0627\u0645 1958\u060c \u0642\u062f\u0645 \u062c\u0648\u0646 \u0645\u0643\u0627\u0631\u062b\u064a \u0644\u063a\u0629 Lisp\u060c \u0648\u0647\u064a \u0623\u0648\u0644 \u0644\u063a\u0629 \u0628\u0631\u0645\u062c\u0629 \u062a\u062a\u0636\u0645\u0646 \u0627\u0644\u062a\u0641\u0643\u064a\u0631 \u0627\u0644\u0622\u0644\u064a \u0641\u064a \u062c\u0648\u0647\u0631\u0647\u0627. \u0628\u0639\u062f \u0630\u0644\u0643\u060c \u0641\u064a \u0633\u062a\u064a\u0646\u064a\u0627\u062a \u0648\u0633\u0628\u0639\u064a\u0646\u064a\u0627\u062a \u0627\u0644\u0642\u0631\u0646 \u0627\u0644\u0639\u0634\u0631\u064a\u0646\u060c \u0642\u0627\u0645\u062a \u0623\u0628\u062d\u0627\u062b \u0627\u0644\u0630\u0643\u0627\u0621 \u0627\u0644\u0627\u0635\u0637\u0646\u0627\u0639\u064a \u0628\u062a\u062d\u0633\u064a\u0646 \u0647\u0630\u0627 \u0627\u0644\u0645\u0641\u0647\u0648\u0645\u060c \u0648\u0628\u0644\u063a\u062a \u0630\u0631\u0648\u062a\u0647\u0627 \u0641\u064a \u062a\u0637\u0648\u064a\u0631 \u0623\u0648\u0644 \u0644\u063a\u0629 \u0628\u0631\u0645\u062c\u0629 \u0628\u0631\u0648\u0644\u0648\u062c \u0641\u064a \u0639\u0627\u0645 1972\u060c \u0648\u0647\u064a \u0644\u063a\u0629 \u062a\u062a\u0645\u062d\u0648\u0631 \u062d\u0648\u0644 \u0627\u0644\u062a\u0641\u0643\u064a\u0631 \u0627\u0644\u0622\u0644\u064a.<\/p>\n<h2>\u0646\u0638\u0631\u0629 \u0639\u0627\u0645\u0629 \u062a\u0641\u0635\u064a\u0644\u064a\u0629 \u0639\u0644\u0649 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a<\/h2>\n<p>\u062a\u0642\u0648\u0645 \u0623\u0646\u0638\u0645\u0629 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a\u060c \u0641\u064a \u062c\u0648\u0647\u0631\u0647\u0627\u060c \u0628\u062a\u0646\u0641\u064a\u0630 \u0627\u0644\u062e\u0648\u0627\u0631\u0632\u0645\u064a\u0627\u062a \u0648\u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644\u0627\u062a \u0627\u0644\u0645\u0633\u062a\u0646\u062f\u0629 \u0625\u0644\u0649 \u0627\u0644\u0645\u0646\u0637\u0642 \u0644\u0627\u0633\u062a\u0646\u062a\u0627\u062c \u0645\u0639\u0631\u0641\u0629 \u062c\u062f\u064a\u062f\u0629 \u0645\u0646 \u0645\u062c\u0645\u0648\u0639\u0629 \u0645\u0639\u064a\u0646\u0629 \u0645\u0646 \u0627\u0644\u062d\u0642\u0627\u0626\u0642 \u0648\u0627\u0644\u0642\u0648\u0627\u0639\u062f. \u0625\u0646\u0647\u0645 \u0628\u0627\u0631\u0639\u0648\u0646 \u0641\u064a \u0623\u062f\u0627\u0621 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0645\u0646\u0637\u0642\u064a \u0648\u0625\u062b\u0628\u0627\u062a \u0627\u0644\u0646\u0638\u0631\u064a\u0629 \u0648\u0645\u0647\u0627\u0645 \u062d\u0644 \u0627\u0644\u0645\u0634\u0643\u0644\u0627\u062a.<\/p>\n<p>\u0648\u064a\u0646\u0642\u0633\u0645 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a \u0625\u0644\u0649 \u0646\u0648\u0639\u064a\u0646:<\/p>\n<ol>\n<li>\n<p>\u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0627\u0633\u062a\u0646\u0628\u0627\u0637\u064a: \u0648\u0647\u0648 \u064a\u062a\u0636\u0645\u0646 \u0627\u0633\u062a\u062e\u0644\u0627\u0635 \u0627\u0633\u062a\u0646\u062a\u0627\u062c\u0627\u062a \u0645\u0639\u064a\u0646\u0629 \u0645\u0646\u0637\u0642\u064a\u0627 \u0645\u0646 \u0645\u0642\u062f\u0645\u0627\u062a \u0645\u0639\u064a\u0646\u0629. \u0639\u0644\u0649 \u0633\u0628\u064a\u0644 \u0627\u0644\u0645\u062b\u0627\u0644\u060c \u0625\u0630\u0627 \u0643\u0627\u0646\u062a \u0643\u0644 \u0627\u0644\u062a\u0641\u0627\u062d\u0627\u062a \u0641\u0627\u0643\u0647\u0629\u060c \u0648\u0643\u0627\u0646\u062a Granny Smith \u062a\u0641\u0627\u062d\u0629\u060c \u0641\u0625\u0646 \u0627\u0644\u0646\u0638\u0627\u0645 \u0627\u0644\u0630\u064a \u064a\u0633\u062a\u062e\u062f\u0645 \u0627\u0644\u0645\u0646\u0637\u0642 \u0627\u0644\u0627\u0633\u062a\u0646\u062a\u0627\u062c\u064a \u0633\u064a\u0633\u062a\u0646\u062a\u062c \u0623\u0646 Granny Smith \u0647\u064a \u0641\u0627\u0643\u0647\u0629.<\/p>\n<\/li>\n<li>\n<p>\u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0627\u0633\u062a\u0642\u0631\u0627\u0626\u064a: \u0648\u064a\u062a\u0636\u0645\u0646 \u062a\u0643\u0648\u064a\u0646 \u0642\u0648\u0627\u0639\u062f \u0639\u0627\u0645\u0629 \u0628\u0646\u0627\u0621\u064b \u0639\u0644\u0649 \u0627\u0644\u062d\u0627\u0644\u0627\u062a \u0627\u0644\u0645\u0644\u062d\u0648\u0638\u0629. \u0639\u0644\u0649 \u0633\u0628\u064a\u0644 \u0627\u0644\u0645\u062b\u0627\u0644\u060c \u0628\u0639\u062f \u0631\u0624\u064a\u0629 \u0645\u0627\u0626\u0629 \u062d\u0627\u0644\u0629 \u0645\u0646 \u0627\u0644\u0628\u062c\u0639 \u0627\u0644\u0623\u0628\u064a\u0636\u060c \u0641\u0625\u0646 \u0627\u0644\u0646\u0638\u0627\u0645 \u0627\u0644\u0630\u064a \u064a\u0633\u062a\u062e\u062f\u0645 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0627\u0633\u062a\u0642\u0631\u0627\u0626\u064a \u0633\u0648\u0641 \u064a\u0633\u062a\u0646\u062a\u062c \u0623\u0646 \u062c\u0645\u064a\u0639 \u0627\u0644\u0628\u062c\u0639\u0627\u062a \u0628\u064a\u0636\u0627\u0621.<\/p>\n<\/li>\n<\/ol>\n<h2>\u0627\u0644\u0647\u064a\u0643\u0644 \u0627\u0644\u062f\u0627\u062e\u0644\u064a \u0648\u0639\u0645\u0644 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a<\/h2>\n<p>\u062a\u0634\u062a\u0645\u0644 \u0623\u0646\u0638\u0645\u0629 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a \u0639\u0644\u0649 \u0639\u062f\u0629 \u0645\u0643\u0648\u0646\u0627\u062a \u0631\u0626\u064a\u0633\u064a\u0629:<\/p>\n<ol>\n<li>\n<p><strong>\u0642\u0627\u0639\u062f\u0629 \u0627\u0644\u0645\u0639\u0631\u0641\u0629<\/strong>: \u064a\u0642\u0648\u0645 \u0628\u062a\u062e\u0632\u064a\u0646 \u0627\u0644\u0642\u0648\u0627\u0639\u062f \u0648\u0627\u0644\u062d\u0642\u0627\u0626\u0642 \u0627\u0644\u062a\u064a \u064a\u0633\u062a\u062e\u062f\u0645\u0647\u0627 \u0627\u0644\u0646\u0638\u0627\u0645 \u0644\u0627\u0633\u062a\u062e\u0644\u0627\u0635 \u0627\u0644\u0646\u062a\u0627\u0626\u062c.<\/p>\n<\/li>\n<li>\n<p><strong>\u0645\u062d\u0631\u0643 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644<\/strong>: \u064a\u0637\u0628\u0642 \u0647\u0630\u0627 \u0642\u0648\u0627\u0639\u062f \u0645\u0646\u0637\u0642\u064a\u0629 \u0639\u0644\u0649 \u0627\u0644\u0628\u064a\u0627\u0646\u0627\u062a \u0627\u0644\u0645\u0648\u062c\u0648\u062f\u0629 \u0641\u064a \u0642\u0627\u0639\u062f\u0629 \u0627\u0644\u0645\u0639\u0631\u0641\u0629 \u0644\u0627\u0633\u062a\u0646\u062a\u0627\u062c \u0645\u0639\u0644\u0648\u0645\u0627\u062a \u062c\u062f\u064a\u062f\u0629.<\/p>\n<\/li>\n<li>\n<p><strong>\u0648\u0627\u062c\u0647\u0629 \u0627\u0644\u0645\u0633\u062a\u062e\u062f\u0645<\/strong>: \u064a\u062a\u064a\u062d \u0630\u0644\u0643 \u0627\u0644\u062a\u0641\u0627\u0639\u0644 \u0645\u0639 \u0627\u0644\u0646\u0638\u0627\u0645\u060c \u0645\u0645\u0627 \u064a\u0633\u0645\u062d \u0644\u0644\u0645\u0633\u062a\u062e\u062f\u0645\u064a\u0646 \u0628\u0625\u062f\u062e\u0627\u0644 \u0628\u064a\u0627\u0646\u0627\u062a \u062c\u062f\u064a\u062f\u0629 \u0648\u0639\u0631\u0636 \u0627\u0633\u062a\u0646\u062a\u0627\u062c\u0627\u062a \u0627\u0644\u0646\u0638\u0627\u0645.<\/p>\n<\/li>\n<\/ol>\n<p>\u064a\u0639\u0645\u0644 \u0627\u0644\u0646\u0638\u0627\u0645 \u0639\u0646 \u0637\u0631\u064a\u0642 \u0623\u062e\u0630 \u0645\u0634\u0643\u0644\u0629 \u0627\u0644\u0625\u062f\u062e\u0627\u0644 \u0623\u0648\u0644\u0627\u064b \u0648\u062a\u0645\u062b\u064a\u0644\u0647\u0627 \u0628\u0644\u063a\u0629 \u0631\u0633\u0645\u064a\u0629. \u062b\u0645 \u064a\u0642\u0648\u0645 \u0628\u0627\u0644\u0628\u062d\u062b \u0641\u064a \u0642\u0627\u0639\u062f\u0629 \u0627\u0644\u0645\u0639\u0631\u0641\u0629 \u0627\u0644\u062e\u0627\u0635\u0629 \u0628\u0647\u060c \u0628\u0627\u0633\u062a\u062e\u062f\u0627\u0645 \u0645\u062d\u0631\u0643 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0644\u062a\u0637\u0628\u064a\u0642 \u0627\u0644\u0642\u0648\u0627\u0639\u062f \u0627\u0644\u0645\u0646\u0637\u0642\u064a\u0629 \u0648\u0627\u0633\u062a\u0646\u062a\u0627\u062c \u0645\u0639\u0644\u0648\u0645\u0627\u062a \u062c\u062f\u064a\u062f\u0629. \u0639\u0627\u062f\u0629 \u0645\u0627 \u064a\u0643\u0648\u0646 \u0627\u0644\u0625\u062e\u0631\u0627\u062c \u062d\u0644\u0627\u064b \u0644\u0645\u0634\u0643\u0644\u0629 \u0627\u0644\u0625\u062f\u062e\u0627\u0644 \u0623\u0648 \u0645\u062c\u0645\u0648\u0639\u0629 \u0645\u0646 \u0627\u0644\u0627\u0633\u062a\u0646\u062a\u0627\u062c\u0627\u062a \u0628\u0646\u0627\u0621\u064b \u0639\u0644\u0649 \u0628\u064a\u0627\u0646\u0627\u062a \u0627\u0644\u0625\u062f\u062e\u0627\u0644.<\/p>\n<h2>\u0627\u0644\u0645\u064a\u0632\u0627\u062a \u0627\u0644\u0631\u0626\u064a\u0633\u064a\u0629 \u0644\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a<\/h2>\n<p>\u064a\u062a\u0645\u064a\u0632 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a \u0628\u0627\u0644\u0639\u062f\u064a\u062f \u0645\u0646 \u0627\u0644\u0645\u064a\u0632\u0627\u062a \u0627\u0644\u0645\u0645\u064a\u0632\u0629 \u0627\u0644\u062a\u064a \u062a\u0645\u064a\u0632\u0647:<\/p>\n<ol>\n<li>\n<p><strong>\u0645\u0646\u0637\u0642 \u0631\u0633\u0645\u064a<\/strong>: \u064a\u0633\u062a\u062e\u062f\u0645 \u0627\u0644\u0644\u063a\u0627\u062a \u0627\u0644\u0631\u0633\u0645\u064a\u0629 \u0648\u0627\u0644\u0645\u0646\u0637\u0642 \u0644\u062a\u0645\u062b\u064a\u0644 \u0627\u0644\u0645\u0634\u0643\u0644\u0629 \u0648\u0627\u0644\u0627\u0633\u062a\u0646\u062a\u0627\u062c.<\/p>\n<\/li>\n<li>\n<p><strong>\u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a<\/strong>: \u0642\u0627\u062f\u0631 \u0639\u0644\u0649 \u0627\u0633\u062a\u062e\u0644\u0627\u0635 \u0627\u0644\u0646\u062a\u0627\u0626\u062c \u0623\u0648 \u062d\u0644 \u0627\u0644\u0645\u0634\u0643\u0644\u0627\u062a \u062f\u0648\u0646 \u062a\u062f\u062e\u0644 \u0627\u0644\u0625\u0646\u0633\u0627\u0646.<\/p>\n<\/li>\n<li>\n<p><strong>\u0642\u0627\u0628\u0644\u064a\u0629 \u0627\u0644\u062a\u0639\u0645\u064a\u0645<\/strong>: \u064a\u0645\u0643\u0646 \u0644\u0644\u0646\u0638\u0627\u0645 \u0646\u0641\u0633\u0647 \u0623\u0646 \u064a\u062d\u0644 \u0645\u0634\u0643\u0644\u0627\u062a \u0645\u062e\u062a\u0644\u0641\u0629 \u0641\u064a \u0636\u0648\u0621 \u0645\u062c\u0645\u0648\u0639\u0627\u062a \u0645\u062e\u062a\u0644\u0641\u0629 \u0645\u0646 \u0627\u0644\u0642\u0648\u0627\u0639\u062f \u0648\u0627\u0644\u062d\u0642\u0627\u0626\u0642.<\/p>\n<\/li>\n<li>\n<p><strong>\u062a\u0646\u0627\u0633\u0642<\/strong>: \u064a\u062d\u0627\u0641\u0638 \u0639\u0644\u0649 \u0627\u0644\u0627\u062a\u0633\u0627\u0642 \u0641\u064a \u062a\u0641\u0643\u064a\u0631\u0647\u060c \u0648\u064a\u0645\u0646\u0639 \u0627\u0644\u062a\u0646\u0627\u0642\u0636\u0627\u062a \u0641\u064a \u0627\u0644\u0642\u0627\u0639\u062f\u0629 \u0627\u0644\u0645\u0639\u0631\u0641\u064a\u0629.<\/p>\n<\/li>\n<\/ol>\n<h2>\u0623\u0646\u0648\u0627\u0639 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a<\/h2>\n<p>\u064a\u0645\u0643\u0646 \u062a\u0635\u0646\u064a\u0641 \u0623\u0646\u0638\u0645\u0629 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a \u0628\u0646\u0627\u0621\u064b \u0639\u0644\u0649 \u0623\u0633\u0644\u0648\u0628 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u062e\u0627\u0635 \u0628\u0647\u0627 \u0648\u0623\u0646\u0648\u0627\u0639 \u0627\u0644\u0645\u0634\u0643\u0644\u0627\u062a \u0627\u0644\u062a\u064a \u062a\u0639\u0627\u0644\u062c\u0647\u0627. \u0648\u0641\u064a\u0645\u0627 \u064a\u0644\u064a \u062c\u062f\u0648\u0644 \u0645\u062e\u062a\u0635\u0631 \u064a\u0644\u062e\u0635 \u0628\u0639\u0636 \u0627\u0644\u0623\u0646\u0648\u0627\u0639:<\/p>\n<table>\n<thead>\n<tr>\n<th style=\"text-align: center;\">\u064a\u0643\u062a\u0628<\/th>\n<th style=\"text-align: center;\">\u0648\u0635\u0641<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td style=\"text-align: center;\">\u0623\u0646\u0638\u0645\u0629 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0627\u0633\u062a\u0646\u062a\u0627\u062c\u064a<\/td>\n<td style=\"text-align: center;\">\u0625\u0646\u0647\u0645 \u064a\u0637\u0628\u0642\u0648\u0646 \u0627\u0644\u0627\u0633\u062a\u0646\u062a\u0627\u062c \u0627\u0644\u0645\u0646\u0637\u0642\u064a \u0644\u0627\u0633\u062a\u062e\u0644\u0627\u0635 \u0627\u0633\u062a\u0646\u062a\u0627\u062c\u0627\u062a \u0645\u0639\u064a\u0646\u0629 \u0645\u0646 \u0645\u062c\u0645\u0648\u0639\u0629 \u0645\u0639\u064a\u0646\u0629 \u0645\u0646 \u0627\u0644\u0645\u0642\u062f\u0645\u0627\u062a.<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u0623\u0646\u0638\u0645\u0629 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0627\u0633\u062a\u0642\u0631\u0627\u0626\u064a<\/td>\n<td style=\"text-align: center;\">\u0625\u0646\u0647\u0627 \u062a\u0634\u0643\u0644 \u0642\u0648\u0627\u0639\u062f \u0639\u0627\u0645\u0629 \u0628\u0646\u0627\u0621\u064b \u0639\u0644\u0649 \u062d\u0627\u0644\u0627\u062a \u0645\u062d\u062f\u062f\u0629 \u062a\u0645\u062a \u0645\u0644\u0627\u062d\u0638\u062a\u0647\u0627.<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u0623\u0646\u0638\u0645\u0629 \u0627\u0644\u062a\u0641\u0643\u064a\u0631 \u0627\u0644\u0627\u0641\u062a\u0631\u0627\u0636\u0649<\/td>\n<td style=\"text-align: center;\">\u0625\u0646\u0647\u0645 \u064a\u0642\u0648\u0645\u0648\u0646 \u0628\u062a\u062e\u0645\u064a\u0646\u0627\u062a \u0623\u0648 \u0641\u0631\u0636\u064a\u0627\u062a \u0645\u062f\u0631\u0648\u0633\u0629 \u0628\u0646\u0627\u0621\u064b \u0639\u0644\u0649 \u0627\u0644\u0623\u062f\u0644\u0629 \u0627\u0644\u0645\u062a\u0627\u062d\u0629.<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u062d\u0644 \u0627\u0644\u0642\u064a\u062f<\/td>\n<td style=\"text-align: center;\">\u0648\u064a\u062c\u062f\u0648\u0646 \u0627\u0644\u062d\u0644\u0648\u0644 \u0627\u0644\u062a\u064a \u062a\u0644\u0628\u064a \u0645\u062c\u0645\u0648\u0639\u0629 \u0645\u0646 \u0627\u0644\u0642\u064a\u0648\u062f.<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u0641\u062d\u0635 \u0627\u0644\u0646\u0645\u0648\u0630\u062c<\/td>\n<td style=\"text-align: center;\">\u064a\u0642\u0648\u0645\u0648\u0646 \u0628\u0627\u0644\u062a\u062d\u0642\u0642 \u0645\u0645\u0627 \u0625\u0630\u0627 \u0643\u0627\u0646 \u0646\u0645\u0648\u0630\u062c \u0627\u0644\u0646\u0638\u0627\u0645 \u064a\u0644\u0628\u064a \u0645\u062c\u0645\u0648\u0639\u0629 \u0645\u0646 \u0627\u0644\u0645\u062a\u0637\u0644\u0628\u0627\u062a \u0627\u0644\u0645\u062d\u062f\u062f\u0629.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>\u062d\u0627\u0644\u0627\u062a \u0627\u0644\u0627\u0633\u062a\u062e\u062f\u0627\u0645 \u0648\u062a\u062d\u062f\u064a\u0627\u062a \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a<\/h2>\n<p>\u0644\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a \u062a\u0637\u0628\u064a\u0642\u0627\u062a \u0645\u062a\u0646\u0648\u0639\u0629\u060c \u0628\u0645\u0627 \u0641\u064a \u0630\u0644\u0643:<\/p>\n<ol>\n<li>\n<p><strong>\u0625\u062b\u0628\u0627\u062a \u0627\u0644\u0646\u0638\u0631\u064a\u0629 \u0627\u0644\u0622\u0644\u064a\u0629<\/strong>: \u0641\u064a \u0627\u0644\u0631\u064a\u0627\u0636\u064a\u0627\u062a\u060c \u064a\u0645\u0643\u0646 \u0627\u0633\u062a\u062e\u062f\u0627\u0645\u0647 \u0644\u0625\u062b\u0628\u0627\u062a \u0627\u0644\u0646\u0638\u0631\u064a\u0627\u062a \u062a\u0644\u0642\u0627\u0626\u064a\u064b\u0627.<\/p>\n<\/li>\n<li>\n<p><strong>\u062f\u0644\u0627\u0644\u0627\u062a \u0644\u063a\u0629 \u0627\u0644\u0628\u0631\u0645\u062c\u0629<\/strong>: \u064a\u0645\u0643\u0646 \u0623\u0646 \u064a\u0633\u0627\u0639\u062f \u0641\u064a \u0636\u0645\u0627\u0646 \u0639\u0645\u0644 \u0627\u0644\u0628\u0631\u0627\u0645\u062c \u0639\u0644\u0649 \u0627\u0644\u0646\u062d\u0648 \u0627\u0644\u0645\u0646\u0634\u0648\u062f \u0639\u0646 \u0637\u0631\u064a\u0642 \u0627\u0644\u062a\u062d\u0642\u0642 \u0645\u0646 \u062f\u0644\u0627\u0644\u0627\u062a\u0647\u0627.<\/p>\n<\/li>\n<li>\n<p><strong>\u0627\u0644\u062a\u062d\u0642\u0642 \u0627\u0644\u0631\u0633\u0645\u064a<\/strong>: \u064a\u0645\u0643\u0646 \u0627\u0633\u062a\u062e\u062f\u0627\u0645\u0647 \u0644\u0644\u062a\u062d\u0642\u0642 \u0645\u0646 \u0635\u062d\u0629 \u062a\u0635\u0645\u064a\u0645\u0627\u062a \u0627\u0644\u0623\u062c\u0647\u0632\u0629 \u0648\u0627\u0644\u0628\u0631\u0627\u0645\u062c.<\/p>\n<\/li>\n<li>\n<p><strong>\u0627\u0644\u0630\u0643\u0627\u0621 \u0627\u0644\u0627\u0635\u0637\u0646\u0627\u0639\u064a \u0648\u0627\u0644\u062a\u0639\u0644\u0645 \u0627\u0644\u0622\u0644\u064a<\/strong>: \u064a\u0639\u062f \u0627\u0644\u062a\u0641\u0643\u064a\u0631 \u0627\u0644\u0622\u0644\u064a \u062c\u0632\u0621\u064b\u0627 \u0644\u0627 \u064a\u062a\u062c\u0632\u0623 \u0645\u0646 \u0623\u0646\u0638\u0645\u0629 \u0627\u0644\u0630\u0643\u0627\u0621 \u0627\u0644\u0627\u0635\u0637\u0646\u0627\u0639\u064a\u060c \u062e\u0627\u0635\u0629 \u0641\u064a \u0639\u0645\u0644\u064a\u0627\u062a \u0635\u0646\u0639 \u0627\u0644\u0642\u0631\u0627\u0631.<\/p>\n<\/li>\n<\/ol>\n<p>\u0648\u0645\u0639 \u0630\u0644\u0643\u060c \u0641\u0625\u0646 \u0627\u0644\u062a\u0641\u0643\u064a\u0631 \u0627\u0644\u0622\u0644\u064a \u0644\u0627 \u064a\u062e\u0644\u0648 \u0645\u0646 \u0627\u0644\u062a\u062d\u062f\u064a\u0627\u062a. \u0648\u062a\u0634\u0645\u0644 \u0647\u0630\u0647 \u0635\u0639\u0648\u0628\u0629 \u062a\u0631\u0645\u064a\u0632 \u0645\u0634\u0627\u0643\u0644 \u0627\u0644\u0639\u0627\u0644\u0645 \u0627\u0644\u062d\u0642\u064a\u0642\u064a \u0625\u0644\u0649 \u0644\u063a\u0629 \u0631\u0633\u0645\u064a\u0629 \u0648\u0627\u0644\u0643\u062b\u0627\u0641\u0629 \u0627\u0644\u062d\u0633\u0627\u0628\u064a\u0629 \u0644\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0645\u0646\u0637\u0642\u064a. \u064a\u062a\u0645 \u0627\u0633\u062a\u062e\u062f\u0627\u0645 \u062a\u0642\u0646\u064a\u0627\u062a \u0645\u062b\u0644 \u0627\u0644\u0628\u062d\u062b \u0627\u0644\u0645\u0648\u062c\u0647 \u0628\u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0648\u0631\u0636\u0627 \u0627\u0644\u0642\u064a\u062f \u0644\u0644\u062a\u062e\u0641\u064a\u0641 \u0645\u0646 \u0647\u0630\u0647 \u0627\u0644\u062a\u062d\u062f\u064a\u0627\u062a.<\/p>\n<h2>\u0645\u0642\u0627\u0631\u0646\u0627\u062a \u0645\u0639 \u0645\u0635\u0637\u0644\u062d\u0627\u062a \u0645\u0645\u0627\u062b\u0644\u0629<\/h2>\n<table>\n<thead>\n<tr>\n<th style=\"text-align: center;\">\u0634\u0631\u0637<\/th>\n<th style=\"text-align: center;\">\u0648\u0635\u0641<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td style=\"text-align: center;\">\u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a<\/td>\n<td style=\"text-align: center;\">\u062d\u0642\u0644 \u0641\u0631\u0639\u064a \u0644\u0644\u0630\u0643\u0627\u0621 \u0627\u0644\u0627\u0635\u0637\u0646\u0627\u0639\u064a \u064a\u0633\u062a\u062e\u062f\u0645 \u0627\u0644\u0645\u0646\u0637\u0642 \u0648\u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0644\u062d\u0644 \u0627\u0644\u0645\u0634\u0643\u0644\u0627\u062a \u062a\u0644\u0642\u0627\u0626\u064a\u064b\u0627.<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u0627\u0644\u062a\u0639\u0644\u0645 \u0627\u0644\u0627\u0644\u064a<\/td>\n<td style=\"text-align: center;\">\u062d\u0642\u0644 \u0641\u0631\u0639\u064a \u0644\u0644\u0630\u0643\u0627\u0621 \u0627\u0644\u0627\u0635\u0637\u0646\u0627\u0639\u064a \u064a\u0633\u062a\u062e\u062f\u0645 \u0627\u0644\u0623\u0633\u0627\u0644\u064a\u0628 \u0627\u0644\u0625\u062d\u0635\u0627\u0626\u064a\u0629 \u0644\u062a\u0645\u0643\u064a\u0646 \u0627\u0644\u0623\u062c\u0647\u0632\u0629 \u0645\u0646 \u0627\u0644\u062a\u0639\u0644\u0645 \u0645\u0646 \u0627\u0644\u0628\u064a\u0627\u0646\u0627\u062a.<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u0627\u0644\u0646\u0638\u0645 \u0627\u0644\u062e\u0628\u064a\u0631\u0629<\/td>\n<td style=\"text-align: center;\">\u0623\u0646\u0638\u0645\u0629 \u0627\u0644\u0630\u0643\u0627\u0621 \u0627\u0644\u0627\u0635\u0637\u0646\u0627\u0639\u064a \u0627\u0644\u062a\u064a \u062a\u062d\u0627\u0643\u064a \u0642\u062f\u0631\u0629 \u0627\u0644\u062e\u0628\u064a\u0631 \u0627\u0644\u0628\u0634\u0631\u064a \u0639\u0644\u0649 \u0627\u062a\u062e\u0627\u0630 \u0627\u0644\u0642\u0631\u0627\u0631. \u0625\u0646\u0647\u0645 \u064a\u0639\u062a\u0645\u062f\u0648\u0646 \u0628\u0634\u0643\u0644 \u0643\u0628\u064a\u0631 \u0639\u0644\u0649 \u0627\u0644\u062a\u0641\u0643\u064a\u0631 \u0627\u0644\u0622\u0644\u064a.<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\">\u0645\u0639\u0627\u0644\u062c\u0629 \u0627\u0644\u0644\u063a\u0629 \u0627\u0644\u0637\u0628\u064a\u0639\u064a\u0629<\/td>\n<td style=\"text-align: center;\">\u062d\u0642\u0644 \u0641\u0631\u0639\u064a \u0644\u0644\u0630\u0643\u0627\u0621 \u0627\u0644\u0627\u0635\u0637\u0646\u0627\u0639\u064a \u064a\u0645\u0643\u0651\u0646 \u0627\u0644\u0622\u0644\u0627\u062a \u0645\u0646 \u0641\u0647\u0645 \u0627\u0644\u0644\u063a\u0629 \u0627\u0644\u0628\u0634\u0631\u064a\u0629 \u0648\u062a\u0648\u0644\u064a\u062f\u0647\u0627. \u0648\u064a\u0633\u062a\u062e\u062f\u0645 \u0627\u0644\u0645\u0646\u0637\u0642 \u0627\u0644\u0622\u0644\u064a \u0644\u0645\u0647\u0627\u0645 \u0645\u062b\u0644 \u0627\u0644\u062a\u062d\u0644\u064a\u0644 \u0627\u0644\u062f\u0644\u0627\u0644\u064a.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>\u0648\u062c\u0647\u0627\u062a \u0627\u0644\u0646\u0638\u0631 \u0627\u0644\u0645\u0633\u062a\u0642\u0628\u0644\u064a\u0629 \u0648\u0627\u0644\u062a\u0642\u0646\u064a\u0627\u062a \u0627\u0644\u0645\u062a\u0639\u0644\u0642\u0629 \u0628\u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a<\/h2>\n<p>\u0644\u0642\u062f \u062f\u0641\u0639 \u0627\u0644\u062a\u0642\u062f\u0645 \u0641\u064a \u0627\u0644\u0630\u0643\u0627\u0621 \u0627\u0644\u0627\u0635\u0637\u0646\u0627\u0639\u064a \u0648\u0627\u0644\u0642\u062f\u0631\u0629 \u0627\u0644\u062d\u0627\u0633\u0648\u0628\u064a\u0629 \u0625\u0644\u0649 \u062a\u0637\u0648\u064a\u0631 \u0623\u0646\u0638\u0645\u0629 \u062a\u0641\u0643\u064a\u0631 \u0622\u0644\u064a\u0629 \u0623\u0643\u062b\u0631 \u062a\u0637\u0648\u0631\u0627\u064b. \u0648\u064a\u062a\u0645 \u062f\u0645\u062c \u062a\u0642\u0646\u064a\u0627\u062a \u0645\u062b\u0644 \u0627\u0644\u062a\u0639\u0644\u0645 \u0627\u0644\u0639\u0645\u064a\u0642 \u0645\u0639 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a\u060c \u0645\u0645\u0627 \u064a\u0645\u0643\u0651\u0646 \u0627\u0644\u0623\u0646\u0638\u0645\u0629 \u0645\u0646 \u062a\u0639\u0644\u0645 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0628\u062f\u0644\u0627\u064b \u0645\u0646 \u0627\u0644\u0627\u0639\u062a\u0645\u0627\u062f \u0641\u0642\u0637 \u0639\u0644\u0649 \u0642\u0648\u0627\u0639\u062f \u0645\u062d\u062f\u062f\u0629 \u0645\u0633\u0628\u0642\u064b\u0627.<\/p>\n<p>\u0648\u0628\u0627\u0644\u0646\u0638\u0631 \u0625\u0644\u0649 \u0627\u0644\u0645\u0633\u062a\u0642\u0628\u0644\u060c \u064a\u0645\u0643\u0646\u0646\u0627 \u0623\u0646 \u0646\u062a\u0648\u0642\u0639 \u0623\u0646 \u0646\u0631\u0649 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a \u064a\u0644\u0639\u0628 \u062f\u0648\u0631\u064b\u0627 \u062d\u064a\u0648\u064a\u064b\u0627 \u0628\u0634\u0643\u0644 \u0645\u062a\u0632\u0627\u064a\u062f \u0641\u064a \u0645\u0633\u062a\u0642\u0628\u0644 \u0627\u0644\u0630\u0643\u0627\u0621 \u0627\u0644\u0627\u0635\u0637\u0646\u0627\u0639\u064a\u060c \u0628\u062f\u0621\u064b\u0627 \u0645\u0646 \u0627\u0644\u0645\u0631\u0643\u0628\u0627\u062a \u0630\u0627\u062a\u064a\u0629 \u0627\u0644\u0642\u064a\u0627\u062f\u0629 \u0648\u062d\u062a\u0649 \u0623\u0646\u0638\u0645\u0629 \u062f\u0639\u0645 \u0627\u0644\u0642\u0631\u0627\u0631 \u0627\u0644\u0645\u062a\u0642\u062f\u0645\u0629. \u0628\u0627\u0644\u0625\u0636\u0627\u0641\u0629 \u0625\u0644\u0649 \u0630\u0644\u0643\u060c \u064a\u0645\u0643\u0646 \u0644\u0644\u062d\u0648\u0633\u0628\u0629 \u0627\u0644\u0643\u0645\u0648\u0645\u064a\u0629 \u0623\u0646 \u062a\u064f\u062d\u062f\u062b \u062b\u0648\u0631\u0629 \u0641\u064a \u0627\u0644\u062a\u0641\u0643\u064a\u0631 \u0627\u0644\u0622\u0644\u064a \u0645\u0646 \u062e\u0644\u0627\u0644 \u0632\u064a\u0627\u062f\u0629 \u0633\u0631\u0639\u0629 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0645\u0646\u0637\u0642\u064a \u0628\u0634\u0643\u0644 \u0643\u0628\u064a\u0631.<\/p>\n<h2>\u0627\u0644\u062e\u0648\u0627\u062f\u0645 \u0627\u0644\u0648\u0643\u064a\u0644\u0629 \u0648\u0627\u0644\u062a\u0641\u0643\u064a\u0631 \u0627\u0644\u0622\u0644\u064a<\/h2>\n<p>\u0641\u064a \u062d\u064a\u0646 \u0623\u0646 \u0627\u0644\u062e\u0648\u0627\u062f\u0645 \u0627\u0644\u0648\u0643\u064a\u0644\u0629 \u0648\u0627\u0644\u062a\u0641\u0643\u064a\u0631 \u0627\u0644\u0622\u0644\u064a \u0642\u062f \u064a\u0628\u062f\u0648\u0627\u0646 \u063a\u064a\u0631 \u0645\u0631\u062a\u0628\u0637\u064a\u0646\u060c \u0625\u0644\u0627 \u0623\u0646\u0647 \u064a\u0645\u0643\u0646 \u0631\u0628\u0637\u0647\u0645\u0627 \u0641\u064a \u0633\u064a\u0627\u0642\u0627\u062a \u0645\u062d\u062f\u062f\u0629. \u0639\u0644\u0649 \u0633\u0628\u064a\u0644 \u0627\u0644\u0645\u062b\u0627\u0644\u060c \u064a\u0645\u0643\u0646 \u0627\u0633\u062a\u062e\u062f\u0627\u0645 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a \u0641\u064a \u0627\u0644\u0627\u062e\u062a\u064a\u0627\u0631 \u0627\u0644\u062f\u064a\u0646\u0627\u0645\u064a\u0643\u064a \u0644\u0644\u0648\u0643\u0644\u0627\u0621\u060c \u062d\u064a\u062b \u064a\u0645\u0643\u0646 \u0644\u0644\u0646\u0638\u0627\u0645 \u0627\u0633\u062a\u062e\u062f\u0627\u0645 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0645\u0646\u0637\u0642\u064a \u0644\u0627\u062e\u062a\u064a\u0627\u0631 \u0627\u0644\u0648\u0643\u064a\u0644 \u0627\u0644\u0623\u0643\u062b\u0631 \u0643\u0641\u0627\u0621\u0629 \u0628\u0646\u0627\u0621\u064b \u0639\u0644\u0649 \u0639\u0648\u0627\u0645\u0644 \u0645\u062b\u0644 \u0627\u0644\u0633\u0631\u0639\u0629 \u0648\u0627\u0644\u0645\u0648\u0642\u0639 \u0648\u0627\u0644\u0645\u0648\u062b\u0648\u0642\u064a\u0629. \u0628\u0627\u0644\u0625\u0636\u0627\u0641\u0629 \u0625\u0644\u0649 \u0630\u0644\u0643\u060c \u064a\u0645\u0643\u0646 \u0623\u064a\u0636\u064b\u0627 \u0627\u0633\u062a\u062e\u062f\u0627\u0645 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a \u0641\u064a \u062c\u0648\u0627\u0646\u0628 \u0627\u0644\u0623\u0645\u0646 \u0627\u0644\u0633\u064a\u0628\u0631\u0627\u0646\u064a \u0644\u0644\u062e\u0648\u0627\u062f\u0645 \u0627\u0644\u0648\u0643\u064a\u0644\u0629\u060c \u0648\u0627\u0644\u0643\u0634\u0641 \u0639\u0646 \u0627\u0644\u062d\u0627\u0644\u0627\u062a \u0627\u0644\u0634\u0627\u0630\u0629 \u0648\u0627\u0644\u062a\u0647\u062f\u064a\u062f\u0627\u062a \u0627\u0644\u0645\u062d\u062a\u0645\u0644\u0629.<\/p>\n<h2>\u0631\u0648\u0627\u0628\u0637 \u0630\u0627\u062a \u0639\u0644\u0627\u0642\u0629<\/h2>\n<ul>\n<li><a href=\"https:\/\/plato.stanford.edu\/entries\/reasoning-automated\/\" target=\"_new\" rel=\"noopener nofollow\">\u0645\u0648\u0633\u0648\u0639\u0629 \u0633\u062a\u0627\u0646\u0641\u0648\u0631\u062f \u0644\u0644\u0641\u0644\u0633\u0641\u0629 \u2013 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a<\/a><\/li>\n<li><a href=\"http:\/\/aar.inf.ethz.ch\/\" target=\"_new\" rel=\"noopener nofollow\">\u0631\u0627\u0628\u0637\u0629 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a<\/a><\/li>\n<li><a href=\"https:\/\/ocw.mit.edu\/courses\/electrical-engineering-and-computer-science\/6-825-techniques-in-artificial-intelligence-sma-5504-fall-2002\/lecture-notes\/Lecture20FinalProjects.pdf\" target=\"_new\" rel=\"noopener nofollow\">\u0645\u0639\u0647\u062f \u0645\u0627\u0633\u0627\u062a\u0634\u0648\u0633\u062a\u0633 \u0644\u0644\u062a\u0643\u0646\u0648\u0644\u0648\u062c\u064a\u0627 OpenCourseWare \u2013 \u0627\u0644\u0627\u0633\u062a\u062f\u0644\u0627\u0644 \u0627\u0644\u0622\u0644\u064a<\/a><\/li>\n<\/ul>","protected":false},"featured_media":0,"menu_order":0,"template":"","meta":{"_acf_changed":false,"content-type":"","inline_featured_image":false,"footnotes":""},"class_list":["post-475947","wiki","type-wiki","status-publish","hentry"],"acf":{"faq_title":"Frequently Asked Questions about <mark>Automated Reasoning: Harnessing Logic for Efficient Computing<\/mark>","faq_items":[{"question":"What is Automated Reasoning?","answer":"<p>Automated reasoning is an area in artificial intelligence and computer science that uses logic and heuristics to solve problems, prove theorems, and make deductions or predictions. The technique fundamentally involves building systems capable of deriving conclusions from a set of premises automatically.<\/p>"},{"question":"Who were the pioneers in the field of Automated Reasoning?","answer":"<p>The first known inference engine was built as part of the Logic Theorist, a program designed by Allen Newell, Cliff Shaw, and Herbert Simon in 1955. John McCarthy also played a significant role with the introduction of Lisp in 1958, which incorporated automated reasoning.<\/p>"},{"question":"What are the key components of an Automated Reasoning system?","answer":"<p>Automated reasoning systems are typically composed of a Knowledge Base that stores the rules and facts, an Inference Engine that applies logical rules to the data in the knowledge base, and a User Interface that allows users to interact with the system.<\/p>"},{"question":"What are the key features of Automated Reasoning?","answer":"<p>Key features of automated reasoning include the use of formal logic for problem representation and deduction, capability of deriving conclusions or solving problems without human intervention, generalizability to solve different problems, and maintaining consistency in its reasoning.<\/p>"},{"question":"What are some types of Automated Reasoning systems?","answer":"<p>Automated reasoning systems can be categorized into deductive reasoning systems, inductive reasoning systems, abductive reasoning systems, constraint solving, and model checking.<\/p>"},{"question":"What are the applications of Automated Reasoning?","answer":"<p>Automated reasoning is used in automated theorem proving, programming language semantics, formal verification, and in various AI and machine learning processes.<\/p>"},{"question":"What challenges does Automated Reasoning face?","answer":"<p>Challenges in automated reasoning include the difficulty of encoding real-world problems into a formal language and the computational intensity of logical inference.<\/p>"},{"question":"How are proxy servers associated with Automated Reasoning?","answer":"<p>Automated reasoning can be employed in the dynamic selection of proxies, where the system could use logical inference to select the most efficient proxy based on factors like speed, location, and reliability. Automated reasoning can also be utilized in the cybersecurity aspects of proxy servers, detecting anomalies and potential threats.<\/p>"},{"question":"What are some future perspectives related to Automated Reasoning?","answer":"<p>Future advancements in AI and computing power have propelled the development of more sophisticated automated reasoning systems. Techniques like deep learning are being integrated with automated reasoning. Additionally, quantum computing could revolutionize automated reasoning by significantly increasing the speed of logical inference.<\/p>"},{"question":"Where can I find more information on Automated Reasoning?","answer":"<p>You can find more information on Automated Reasoning on the <a href=\"https:\/\/plato.stanford.edu\/entries\/reasoning-automated\/\" target=\"_new\">Stanford Encyclopedia of Philosophy<\/a>, the <a href=\"http:\/\/aar.inf.ethz.ch\/\" target=\"_new\">Association of Automated Reasoning<\/a>, and <a href=\"https:\/\/ocw.mit.edu\/courses\/electrical-engineering-and-computer-science\/6-825-techniques-in-artificial-intelligence-sma-5504-fall-2002\/lecture-notes\/Lecture20FinalProjects.pdf\" target=\"_new\">MIT OpenCourseWare<\/a>.<\/p>"}]},"_links":{"self":[{"href":"https:\/\/oneproxy.pro\/ar\/wp-json\/wp\/v2\/wiki\/475947","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/oneproxy.pro\/ar\/wp-json\/wp\/v2\/wiki"}],"about":[{"href":"https:\/\/oneproxy.pro\/ar\/wp-json\/wp\/v2\/types\/wiki"}],"version-history":[{"count":0,"href":"https:\/\/oneproxy.pro\/ar\/wp-json\/wp\/v2\/wiki\/475947\/revisions"}],"wp:attachment":[{"href":"https:\/\/oneproxy.pro\/ar\/wp-json\/wp\/v2\/media?parent=475947"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}