Authors:
Luís Moniz Pereira
and
Ruben Duarte Viegas
Affiliation:
Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Portugal
Keyword(s):
Architectural design, declarative design support system, solution generation by constraint solving, logic programming for design.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence and Decision Support Systems
;
Enterprise Information Systems
;
Verification and Validation of Knowledge-Based Systems
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 transl
ation 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.
(More)