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


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.


[1] 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

[2] 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

[3] 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

[4] 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

[5] 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

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

[7] Lindenmayer A. (1968) Mathematical models for cellular interaction in development, Parts I and II, Journal of Theoretical Biology (18), p. 280-315.

[8] Priss U., Corbett D., Angelova G. (Eds.) (2002) Conceptual Structures: Integration and Interfaces, 10th Int. Conf. on Conceptual Structures, ICCS 2002

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

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

[11] Ță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

[12] Ță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

[13] Ță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

[14] 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
How to Cite
ȚĂNDĂREANU, Nicolae; GHINDEANU, Mihaela Verona; NICOLESCU, Sergiu Andrei. Hierarchical Distributed Reasoning System for Geometric Image Generation. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, [S.l.], v. 4, n. 2, p. 167-177, june 2009. ISSN 1841-9844. Available at: <http://univagora.ro/jour/index.php/ijccc/article/view/2424>. Date accessed: 06 aug. 2020. doi: https://doi.org/10.15837/ijccc.2009.2.2424.


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