AI(Artificial Intelligence)への道程 : 論理学的観点から