The ARC Project: Reasoning about Representations of Gothic Cathedrals with Artificial Intelligence

Abstract

The Architecture Represented Computationally (ARC) project analyzes documents that describe Gothic cathedrals. It researches how these descriptions can be translated from a natural language into a formal logical model - a representation that a computer can handle. Handling representations of architecture is not straightforward and requires expertise involving logical reasoning. ARC implements this expertise in Prolog. The project aims to create a system that can understand descriptions composed in a natural language and eventually in a later phase reproduce them in 3D.