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]
Hans-Jörg Kreowski,et al.
Computing Raster Images from Grid Picture Grammars
,
2003,
J. Autom. Lang. Comb..
[2]
Ioan Dzitac,et al.
Artificial Intelligence + Distributed Systems = Agents
,
2009,
Int. J. Comput. Commun. Control.
[3]
John F. Sowa,et al.
Conceptual Structures: Information Processing in Mind and Machine
,
1983
.
[5]
Galia Angelova,et al.
Conceptual Structures: Integration and Interfaces
,
2002,
Lecture Notes in Computer Science.
[6]
Shi-Kuo Chang,et al.
The analysis of two-dimensional patterns using picture processing grammars
,
1970,
STOC.
[7]
Przemyslaw Prusinkiewicz,et al.
Using L-systems for modeling the architecture and physiology of growing trees: The L-PEACH model
,
2004
.
[8]
A. Lindenmayer.
Mathematical models for cellular interactions in development. I. Filaments with one-sided inputs.
,
1968,
Journal of theoretical biology.
[9]
T. B. Boffey,et al.
Applied Graph Theory
,
1973
.
[10]
Abraham Kandel,et al.
Applied Graph Theory in Computer Vision and Pattern Recognition
,
2007
.