page 1  (15 pages)
2to next section

Expanding the text here will generate a large amount of data for your browser to display

Sem?ntica Lexical em Linguagens Pseudo-Naturais de Interface

Clarisse Sieckenius de Souza1

Maria Carmelita Padua Dias2

Laura S?nchez Garc?a1

Margarida de Paula Bas?lio3

Departamento de Inform?tica ? PUC-Rio1

Departamento de Letras ? PUC-Rio2

Departamento de Ling??stica e Filologia ? UFRJ3

email: clarisse@inf.puc-rio.br

Monografias em Ci?ncia da Computa??o

Departamento de Inform?tica ? PUC-Rio

MCC 22/93

Abstract

O presente artigo apresenta uma proposta de representa??o e processamento da sem?ntica lexical de enunciados em linguagem pseudo-natural, ocorrentes no di?logo entre usu?rios e sistemas baseados em conhecimento. A proposta enquadra-se no ambiente LINX, onde as interven??es do usu?rio s?o formuladas com o apoio de menus de sele??o de palavras e o raciocinador autom?tico opera por Dedu??o Natural sobre uma base de conhecimentos em l?gica de primeira ordem. A base te?rica da abordagem desenvolvida, aplic?vel no processo de interpreta??o e gera??o de textos, s?o as Estruturas Conceituais de Jackendoff, que oferecem importantes vantagens computacionais. A proposta ? discutida em termos da distribui??o entre tratamento ling??stico e tratamento l?gico, das especificidades da no??o de sem?ntica no ambiente LINX e dos m?todos que se podem derivar para a constru??o de bases de conhecimento l?gico e dicion?rio de interface.

Abstract

This paper proposes an alternative to represent and process lexical semantic information of utterances in pseudonatural language, occurring in dialogues between users and knowledge-based systems. The proposal is presented within the framework of Project LINX, where the formulation of users utterances may be supported by menu selection, and system reasoning is supported by a Natural Deduction Theorem Prover acting upon a logic knowledge base. The theoretical approach to lexical semantics, applying to both interpretation and generation of pseudo-natural language utterances is that of Jackendoff's Conceptual Structures. It offers important computational advantages, which are discussed in terms of the distribution between linguistic processing and logic proof, of the specificity of the notion of semantics in the LINX environment, and the types of methods that can be derived for the construction of both the knowledge base and the interface vocabulary.