自然语言逻辑的产生与人工智能中的知识表示

Generation of natural language logic and knowledge representation of artificial intelligence

自然语言逻辑研究的是自然语言,如果从实际生活来看,自然语言逻辑研究不应该像形式逻辑那样抽象化,然而,现有的自然语言逻辑却显示了高度形式化、抽象化的特点。之所以形式化,除了使用现代逻辑的研究方法外,另一个更深层次的原因是人工智能的发展要求自然语言逻辑形式化。在形式化过程中,虽然自然语言的内涵性、模糊性和交互性等特点给形式化工作带来重重困难,但同时又丰富和发展了自然语言逻辑的理论研究。

Natural Language Logic,a study on natural language,is supposed not to be as abstract as Formal Logic from the perspective of real life. However,the present Natural Language Logic is characteristic of extreme formalization and abstraction,as a result of the development of artificial intelligence,in addition to the research method of modern logic. During the process of formalization,the connotation,fuzziness and interactivity of natural language not only bring many difficulties to our work,but also enrich and promote the research on Natural Language Logic.