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
Abstract:
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".