WALLMAN COMPACTIFICATION AND SOBER SPACES
Karim Belaïd, M. Al-Roumaih · International Electronic Journal of Pure and Applied Mathematics · 2013
Linguistics knowledge representation and its relation to context abstraction are presented in brief.Nourani (e.g.Nourani 1999a) has put forth new visual computing techniques for intelligent multimedia context abstraction with linguistics components.In the present paper we also instantiate proof tree leaves with free Skolemized trees.Thus virtual trees, at times like intelligent trees, are substituted for the leaves.By a virtual tree we mean a term made up of constant symbols and named but not always prespecified Skolem function terms.In virtual planning with generic diagrams that part of the plan that involves free Skolemized trees is carried along with the proof tree for a plan goal.We can apply predictive model diagrams to compute queries and discover data knowledge from observed data and visual object images keyed with diagram functions.Model-based computing can be applied to automated data and knowledge engineering with keyed diagrams.Specific computations can be carried out with predictive model diagrams.For cognition, planning, and learning the robot's mind, a diagram grid can define state.The starting space applicable project was meant for an autonomous robots space journeys.