The operation of a machine in the “physical” environment is typically supported by arithmetic models. However, when a human is involved there might emerge non-numerical data such as logical propositions, graphs, and other. An innovation of this lab is the employment of mathematical lattice theory for modeling that includes numerical- and/or non-numerical data in human-machines interaction applications.