附录三 从人工智能看当代逻辑学的发展119