The multi-criteria optimization for the formation of the multiple-valued logic model of a robotic agent
Alexey Yu. Bykovsky, A A Sherbakov · Journal of Physics Conference Series · 2016
The C-valued Allen-Givone algebra is the attractive tool for modeling of a robotic agent, but it requires the consensus method of minimization for the simplification of logic expressions. This procedure substitutes some undefined states of the function for the maximal truth value, thus extending the initially given truth table. This further creates the problem of different formal representations for the same initially given function. The multi-criteria optimization is proposed for the deliberate choice of undefined states and model formation.