Карта словосочетания «исчисление предикатов»

Предложения со словосочетанием «исчисление предикатов»

• Если вам нравится исчисление предикатов, то можете и далее продолжать "играть" в свои "игрушечные" задачи с 30 правилами и NP-полными алгоритмами.
  Олег Варламов, Мивары: 25 лет создания искусственного интеллекта
• Любители исчисления предикатов могут называть логический вывод в таких матрицах автоматическим конструированием алгоритмов, но суть от этого не изменится: линейная сложность и решение реальных задач с десятками тысяч правил и объектов, а также возможность параллельных решений и подключения новых возможностей: сервисов, правил, процедур, нейроподпрограмм, генетических и т.п. модулей, ГРИД-технологий, облачных вычислений, агентов и т.п. Мивары ничего не запрещают и не отвергают, а наоборот позволяют решать комплексные задачи различными методами, включая: предикатные, продукционные, нейроматематические, генетические, нечёткие, вероятностные и прочие методы работы как с полной, так и с неполной и противоречивой информацией.
  Олег Варламов, Мивары: 25 лет создания искусственного интеллекта
• До свидания, 20 век – век исчисления предикатов, реляционных и объектно-ориентированных баз данных.
  Олег Варламов, Мивары: 25 лет создания искусственного интеллекта
• (все предложения)