Некоторые задач искусственного интеллекта при их формализации на языке исчисления предикатов

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

Аннотация

В рамках логико-предметного подхода решения задач искусственного интеллекта, при котором объекты описываются свойствами своих элементов и отношений между ними, рассмотрены задачи анализа сложного объекта по его описанию, построение логико-предметной самокорректирующейся сети, составление полного описания объекта средствами языка исчисления предикатов по имеющимся описаниям его фрагментов. Все эти задачи являются NP-трудными. Для уменьшения времени решения этих задач предлагается использование понятия наибольшей общей с точностью до имён переменных подформулы двух элементарных конъюнкций атомарных предикатных формул.
Язык оригиналарусский
Название основной публикацииМатериалы 9-й конференции «Информационные технологии в управлении (ИТУ – 2016).
ИздательЦНИИ «Электроприбор»
Страницы67 – 70.
СостояниеОпубликовано - 2016
Опубликовано для внешнего пользованияДа

Ключевые слова

  • искусственный интеллект
  • исчисление предикатов
  • формальные описания объектов.

Цитировать

Косовская, Т. М. (2016). Некоторые задач искусственного интеллекта при их формализации на языке исчисления предикатов. В Материалы 9-й конференции «Информационные технологии в управлении (ИТУ – 2016). (стр. 67 – 70.). ЦНИИ «Электроприбор».