Abstract
This paper deals with a computer system supporting conceptual floor layout and reasoning about abstract spatial artefacts. The reasoning module is able to evaluate constraints which involve immaterial entities (range spaces of sensor devices). The internal data structures of the system are hypergraph-based, but the design constraints are specified as first-order logic formulae.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benedikt, M.L.: To take hold of space: isovists and isovist fields. Environment and Planning B: Planning and Design 6(1), 47–65 (1979)
Bhatt, M., Freksa, C.: Spatial computing for design: An artificial intelligence perspective. In: Visual and Spatial Reasoning for Design Creativity (SDC 2010) (2011)
Bhatt, M., Dylla, F., Hois, J.: Spatio-Terminological Inference for the Design of Ambient Environments. In: Hornsby, K.S., Claramunt, C., Denis, M., Ligozat, G. (eds.) COSIT 2009. LNCS, vol. 5756, pp. 371–391. Springer, Heidelberg (2009)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (2003)
Grabska, E., Lembas, J., Łachwa, A., Ślusarczyk, G., Grzesiak-Kopeć, K.: Hierarchical layout hypergraph operations and diagrammatic reasoning. Machine Graphics & Vision 16(1/2), 23–38 (2008)
Grabska, E., Ślusarczyk, G., Lan Le, T.: Visual design and reasoning with the use of hypergraph transformations. In: Proceedings of GT-VMT 2008. Electronic Communications of the EASST, vol. 10, pp. 305–318 (2008b)
Grabska, E., Borkowski, A., Palacz, W., Gajek, Sz.: Hypergraph system supporting design and reasoning. In: Huhnt, W. (ed.) Computing in Engineering EG-ICE Conference 2009, pp. 134–141 (2009)
Palacz, W.: Algebraic hierarchical graph transformation. JCSS 68(3), 497–520 (2004)
Yurchyshyna, A.: Modélisation du contrôle de conformité en construction: une approche ontologique. PhD thesis, Universite de Nice-Sophia Antipolis (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bhatt, M., Gajek, S., Grabska, E., Palacz, W. (2011). Artefactual Reasoning in a Hypergraph-Based CAD System. In: Burduk, R., Kurzyński, M., Woźniak, M., Żołnierek, A. (eds) Computer Recognition Systems 4. Advances in Intelligent and Soft Computing, vol 95. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20320-6_49
Download citation
DOI: https://doi.org/10.1007/978-3-642-20320-6_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20319-0
Online ISBN: 978-3-642-20320-6
eBook Packages: EngineeringEngineering (R0)