ARCHITECTURAL DESIGN VIA DECLARATIVE PROGRAMMING

Luís Moniz Pereira, Ruben Duarte Viegas

2007

Abstract

Problem solving by declarative theory building can be an extremely effective method for porting concepts and knowledge from the problem domain to the solution domain, by allowing the implementation of complete procedural constructs and enabling to produce sound solutions. If conveniently expressed, such a theory may be directly coded into a declarative programming language. If expressed within the paradigm of logic programming, then the theory itself represents the very procedure to obtain its desired solutions. The illustrative case study considered here is the obtention of architectural layouts from an adjacency graph: Given a list of imposed adjacencies among a set of planar rectangular spaces (represented by the graph’s nodes), the goal is to generate all permissible layouts schemas on the plane which respect the adjacencies, and to determine the minimal modular dimensions of such a set of spaces. Another aim of this article is also to show the guidelines of an effective translation of the theory constructed to solve the proposed problem in Logic Programming, making use of the combined power of two different semantics and their implementations, namely the Well Founded Semantics and the Stable Models one.

Paper Citation

in Harvard Style

Moniz Pereira L. and Duarte Viegas R. (2007). ARCHITECTURAL DESIGN VIA DECLARATIVE PROGRAMMING . In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-972-8865-89-4, pages 363-369. DOI: 10.5220/0002346503630369

in Bibtex Style

@conference{iceis07,
author={Luís Moniz Pereira and Ruben Duarte Viegas},
title={ARCHITECTURAL DESIGN VIA DECLARATIVE PROGRAMMING},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2007},
pages={363-369},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002346503630369},
isbn={978-972-8865-89-4},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - ARCHITECTURAL DESIGN VIA DECLARATIVE PROGRAMMING
SN - 978-972-8865-89-4
AU - Moniz Pereira L.
AU - Duarte Viegas R.
PY - 2007
SP - 363
EP - 369
DO - 10.5220/0002346503630369