Formalization and meaning of the architectural project (2008-...)

This follow-up project has two main aims:

1) to integrate the tools and techniques developed in the initial project into a common extensible and open architectural project environment;

2) to develop new theoretical results to deal with important issues such as flexible constraint resolution, open and closed world reasoning, combining spatial reasoning and inference rules, or finding new relations between architectural co-variants.

The architectural project environment will be built around a common knowledge base that represents general architectural knowledge, knowledge relative to a particular style, and factual knowledge about the current pro ject. Some part of the knowledge will also be stored as inference rules and algorithms.

A computational layer will provide reasoning services such as subsumption and instance checking, abduction, rule evaluation, etc. , together with project-oriented services : shape generation, constraint resolution, semantic classification.

The user interface will be comprised of a logical editor (to work on the ontological part of the knowledge base) and an interactive drawing tool (AllWright).

This tool will enable a designer to create and update the components (syntax) of a pro ject and to invoke computational services to reason about the current project or propose solutions to specific problems.

Mulitdisciplinary SNF funded project (computing science, architecture, mathematics)


1st application: Pierre Pellegrino, Gilles Falquet, Daniel Coray

2nd application: Gilles Falquet, Daniel Coray, Pierre Pellegrino

PhD candidat: Mathieu Vonlanthen

Duration: 17 months, 24 months

Type: FNS