УДК 004.93.51

НЕКОТОРЫЕ ЗАДАЧИ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА, ДОПУСКАЮЩИЕ ФОРМАЛИЗАЦИЮ НА ЯЗЫКЕ ИСЧИСЛЕНИЯ ПРЕДИКАТОВ, И ОЦЕНКИ ЧИСЛА ШАГОВ ИХ РЕШЕНИЯ

Т.М. Косовская

Аннотация


Ряд задач искусственного интеллекта, включающих в себя такие задачи как распознавание образов, медицинская диагностика, анализ рынка, сведены к доказательству выполнимости формул исчисления предикатов, имеющих простую структуру. Рассмотрены некоторые алгоритмы решения этих задач и доказаны верхние оценки числа шагов этих алгоритмов.

Ключевые слова


искусственный интеллект, исчисление предикатов, сложность алгоритмов, NP-полнота

Полный текст:

PDF

Литература


  1. Гэри М., Джонсон Д.} Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982. 416 с
  2. Журавлёв Ю.И. Об алгебраических методах в задачах распознавания и классификации // Распознавание, классификация, прогноз. Математические методы и их применение. 1989. Вып. 1. С.9--16.
  3. ЗакревскийА.Д. Выявление импликативных закономерностей в булевом пространстве признаков и распознавание образов // Кибернетика. 1982. №1. С.1--6
  4. Клини С. Математическая логика. М.: Мир, 1973. 480с.
  5. Косовская Т.М., Тимофеев А.В. Об одном новом подходе к формированию логических решающих правил // Вестник ЛГУ. 1985. №8. С.22–-27.
  6. Косовская Т.М. Доказательства оценок числа шагов решения некоторых задач распознавания образов, имеющих логические описания // Вестник Санкт-Петербургского университета. Сер.1. 2007. Вып.4. С.82--90.
  7. Косовский Н.К. Элементы математической логики и её приложения к теории субрекурсивных алгоритмов. Л.: Изд-во ЛГУ, 1981. 192с.
  8. Маслов С.Ю. Связь между тактиками обратного метода и метода резолюций // Записки научных семинаров ЛОМИ АН СССР. 1969. Т.16. С.137--146.
  9. Нильсон Н. Искусственный интеллект. М.: Мир, 1973. 270с.
  10. Рассел С., Норвиг П. Искусственный интеллект: современный подход, 2-е изд.: Пер. с англ. М.: Издательский дом <<Вильямс>>, 2006. 1408с.
  11. Оревков В.П. Обратный метод поиска вывода [Приложение 4] // В кн. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. СПб: БХВ-Петербург, 2003. 992 с.
  12. Робинсон Дж. Машинно ориентированная логика, основанная на методе резолюций // Кибернетический сборник, новая серия. 1970. Вып.7. С.194--218.


Татьяна Матвеевна Косовская - д.ф.-м.н., доц., ст. научн. сотр. лаборатории информационных технологий в управлении и робототехнике, Санкт-Петербургский институт информатики и автоматизации РАН, доцент кафедры математики, Санкт-Петербургский морской технический университет, доцент кафедры теоретической кибернетики математико-механического факультета, Санкт-Петербургский государственный университет.
Область научных интересов: логический подход к решению задач искусственного интеллекта, теория сложности алгоритмов.
Число научных публикаций: 61.

Адрес (E-mail): kosovtm@gmail.com
Почтовый адрес: 14-я линия В.О., д. 39, Санкт-Петербург, 199178, РФ
Телефон: +7(812)328-0421




DOI: http://dx.doi.org/10.15622/sp.14.4

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.