27
  • Миварная сеть думает - логический искусственный интеллект

    645 views 4 years ago
    Мивар - это логический искусственный интеллект.
    Разуматор выполняет логический вывод с линейной вычислительной сложностью. У миварного разуматора нет циклов, поэтому он на обычном компьютере обрабатывает более 5 миллионов правил в секунду.
    Логический вывод на продукциях больше не полно-переборная задача (NP-полная). Формализм двудольного графа миварных сетей с явным выделением объектов из правил позволил решать задачу нахождения логического вывода с линейной вычислительной сложностью. Это частный случай решения задачи тысячелетия NP=P.
    На первом этапе берем традиционные продукционные правила в формате "Если-То" и преобразовываем их в миварную сеть (двудольный граф "объекты - правила). У каждого правила выделяют входные и выходные объекты, которые формируют единый список. Объекты изображают два раза, т.к. у каждого из них есть две разные роли: вход или выход правила (получаем два одинаковых списка, но с разными ролями). Правила образуют третий список. Потом эти два списка объектов и правил связывают в формате: "входные объекты" - "правила" - "выходные объекты".
    После формирования миварной сети на ней можно решать любые задачи, задавая входные объекты (ДАНО) и требуемые объекты (НАЙТИ). Миварный разуматор автоматически построит алгоритм решения задачи для любых наборов ДАНО и НАЙТИ.
    Искусственный интеллект будет думать на русском языке!
    Разуматор в каждый дом!
    Разуматор - это умный калькулятор на причинно-следственных связях.
    Даже в обычной человеческой жизни всегда есть место логике!
    Завтра - сейчас! Show less
    Read more
  • Uploads Play all

    • THE OLYMPICS OF THE MINDS - Duration: 3 minutes, 59 seconds.

      • 1 year ago
      • 133 views
      В Олимпиаде принимают участие три поколения логического разума, которые решают одинаковые задачи на одних и тех же исходных данных. В соревновании три этапа, сложность задач увеличивается на каждом...
    • Экспертная система "играет" ботами - Duration: 3 minutes, 58 seconds.

      • 3 years ago
      • 1,301 views
      Такие маленькие боты, а «соображают» куда ехать, а куда не ехать. Знаете почему? Потому что ими управляет логический экспертный интеллект, который следит за ними через камеру и отдает команды по Wi...
    • «Муром» учится самостоятельно прокладывать маршрут - Duration: 114 seconds.

      • 3 years ago
      • 261 views
      На базе исследовательской робототехническая платформа «Муром» специалисты компании «Мивар» проверяют и отлаживают работу системы управления, созданной на основе логического искусственного интеллект...
    • КЭСМИ 2.1 управляет группой «глупых» ботов - Duration: 2 minutes, 42 seconds.

      • 3 years ago
      • 266 views
      Даже «голый» конструктор экспертных систем КЭСМИ 2.1 способен управлять одним или группой роботов, превращая группу роботов с ничтожной вычислительной мощностью в интеллектуальный комплекс. Логичес...
    • Intelligence race - Duration: 3 minutes, 2 seconds.

      • 3 years ago
      • 118 views
      Three generations of logical intelligence are invited to start the competition. The first generation “Pyramid” is dressed in green uniform and solves logic problems by using full search. The second...
    • Гонка разумов - Duration: 3 minutes, 2 seconds.

      • 3 years ago
      • 239 views
      На старт приглашены три поколения логического разума. Первое поколение - "Пирамидка" выступает в зеленой форме и решает логические задачи полным перебором. Второе поколение - "Цилиндрик" выступает ...
    • Мварные технологии (часть 2) - Duration: 3 minutes, 5 seconds.

      • 4 years ago
      • 199 views
      Мивар - это логический искусственный интеллект.
      Человек постоянно решает различные задачи с логической составляющей. Часто для решения даже простой задачи надо сначала составить алгоритм ее решения...
    • Миварные технологии (часть 1) - Duration: 4 minutes, 10 seconds.

      • 4 years ago
      • 378 views
      Мивар - это логический искусственный интеллект.
      Человек постоянно решает различные задачи с логической составляющей. Часто для решения даже простой задачи надо сначала составить алгоритм ее решения...
    • Мост-Разуматор - Duration: 46 seconds.

      • 4 years ago
      • 98 views
    • Миварная сеть думает - логический искусственный интеллект - Duration: 39 seconds.

      • 4 years ago
      • 645 views
      Мивар - это логический искусственный интеллект.
      Разуматор выполняет логический вывод с линейной вычислительной сложностью. У миварного разуматора нет циклов, поэтому он на обычном компьютере обраб...
    This item has been hidden
  • This item has been hidden
to add this to Watch Later

Add to

Loading playlists...