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 ﬂexible constraint resolution, open and closed world reasoning, combining spatial reasoning and inference rules, or ﬁnding 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 classiﬁcation.
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 speciﬁc problems.
Mulitdisciplinary SNF funded project (computing science, architecture, mathematics)
2nd application: Gilles Falquet, Daniel Coray, Pierre Pellegrino
PhD candidat: Mathieu Vonlanthen
Duration: 17 months, 24 months