ã¯ããã« ç¥è証æã«é¢ããè«æã®è¨¼æ[2]ãèªãã§ããã¨ã証æã®å¥å ¨æ§ã示ãããã«ãç¥èæ½åºæ©ã(Knowledge Extractor)ãªãã¢ã«ã´ãªãºã ã®åå¨ã示ããã¨ãããã¨ãããã¾ãã ç¥èæ½åºæ©ãåå¨ããããããªãã¡ç¥èæ½åºå¯è½ã§ãããã©ãã(Knowledge Extractability; KE; ç¥èæ½åºå¯è½æ§)ã¨ã証æã®å¥å ¨æ§ã¨ããã®ã¯ãã¾ãé¢é£ããªããããã¯ã®ããã«æãã¾ãã [1] ã®åçã§ããã®é¢ä¿ã«ã¤ãã¦æå¿«ã«èª¬æãã¦ãããã®ããã£ãããç´¹ä»ãã¾ãã å®ç¾© çµ±è¨çå¥å ¨æ§ã示ãããã®ç¥èæ½åºæ©ã¯ä»¥ä¸ã®ãããªæèã§ç»å ´ããã[1]ããå¼ç¨ã å ·ä½çã«ã¯ã証æè ã¢ã«ã´ãªãºã ãåºå®ãã¦æ§ã ãªå ¥åãä¸ãããã®åºåãç¨ãã¦ç¥èæ½åºãè¡ãæ§æã«ãªã£ã¦ããã ï¼ãªããã¼ãç¥è証æã®å ´åã«ã¯æ¤è¨¼è ã¢ã«ã´ãªãºã ã¨ããã¨ãããéã«ç¥èæ½åºãã§ãã¦ãã¾ã£ã¦ã¯å°ãã®ã§ãå®è¡ã®ãã³ã«ç°ãªãä¹±æ°
{{#tags}}- {{label}}
{{/tags}}