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

конференция

конференцияИнформационные технологии в управлении (ИТУ – 2016)
Страна/TерриторияРоссийская Федерация
ГородСанкт-Петербург
Период4/10/166/10/16

    Области исследований

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

ID: 7591797