Mulitagent Flight Control and Virtual Navigation

Proceedings of the International Conference on Human-Computer Interaction in Aeronautics

Volume

Proceedings of the International Conference on Human-Computer Interaction in Aeronautics

Contents

Multiagent visual computing techniques are applied to design autonomous flig ht control and spacecraft navigation. The basic technique introduced in (Nourani1995) is that of viewing the world as many possible worlds with agents at each world that compliment one another in problem solving by cooperating. The double vision computing paradigm with objects and agents might be depicted by the following figure. The cooperative problem solving paradigms have been applied ever since the AI methods put forth by Hays-Roth. However, the muliagent multiboard techniques due to the author (Nourani1995). The techniques to be presented are to be applied to Mobile Multimedia. Communication and computation by multimedia visual-object languages can be programmed with IM with a simple syntax. The techniques to be presented are to be applied for (a) Precomputed video-object composition and combination for spatial morph Gentzen computing with visual objects (b) High speed visual spacecraft navigation with multiagent multimedia. The Morph Gentzen Computing Logic for computing for multimedia is new projects with important computing applications since (Genesereth and Nilsson 1987) The basic principles are a mathematical logic where a Gentzen (Gentzen et al.1943) or natural deduction systems are defined by taking arbitrary structures and multimedia objects coded by diagram functions. Multimedia objects are viewed as syntactic objects defined by functions, to which the deductive system is applied. The deduction rules are a Gentzen system augmented by Morphing, and Transmorphing on events {p1,p2,...,pn} with a consequent hybrid picture p. Thus the combination is an impetus event. The deductive theory is a Gentzen system in which hybrid pictures are named by parameterized functions; augmented with the morph rules. A soundness and completeness theorem has been put forth in the author’s papers on Morph Gentzen, which is applied to visual multiagent flight control and planning.