Discrete K-valued Logic for Multi-parametrical Modeling of a Robotic Agent

Abstract

K-valued Allen-Givone algebra is potentially a good tool for multi-parametric modeling of robotic and multi-agent systems, because a multiple-valued truth table can be directly applied for the accumulation of expert knowledge and the reconstruction of switching functions. The computational cost for their minimization will limit the real information capacity of such a model.