The theory of logics provides an effective tool for the development of Artificial Intelligence(AI).

• 逻辑学的理论为人工智能的发展提供了有力的工具。