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

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.