Автоматика и телемеханика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Автомат. и телемех.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Автоматика и телемеханика, 2001, выпуск 10, страницы 91–102 (Mi at2384)  
Интеллектуальные системы

Быстрый алгоритм распознавания следствий для монадических логических программ

М. И. Краткоa, Г. С. Плесневичb

a Волынский государственный университет, г. Луцк, Украина
b Московский авиационно-технологический инcтитут–Российский государственный технический университет им. К. Э. Циолковского
PDF полного текста (1993 kB)
Аннотация: Установлен быстрый алгоритм, позволяющий за линейное время выяснять, является ли заданный литерал следствием монадической логической программы, т.е. программы, которая включает только одноместные символы предикатов и функций. Этот алгоритм можно использовать для распознавания допустимых управлений, если знание о целях и действиях системы представлено монадической программой.
Статья представлена к публикации членом редколлегии: О. П. Кузнецов

Поступила в редакцию: 01.06.2001
Англоязычная версия:
Automation and Remote Control, 2001, Volume 62, Issue 10, Pages 1620–1631
DOI: https://doi.org/10.1023/A:1012406331222
Реферативные базы данных:
Тип публикации: Статья
УДК: 517.714.3
Образец цитирования: М. И. Кратко, Г. С. Плесневич, “Быстрый алгоритм распознавания следствий для монадических логических программ”, Автомат. и телемех., 2001, № 10, 91–102; Autom. Remote Control, 62:10 (2001), 1620–1631
Цитирование в формате AMSBIB
\RBibitem{KraPle01}
\by М.~И.~Кратко, Г.~С.~Плесневич
\paper Быстрый алгоритм распознавания следствий для монадических логических программ
\jour Автомат. и телемех.
\yr 2001
\issue 10
\pages 91--102
\mathnet{http://mi.mathnet.ru/at2384}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1864844}
\zmath{https://zbmath.org/?q=an:1093.03503}
\transl
\jour Autom. Remote Control
\yr 2001
\vol 62
\issue 10
\pages 1620--1631
\crossref{https://doi.org/10.1023/A:1012406331222}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000171913700006}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84904242083}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/at2384
  • https://www.mathnet.ru/rus/at/y2001/i10/p91
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Автоматика и телемеханика
    Статистика просмотров:
    Страница аннотации:145
    PDF полного текста:53
    Первая страница:2
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024