The multi-criteria optimization for the formation of the multiple-valued logic model of a robotic agent

5th International Conference of Photonics and Information Optics

Bykovsky, A. Yu^1 ; Sherbakov, A.A.^2

P.N. Lebedev Physical Institute RAS, 53 Leninskij Prosp., Moscow

119991, Russia^1

Moscow Institute of Physics and Technology, State University, 9 Institutskiy per., Dolgoprudny

141700, Russia^2

关键词: Consensus methods;    Formal representations;    Logic expressions;    Model formations;    Multicriteria optimization;    Multiple valued logic;    Robotic agents;    Undefined state;   

Others  :  https://iopscience.iop.org/article/10.1088/1742-6596/737/1/012059/pdf
DOI  :  10.1088/1742-6596/737/1/012059

来源: IOP

【 摘 要 】

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.