A New Translation Algorithm from Lambda Calculus into Combinatory Logic

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 1995

Autores

Sabine Broda (Autor) FCUP; Luís Damas (Autor) FCUP

Ata de Conferência Internacional

Título: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings

Páginas: 359-370

Indexação

ISI Web of Knowledge

Scopus - 0 Citações

Outras Informações

ID Authenticus: P-008-WVX

DOI: 10.1007/3-540-60428-6_30

Abstract (EN): Systems of lambda calculus are of importance for most knowledge representation theories and in particular for several systems for Natural Language Processing. During the implementation of lambda systems several problems arise that are directly related to the presence of bound variables. These problems can be avoided using translations from lambda calculus into combinatory systems, which give origin to extremely simple reduction machines. In this article we present and prove the correctness of a translation algorithm, that., when compared with other systems, has quite good properties in terms of memory space as well as in terms of length of evaluations. © Springer-Verlag Berlin Heidelberg 1995.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 12