Hierarchical Distributed Reasoning System for Geometric Image Generation


  • Nicolae Èšăndăreanu University of Craiova, Romania Department of Mathematics and Computer Science A.I. Cuza St, No. 13, 200585
  • Mihaela Verona Ghindeanu University of Craiova, Romania Department of Mathematics and Computer Science A.I. Cuza St, No. 13, 200585
  • Sergiu Andrei Nicolescu University of Craiova, Romania Department of Mathematics and Computer Science A.I. Cuza St, No. 13, 200585 E-mail: ntand@rdslink.ro, mghindeanu@yahoo.com


semantic schema, interpretation, hyper-schema, distributed reasoning system, geometrical image generation


The concept of hierarchical reasoning system was introduced in [5], where an intuitive method to build such systems based on their inputs is given. In this paper we formalize several concepts which open a possible research line concerning the use of these structures. A hierarchical reasoning system H is a directed graph organized on several levels such that each node of the level j is a hyper-schema of order j. As a mathematical structure, H is an abstract one and a special kind of formal computation is introduced. As a result of this computation we obtain a set F(H) of formulas. We explain what we understand by an interpretation of H and define its corresponding semantical computation. By means of an interpretation I(H) for H and applying the rules of the semantical computation, each element of w in F(H) becomes some object I(w) of a given space. We exemplify these concepts and we show that for two distinct interpretations I1(H) and I2(H) for the same system H, a given formula w in F(H) is transformed into a sentence I1(w) of a natural language whereas I2(w) is a geometric image. A short description of a Java implementation of a hierarchical system generating images is also given in a separate section. By examples we show that the mechanism introduced in this paper allows us to model the distributed knowledge. Finally several open problems are specified.


Allen M., Prusinkiewicz P., DeJong T. (2004) Systems for Modeling the Architecture and Physiology of Growing Trees: The L-PEACH Model, Proceedings of the 4thInternational Workshop on Functional-Structural Plant Models, pp. 220-225

Chang Shi-Kuo (1970) The analysis of two-dimensional patterns using picture processing grammars, Annual ACM Symposium on Theory of Computing archive, Proceedings of the second annual ACM symposium on Theory of computing, p. 206-216 http://dx.doi.org/10.1145/800161.805166

Drewes F., Ewert S., Klempien-Hinrichs R., Kreowsky H.J. (2003) Computing raster images from grid picture grammars, Journal of Automata, Languages and Combinatorics, Vol.8, Issue 3, p. 499-519

Dzitac I., Bărbat B. E. (2009) Artificial Intelligence + Distributed Systems = Agents, Int. J. of Computers, Communications & Control, ISSN 1841-9836, E-ISSN 1841-9844, vol. IV, no. 1, pp. 17-26

Ghindeanu M. (2008) Constructing Architectures for an Hierarchical Distributed Reasoning System Based on its Inputs, International Multi-Conference on Engineering and Technological Innovation, USA, p. 231-234

Kandel A., Bunke H., Last M. (eds) (2007) Applied Graph Theory in Computer Vision and Pattern Recognition, Springer, Studies in Computational Intelligence 52

Lindenmayer A. (1968) Mathematical models for cellular interaction in development, Parts I and II, Journal of Theoretical Biology (18), p. 280-315. http://dx.doi.org/10.1016/0022-5193(68)90079-9

Priss U., Corbett D., Angelova G. (Eds.) (2002) Conceptual Structures: Integration and Interfaces, 10th Int. Conf. on Conceptual Structures, ICCS 2002 http://dx.doi.org/10.1007/3-540-45483-7

Sharp D. (1998) LMUSe version 0.7b, http://www.geocities.com/Athens/Academy/8764/ lmuse/lmusetxt. html

Sowa J.F. (1984) Conceptual structures- Information Processing in Mind and Machine, Addison- Wesley

Țăndăreau N. (2004). Semantic schemas and applications in logical representation of knowledge, Proceedings of the 10th International Conference on Cybernetics and Information Technologies, Systems and Applications, USA, Vol.III, p. 82-87

Țăndăreau N., Ghindeanu M. (2008) Hierarchical Semantic Structures Applied in Automatic Image Generation, Proceedings of 11th IASTED International Conference on Intelligent Systems and Control, ISBN: 978-0-88986-777-2

Țăndăreau N., Ghindeanu M. (2008) Path-based Reasoning in Semantic Schemas, Annals of University of Craiova, Mathematics and Computer Science Series, Vol.35, p.171-181

Zu Song-Chun, Mumford D. (2006) A stochastic grammar of images, Foundations and Trends in Computer Graphics and Vision, Vol. 2, Issue 4, p. 259-362



Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.