ABSTRACT

The chapter is a preliminary overview of a virtual tree computing logic with applications to Virtual Reality. Meta-contextual logic is combined with Morph Gentzen, a new computing logic the author presented in 1997. It has applications towards Virtual Reality (VR) computing since the trees on the languages can carry visual structures via functions. Designated functions define agents, as specific function symbols, to represent languages with only abstract definition known at syntax. The languages are called “Intelligent” in the sense that there are designated function symbols on the syntax with explicit signature annotations, for example having to have 1-1 functions only on a sub signature. Generic diagrams for models are applied for a second order lift from visual context. The techniques allowed us to define a computational linguistics and model theory for “intelligent languages,” i.e., agent augmented languages. Agent JAVA is applied to compute specific transformations for realistic designs.