|
Труды СПИИРАН, 2010, выпуск 14, страницы 58–75
(Mi trspy393)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения
Т. М. Косовскаяabc a Санкт-Петербургский институт информатики и автоматизации РАН
b Санкт-Петербургский государственный университет, математико-механический факультет
c Санкт-Петербургский государственный морской технический университет
Аннотация:
Ряд задач искусственного интеллекта, включающих в себя такие задачи как распознавание образов, медицинская диагностика, анализ рынка, сведены к доказательству выполнимости формул исчисления предикатов, имеющих простую структуру. Рассмотрены некоторые алгоритмы решения этих задач и доказаны верхние оценки числа шагов этих алгоритмов.
Ключевые слова:
искусственный интеллект, исчисление предикатов, сложность алгоритмов, NP-полнота.
Поступила в редакцию: 17.12.2010
Образец цитирования:
Т. М. Косовская, “Некоторые задачи искусственного интеллекта, допускающие формализацию на языке исчисления предикатов, и оценки числа шагов их решения”, Тр. СПИИРАН, 14 (2010), 58–75
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/trspy393 https://www.mathnet.ru/rus/trspy/v14/p58
|
Статистика просмотров: |
Страница аннотации: | 321 | PDF полного текста: | 206 | Список литературы: | 45 | Первая страница: | 1 |
|