Архитектурный стиль как доказательство

Аннотация

В списке архитектурные стили перечислены довольно свободно, и одно единственное обозначение, такое как «бунгало в стиле крафтсман», смешивает понятия «что представляет собой дом» с «какую форму он имеет» и «чем он украшен». В данной статье описывается онтология, написанная на языке Prolog, которая фиксирует архитектурный характер дома по четырём отдельным осям: направление, стиль, форма и детали. Она охватывает стили, распространённые в Калифорнии, начиная с викторианского стиля и заканчивая стилями эпохи возрождения, группой стилей испанского происхождения, модернистской линией и послевоенным народным стилем. Онтология разделяет ассоциацию и импликацию. Только одно отношение — стиль, выражающий направление — допускает вывод; типичные формы, типичные детали и типичные путаницы фиксируются как доказательства, из которых ничего не выводится. Детали, наблюдаемые человеком, можно сопоставить со стилями, которые могли бы их объяснить, причем вес каждой детали рассчитывается на основе того, сколько стилей на неё претендуют, а не на основе подгонки, так что распределение доказательств можно показать и обосновать в отчёте. В статье также излагаются ограничения, не позволяющие стилевым терминам, относящимся к чему-либо, кроме дома, — таким как «качество ремесленника» или «Тюдор-Драйв», — утверждать наличие того или иного стиля, а также фиксируются известные ограничения и спорные моменты данной классификации.