Artefactual Reasoning in a Hypergraph-Based CAD System

  • Mehul Bhatt
  • Szymon Gajek
  • Ewa Grabska
  • Wojciech Palacz
Part of the Advances in Intelligent and Soft Computing book series (AINSC, volume 95)


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.


Graph Model Design Constraint Logic Formula Range Space Reasoning Module 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Benedikt, M.L.: To take hold of space: isovists and isovist fields. Environment and Planning B: Planning and Design 6(1), 47–65 (1979)CrossRefGoogle Scholar
  2. 2.
    Bhatt, M., Freksa, C.: Spatial computing for design: An artificial intelligence perspective. In: Visual and Spatial Reasoning for Design Creativity (SDC 2010) (2011)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (2003)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Palacz, W.: Algebraic hierarchical graph transformation. JCSS 68(3), 497–520 (2004)zbMATHMathSciNetGoogle Scholar
  9. 9.
    Yurchyshyna, A.: Modélisation du contrôle de conformité en construction: une approche ontologique. PhD thesis, Universite de Nice-Sophia Antipolis (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Mehul Bhatt
    • 1
  • Szymon Gajek
    • 2
  • Ewa Grabska
    • 2
  • Wojciech Palacz
    • 2
  1. 1.SFB/TR 8 Spatial CognitionUniversity of BremenGermany
  2. 2.Faculty of Physics, Astronomy and Applied Computer ScienceJagiellonian UniversityCracowPoland

Personalised recommendations