Hierarchical Distributed Reasoning System for Geometric Image Generation
AbstractThe concept of hierarchical reasoning system was introduced in , 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.
 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
 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.
 Priss U., Corbett D., Angelova G. (Eds.) (2002) Conceptual Structures: Integration and Interfaces, 10th Int. Conf. on Conceptual Structures, ICCS 2002
 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
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
ONLINE OPEN ACCES: Acces to full text of each article and each issue are allowed for free in respect of Attribution-NonCommercial 4.0 International (CC BY-NC 4.0.
You are free to:
-Share: copy and redistribute the material in any medium or format;
-Adapt: remix, transform, and build upon the material.
The licensor cannot revoke these freedoms as long as you follow the license terms.
DISCLAIMER: The author(s) of each article appearing in International Journal of Computers Communications & Control is/are solely responsible for the content thereof; the publication of an article shall not constitute or be deemed to constitute any representation by the Editors or Agora University Press that the data presented therein are original, correct or sufficient to support the conclusions reached or that the experiment design or methodology is adequate.