Февраль 13

Максим Криппа: “Прорыв в области искусственного интеллекта наступит уже завтра”

Логика используется для представления знаний и решения проблем, но может быть применена и к другим проблемам. Например, алгоритм satplan использует логику для планирования, а индуктивное логическое программирование — это метод обучения.

В исследованиях ИИ используются несколько различных форм логики. Пропозициональная или условная логика — это логика утверждений, которые могут быть истинными или ложными. Логика первого порядка также позволяет использовать кванторы и предикаты и может выражать факты об объектах, их свойствах и их отношениях друг с другом. Нечеткая логика — это версия логики первого порядка, которая позволяет представить истину оператора как значение от 0 до 1, а не просто True (1) или False (0). Нечеткие системы могут использоваться для неопределенных рассуждений и широко используются в современных системах управления промышленными и потребительскими товарами. Субъективная логика Моделирует неопределенность в другом и более явном виде, чем нечеткая логика: данное биномиальное мнение удовлетворяет вере + недоверие + неопределенность = 1 в бета-распределении. По этому методу невежество можно отличить от вероятностных утверждений, которые агент делает с высокой степенью уверенности. Подробнее о Максиме Криппе Источник : https://antikor.com.ua/articles/215216-maksim_krippa_proryv_v_oblasti_iskusstvennogo_intellekta_nastupit_uhe_zavtra

Логики по умолчанию, немонотонные логики и ограничения являются формами логики, призванными помочь в определении аргументации и проблеме квалификации. Несколько расширений логики были разработаны для обработки определенных областей знаний, таких как: логика описания; исчисление исчисления, исчисление событий и свободное исчисление (для представления событий и времени); причинное исчисление; исчисление убеждений; и модальные логики.



Copyright 2017. Все права защищены.

Опубликовано 13.02.2018 admin в категории "Культурная жизнь