Standard

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

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

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

Harvard

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

APA

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

Vancouver

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

Author

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

BibTeX

@inproceedings{90a7b71a21674c40ba0cb03eb91a06f7,
title = "Некоторые задач искусственного интеллекта при их формализации на языке исчисления предикатов",
abstract = "В рамках логико-предметного подхода решения задач искусственного интеллекта, при котором объекты описываются свойствами своих элементов и отношений между ними, рассмотрены задачи анализа сложного объекта по его описанию, построение логико-предметной самокорректирующейся сети, составление полного описания объекта средствами языка исчисления предикатов по имеющимся описаниям его фрагментов. Все эти задачи являются NP-трудными. Для уменьшения времени решения этих задач предлагается использование понятия наибольшей общей с точностью до имён переменных подформулы двух элементарных конъюнкций атомарных предикатных формул.",
keywords = "искусственный интеллект, исчисление предикатов, формальные описания объектов.",
author = "Т.М. Косовская",
year = "2016",
language = "русский",
isbn = "978-5-91995-041-7",
pages = "67–70",
booktitle = "Информационные технологии в управлении (ИТУ – 2016)",
publisher = "ЦНИИ «Электроприбор»",
address = "Российская Федерация",
note = "Информационные технологии в управлении (ИТУ – 2016) : 9-я конференция по проблемам управления ; Conference date: 04-10-2016 Through 06-10-2016",

}

RIS

TY - GEN

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

AU - Косовская, Т.М.

PY - 2016

Y1 - 2016

N2 - В рамках логико-предметного подхода решения задач искусственного интеллекта, при котором объекты описываются свойствами своих элементов и отношений между ними, рассмотрены задачи анализа сложного объекта по его описанию, построение логико-предметной самокорректирующейся сети, составление полного описания объекта средствами языка исчисления предикатов по имеющимся описаниям его фрагментов. Все эти задачи являются NP-трудными. Для уменьшения времени решения этих задач предлагается использование понятия наибольшей общей с точностью до имён переменных подформулы двух элементарных конъюнкций атомарных предикатных формул.

AB - В рамках логико-предметного подхода решения задач искусственного интеллекта, при котором объекты описываются свойствами своих элементов и отношений между ними, рассмотрены задачи анализа сложного объекта по его описанию, построение логико-предметной самокорректирующейся сети, составление полного описания объекта средствами языка исчисления предикатов по имеющимся описаниям его фрагментов. Все эти задачи являются NP-трудными. Для уменьшения времени решения этих задач предлагается использование понятия наибольшей общей с точностью до имён переменных подформулы двух элементарных конъюнкций атомарных предикатных формул.

KW - искусственный интеллект

KW - исчисление предикатов

KW - формальные описания объектов.

UR - https://www.elibrary.ru/item.asp?id=27559603&pff=1

M3 - статья в сборнике материалов конференции

SN - 978-5-91995-041-7

SP - 67

EP - 70

BT - Информационные технологии в управлении (ИТУ – 2016)

PB - ЦНИИ «Электроприбор»

T2 - Информационные технологии в управлении (ИТУ – 2016)

Y2 - 4 October 2016 through 6 October 2016

ER -

ID: 7591797