Никола Леоне | |
---|---|
| |
Дата рождения | 28 февраля 1963 (61 год) |
Место рождения | Диаманте, Италия |
Страна | Италия |
Род деятельности | исследователь |
Научная сфера | Искусственный интеллект, Представление знаний |
Место работы | Ректор Университета Калабрии |
Альма-матер | |
Сайт | unical.it/portale/ateneo… |
Нико́ла Лео́не (итал. Nicola Leone, род. 28 февраля 1963, Диаманте) — итальянский ученый-информатик, исследователь искусственного интеллекта. Ректор Университета Калабрии с 1 ноября 2019 года, профессор информатики[1][2]. Ранее был профессором в Венском техническом университете[3].
Леоне опубликовал более 250 научных статей в области искусственного интеллекта, представления знаний, а также теории баз данных[4].
В области искусственного интеллекта и представления знаний Леоне наиболее известен своей ранней работой по программированию наборов ответов (ASP) и разработкой DLV[англ.], новаторской системы представления знаний и рассуждений, которая была самой первой успешной попыткой полностью поддерживать дизъюнкцию в языке журнала данных, достигая возможности вычислять задачи высокой сложности, вплоть до NP.
В области теории баз данных он внес свой вклад в основном благодаря изобретению декомпозиции гипердерева, основы для получения управляемых структурных классов конъюнктивных запросов и обобщения понятия декомпозиции дерева из теории графов . Эта работа также оказала существенное влияние на искусственный интеллект, поскольку известно, что проблема оценки конъюнктивных запросов в реляционных базах данных эквивалентна проблеме удовлетворения ограничений[5].