About the possibility of creating decision-making systems for autonomous robots on the basis of mivar expert systems processing more than 1 mln production rules / s

To create autonomous robots decision-making systems at the logical level of artificial intelligence are needed, which will make decisions based on logical inference. Until 2002 logical conclusion was considered NP-complete, which prohibited the creation of expert systems (ES) and decision support systems (DSS) for real problems and robots. Mivar technologies of evolutionary accumulation and fast logical processing of information due to the linear computational complexity of logical inference and automatic construction of algorithms allowed to remove the fundamental limitation of NP-completeness of logical inference. In MIIVARRI and at the department of IU-5 in BMSTU "KESMI (Razumator)" on a laptop processing 5 million rules/s and included in the Register of Russian software is used to create a qualitatively new level of decision-making systems "RoboRazum".