Understanding natural language frequently requires determining co-reference of diierent descriptions of the same action or object. Schema-based reasoning is a well-established technology for natural language understanding ; existing systems, however, do not cope with this problem in a suuciently general way. In this paper, we propose to address this de-ciency by augmenting a schema-based rea-so...

Reasoning with terminological logics is a subbeld in the area of knowledge representation that evolved from the representation language kl-one. Its main purpose is to automatically determine the location of a a new concept description (or object description) in a partially ordered set of given concepts. It seems to be a promising approach to apply the techniques developed in this area to the de...

In this article an abstract interpretation and formal language based analysis for imperative programs is presented. This analysis makes a lower approximation of the equality relations for the program terms, i.e. for a given program point our analysis produces a set of equalities t1 = t2 where t1 and t2 represent program expressions such that their values are equal for any behavior of the progra...

Language engineering implenicnts functions of a language and inforillation via computers. '['he need for language engineering plattbrms has been generally recognized and several researches are being undertaken around the worhl. Our goal is to establish Korean inforn-iation platform of linguistic resources and tools for Korean language and information colnumnities. The platform will support rese...

This article discusses speech production in dialogue from the perspective of natural language generation focusing on the selec tion of appropriate intonation We argue that in order to assign ap propriate intonation contours in speech producing systems it is vital to acknowledge the diversity of functions that intonation ful lls and to account for communicative and immediate contexts as major fa...

In this paper we present memory-based learning (mbl) as a psychologically plausible model of natural language processing. Mbl shows a state-of-the-art performance on real-world language tasks, such as word pronunciation , word sense disambiguation and parsing. We compare mbl to a neural network model, SardSrn (May-berry & Miikkulainen, 1999) on a parsing task, and we show that mbl has a better ...

The process of understanding spoken language re quires the e cient processing of ambiguities that arise by the nature of speech This paper presents an ap proach that allows the e cient incremental integra tion of speech recognition and language understand ing using Tomita s generalized LR parsing algorithm For this purpose the GLR lattice parsing algorithm is revised so that an agenda mechanism...

For many real-time applications, parallel computers ooer a natural computing platform. However, very little attention has been paid to software support for real-time embedded systems on parallel machines. This paper addresses the problem of formal software speciica-tion for parallel real-time systems, and presents some features of a formal speciication language { PRET-SEL (Parallel REal-Time Sp...