Principles of Knowledge Representation and Reasoning · 2014 · 15 citations · 14 references
ArchitectureArchitectural DesignDesignComputer-aided DesignDesign ComputationKnowledge RepresentationArchitectural ModelingDescription LogicsDesign RepresentationDesign SemanticsKnowledge-based DesignOntology DesignAnswer Set ProgrammingConceptual KnowledgeConceptual Knowledge RepresentationConstraint Logic ProgrammingDeclarative SemanticsFunctional DesignNarrative SemanticsQualitative Spatial Reasoning
We present a cognitive design assistance system equipped with analytical capabilities aimed at anticipating architectural building design performance with respect to people-centred functional design goals. The paper focuses on the system capability to generate narratives of visuo-locomotive user experience from digital computer-aided architecture design (CAAD) models. The system is based on an underlying declarative narrative representation and computation framework pertaining to conceptual, geometric, and qualitative spatial knowledge. The semantics of the declarative narrative model, i.e., the overall representation and computation model, is founded on: (a) conceptual knowledge formalised in an OWL ontology; (b) a general spatial representation and reasoning engine implemented in constraint logic programming; and (c) a declaratively encoded (narrative) construction process (based on search over graph structures) implemented in answer-set programming. We emphasise and demonstrate: complete system implementation, scalability, and robust performance & integration with industry-scale architecture industry tools (e.g., Revit, Archi-CAD) & standards (BIM, IFC).
14
The stable model semantics for logic programming
Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations
Pellet: A practical OWL-DL reasoner
Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau et al. · Journal of Web Semantics · 2007 · 2.6K citations
A Spatial Logic based on Regions and Connection.
David Randell, Zhanfeng Cui, Anthony G. Cohn · 1992 · 1.9K citations
Computing, Geoinformatics, Geographic Information Science +11
-connections of abstract description systems
Oliver Kutz, Carsten Lutz, Frank Wolter et al. · Artificial Intelligence · 2004 · 203 citations