Formal Methods for Multi Modal UI for Robotics

Abstract

A formal system of mathematics the dog-ears, is introduced to describe javascript or object notation, sensor event and action event with state modelling in the framework of DPA for a smart home and work robotics . It is assumed that a multi modal interface can be developed similar to AWS APL for this purpose. The RAVA natural programming language is introduced, which simplifies coding by eliminating the need for syntax.