YOSHIURA Noriaki
,
YONEZAKI Naoki
,
Noriaki Yoshiura
,
Naoki Yonezaki
… The formalization of human deductive reasoning is a main issue in artificial intelligence. … Although classical logic (CL) is one of the most useful ways for the formalization, the implication of CL has some fallacies. … This inference is incorrect from the viewpoint of the meaning of implication which human has. … In human deductive reasoning, when A⇾B is inferred, A and B should be related. …
J-STAGE
JSAI
References (12)