Hierarchical Distributed Reasoning System for Geometric Image Generation

Nicolae Țăndăreanu, Mihaela Verona Ghindeanu, Sergiu Andrei Nicolescu

Abstract


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.

Keywords


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

Full Text:

PDF

References


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




DOI: https://doi.org/10.15837/ijccc.2009.2.2424



Copyright (c) 2017 Nicolae Țăndăreanu, Mihaela Verona Ghindeanu, Sergiu Andrei Nicolescu

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

CC-BY-NC  License for Website User

Articles published in IJCCC user license are protected by copyright.

Users can access, download, copy, translate the IJCCC articles for non-commercial purposes provided that users, but cannot redistribute, display or adapt:

  • Cite the article using an appropriate bibliographic citation: author(s), article title, journal, volume, issue, page numbers, year of publication, DOI, and the link to the definitive published version on IJCCC website;
  • Maintain the integrity of the IJCCC article;
  • Retain the copyright notices and links to these terms and conditions so it is clear to other users what can and what cannot be done with the  article;
  • Ensure that, for any content in the IJCCC article that is identified as belonging to a third party, any re-use complies with the copyright policies of that third party;
  • Any translations must prominently display the statement: "This is an unofficial translation of an article that appeared in IJCCC. Agora University  has not endorsed this translation."

This is a non commercial license where the use of published articles for commercial purposes is forbiden. 

Commercial purposes include: 

  • Copying or downloading IJCCC articles, or linking to such postings, for further redistribution, sale or licensing, for a fee;
  • Copying, downloading or posting by a site or service that incorporates advertising with such content;
  • The inclusion or incorporation of article content in other works or services (other than normal quotations with an appropriate citation) that is then available for sale or licensing, for a fee;
  • Use of IJCCC articles or article content (other than normal quotations with appropriate citation) by for-profit organizations for promotional purposes, whether for a fee or otherwise;
  • Use for the purposes of monetary reward by means of sale, resale, license, loan, transfer or other form of commercial exploitation;

    The licensor cannot revoke these freedoms as long as you follow the license terms.

[End of CC-BY-NC  License for Website User]


INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL (IJCCC), With Emphasis on the Integration of Three Technologies (C & C & C),  ISSN 1841-9836.

IJCCC was founded in 2006,  at Agora University, by  Ioan DZITAC (Editor-in-Chief),  Florin Gheorghe FILIP (Editor-in-Chief), and  Misu-Jan MANOLESCU (Managing Editor).

Ethics: This journal is a member of, and subscribes to the principles of, the Committee on Publication Ethics (COPE).

Ioan  DZITAC (Editor-in-Chief) at COPE European Seminar, Bruxelles, 2015:

IJCCC is covered/indexed/abstracted in Science Citation Index Expanded (since vol.1(S),  2006); JCR2018: IF=1.585..

IJCCC is indexed in Scopus from 2008 (CiteScore2018 = 1.56):

Nomination by Elsevier for Journal Excellence Award Romania 2015 (SNIP2014 = 1.029): Elsevier/ Scopus

IJCCC was nominated by Elsevier for Journal Excellence Award - "Scopus Awards Romania 2015" (SNIP2014 = 1.029).

IJCCC is in Top 3 of 157 Romanian journals indexed by Scopus (in all fields) and No.1 in Computer Science field by Elsevier/ Scopus.

 

 Impact Factor in JCR2018 (Clarivate Analytics/SCI Expanded/ISI Web of Science): IF=1.585 (Q3). Scopus: CiteScore2018=1.56 (Q2); Editors-in-Chief: Ioan DZITAC & Florin Gheorghe FILIP.