SOLVING LINEAR CONSTRAINTS ON FINITE DOMAINS THROUGH PARSING

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

Autores

FILGUEIRAS, M (Autor) FCUP; TOMAS, AP (Autor) FCUP

Ata de Conferência Internacional

Título: EPIA 91

Páginas: 1-16

5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE

ALBUFEIRA, PORTUGAL, OCT 01-03, 1991

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 0 Citações

Outras Informações

ID Authenticus: P-001-R38

DOI: 10.1007/3-540-54535-2_21

Abstract (EN): In this paper we present results from ongoing research which allows the use of parsing methods to solve a particular kind of constraints, namely linear constraints on finite domains. Solving this kind of constraints is equivalent to solving systems of linear Diophantine equations on a finite subset of the naturals. We associate, to such a system, a definite-clause grammar that can be used to enumerate its solutions, and define a class of grammars, the connected grammars, for which the set of successful derivations covers the set of non-negative solutions of the associated system. This definition is based on a study of cycles in context-free grammars using compiler construction concepts and techniques. © Springer-Verlag Berlin Heidelberg 1991.

Idioma: Inglês

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

Nº de páginas: 16