摘要
逻辑文法是指用谓词逻辑来表达的文法。它属于计算语言学的范畴,是逻辑程序设计和现代语言学相结合的产物。在人工智能的自然语言处理等领域里,谓词逻辑通常用来描述知识和逻辑推理。70年代,逻辑用于程序设计的思想以Prolog语言的形式投入应用以来,谓词逻辑不再仅仅用于描述这些问题,还作为逻辑程序设计的工具去描述解决问题的过程。
Logic grammars is a new subject developed abroad recently. The base is modern linguistics, the tool is logic programming language (i. e Prolog) and the goal is to solve the problems of linguistics in natural language processing. It has the characteristics of being simple, expressive and easy to imPlement, whick make it find extensive application in the fields of natural language processing, and so on. This paper introduces logic grammars such as DCG, XG, MSG, RLG and the like.
出处
《计算机科学》
CSCD
北大核心
1989年第4期25-31,共7页
Computer Science