Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта
Аннотация
Рассматривается метод поиска логического вывода с предварительной настройкой на конкретные базы знаний. Для настройки используется абстракция и формально-грамматическая интерпретация проблемы дедукции. Метод позволяет улучшить эффективность поиска логического вывода.Литература
Анисимова И. Н. Формально-грамматическая модель логического вывода в системах искусственного интеллекта. Диссертация на соискание ученой степени кандидата физ.- мат. наук. — СПб., 1999. — 143 с.
Анисимова И. Н., Братчиков И. Л. Формально-грамматическая модель метода резолюций для исчисления высказываний // Вестник СПбГУ. Сер. 1. Математика. Механика. Астрономия. Вып. 3 (№ 15), 1996 — c. 3−7.
Анисимова И. Н., Братчиков И. Л. Двухэтапный алгоритм логического вывода в ЭОС // Труды Международного семинара "Искусственный интеллект в образовании" — Казань, 1996. — c. 16−19.
Анисимова И. Н., Братчиков И. Л. "Эффективный метод построения логических выводов в стационарных базах знаний // Ученые записки. Ленинградский областной гос. Ун-т. Сер. "Математика и информатика". т. 1. — СПб., 1998. — c. 12−16.
Братчиков И. Л. Формально-грамматическая интерпретация метода резолюций // Процессы управления и устойчивость. Труды XXIX научной конференции. СПб.: СПбГУ, Факультет прикладной математики – процессов управления, 1998 — c. 197−202.
Братчиков И. Л., Калинина Т. В. Абстракционные модели построения логического вывода // Процессы управления и устойчивость. Труды XXXI научной конференции. СПб.: СПбГУ, Факультет прикладной математики – процессов управления, 2000 — с. 281−286.
Буланов А. А., Калинина Т. В. Реализация метода поиска вывода в исчислении высказываний с предварительной настройкой // Процессы управления и устойчивость. Труды XXIX научной конференции. СПб.: СПбГУ, Факультет прикладной математики – процессов управления, 1998 — с. 203−208.
ред.Д.А.Поспелов Искусственный интеллект. Справочник. — Кн.2. Модели и методы // М.: Радио и связь, 1990. — 303 с.
Тейз А., Грибомон П. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию. — М.: Мир, 1990. — 432 с.
Лорьер Ж.-Л. Системы искусственного интеллекта. — М.: Мир, 1991. — 568 с.
Клещев А. С. Реализация экспертных систем на основе декларативных моделей представления знаний.: Препринт ДВО АН СССР. — Владивосток, 1988. — 45 с.
Eisinger N., Ohlbach H. J., Präcklein A. Reduction Rules for Resolution Based Systems // Artificial Intelligence, vol. 50, no. 2, 1991. p. 141–181.
Kerber M., Präcklein A. Using Tactics to Reformulate Formulae for Resolution Theorem Proving // Annals of Mathematics and Artificial Intelligence, vol. 18, 1996. p. 221–241.
Plaisted D. A. Theorem Proving with Abstraction // Artificial Intelligence. vol. 16, no. 1. 1981. — p. 47−108.
Анисимова И. Н., Братчиков И. Л. Формально-грамматическая модель метода резолюций для исчисления высказываний // Вестник СПбГУ. Сер. 1. Математика. Механика. Астрономия. Вып. 3 (№ 15), 1996 — c. 3−7.
Анисимова И. Н., Братчиков И. Л. Двухэтапный алгоритм логического вывода в ЭОС // Труды Международного семинара "Искусственный интеллект в образовании" — Казань, 1996. — c. 16−19.
Анисимова И. Н., Братчиков И. Л. "Эффективный метод построения логических выводов в стационарных базах знаний // Ученые записки. Ленинградский областной гос. Ун-т. Сер. "Математика и информатика". т. 1. — СПб., 1998. — c. 12−16.
Братчиков И. Л. Формально-грамматическая интерпретация метода резолюций // Процессы управления и устойчивость. Труды XXIX научной конференции. СПб.: СПбГУ, Факультет прикладной математики – процессов управления, 1998 — c. 197−202.
Братчиков И. Л., Калинина Т. В. Абстракционные модели построения логического вывода // Процессы управления и устойчивость. Труды XXXI научной конференции. СПб.: СПбГУ, Факультет прикладной математики – процессов управления, 2000 — с. 281−286.
Буланов А. А., Калинина Т. В. Реализация метода поиска вывода в исчислении высказываний с предварительной настройкой // Процессы управления и устойчивость. Труды XXIX научной конференции. СПб.: СПбГУ, Факультет прикладной математики – процессов управления, 1998 — с. 203−208.
ред.Д.А.Поспелов Искусственный интеллект. Справочник. — Кн.2. Модели и методы // М.: Радио и связь, 1990. — 303 с.
Тейз А., Грибомон П. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию. — М.: Мир, 1990. — 432 с.
Лорьер Ж.-Л. Системы искусственного интеллекта. — М.: Мир, 1991. — 568 с.
Клещев А. С. Реализация экспертных систем на основе декларативных моделей представления знаний.: Препринт ДВО АН СССР. — Владивосток, 1988. — 45 с.
Eisinger N., Ohlbach H. J., Präcklein A. Reduction Rules for Resolution Based Systems // Artificial Intelligence, vol. 50, no. 2, 1991. p. 141–181.
Kerber M., Präcklein A. Using Tactics to Reformulate Formulae for Resolution Theorem Proving // Annals of Mathematics and Artificial Intelligence, vol. 18, 1996. p. 221–241.
Plaisted D. A. Theorem Proving with Abstraction // Artificial Intelligence. vol. 16, no. 1. 1981. — p. 47−108.
Опубликован
2002-04-01
Как цитировать
Братчиков,. (2002). Применение метода абстракций для поиска логического вывода в системах искусственного интеллекта. Труды СПИИРАН, 2(1), 253-262. https://doi.org/10.15622/sp.1.18
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
