SOLVING LINEAR CONSTRAINTS ON FINITE DOMAINS THROUGH PARSING

• Type: Article in International Conference Proceedings Book
• Date: 1991

Authors

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

Conference proceedings International

Title: EPIA 91

Pages: 1-16

5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE

ALBUFEIRA, PORTUGAL, OCT 01-03, 1991

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 0 Citations

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 16