tailieunhanh - Báo cáo khoa học: "Some Uses of Higher-Order Logic in Computational Linguistics"

Consideration of the question of meaning in the framework of linguistics often requires an allusion to sets and other higher-order notions. The traditional approach to representing and reasoning about meaning in a computational setting has been to use knowledge representation sys 7 tems that are either based on first-order logic or that use mechanisms whose formal justifications are to be provided after the fact. In this paper we shall consider the use of a higher-order logic for this task. We first present a version of definite clauses (positive Horn clauses) that is based on this logic. Predicate and. | Some Uses of Higher-Order Logic in Computational Linguistics Dale A. Miller and Gopalan Nadathur Computer and Information Science University of Pennsylvania Philadelphia PA 19104 - 3897 Abstract Consideration of the question of meaning in the framework of linguistics often requires an allusion to sets and other higher-order notions. The traditional approach to representing and reasoning about meaning in a computational setting has been to use knowledge representation systems that are either based on first-order logic or that use mechanisms whose formal justifications are to be provided after the fact. In this paper we shall consider the use of a higher-order logic for this task. We first present a version of definite clauses positive Horn clauses that is based on this logic. Predicate and function variables may occur in such clauses and the terms in the language are the typed Ă-terms. Such term structures have a richness that may be exploited in representing meanings. We also describe a higher-order logic programming language called AProlog which represents programs as higher-order definite clauses and interprets them using a depth-first interpreter. A virtue of this language is that it is possible to write programs in it that integrate syntactic and semantic analyses into one computational paradigm. This is to be contrasted with the more common practice of using two entirely different computation paradigms such as DCGs or ATNs for parsing and frames or semantic nets for semantic processing. We illustrate such an integration in this language by considering a simple example and we claim that its use makes the task of providing formal justifications for the computations specified much more direct. 1. Introduction The representation of meaning and the use of such a representation to draw inferences is an issue of central concern in natural language understanding systems. A theoretical understanding of meaning is generally based on logic and it has been recognized that