Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research
Применение неполной выводимости в исчислении предикатов для решения ряда задач Искусственного Интеллекта. / Косовская, Т.М.
Дискретные модели в теории управляющих систем: IX Международная конференция: Труды. М : МАКС Пресс, 2015. p. 121-123.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research
}
TY - GEN
T1 - Применение неполной выводимости в исчислении предикатов для решения ряда задач Искусственного Интеллекта
AU - Косовская, Т.М.
PY - 2015
Y1 - 2015
N2 - В рамках логико-предметного подхода к решению задач искусственного интеллекта рассматриваются задачи распознавания объектов с неполной информацией, выделения информативных обобщённых признаков и создание метрики для объектов, описанных на языке исчисления предикатов. Решение этих задач базируется на понятии неполной выводимости формул в исчислении предикатов.
AB - В рамках логико-предметного подхода к решению задач искусственного интеллекта рассматриваются задачи распознавания объектов с неполной информацией, выделения информативных обобщённых признаков и создание метрики для объектов, описанных на языке исчисления предикатов. Решение этих задач базируется на понятии неполной выводимости формул в исчислении предикатов.
UR - https://elibrary.ru/item.asp?id=23678407&pff=1
M3 - статья в сборнике материалов конференции
SN - 978-5-317-04970-6
SP - 121
EP - 123
BT - Дискретные модели в теории управляющих систем: IX Международная конференция
PB - МАКС Пресс
CY - М
T2 - Дискретные модели в теории управляющих систем
Y2 - 20 May 2015 through 22 May 2015
ER -
ID: 4726738