350 руб
Журнал «Нейрокомпьютеры: разработка, применение» №7 за 2016 г.
Статья в номере:
Принципы построения ситуационно-событийного исчисления со многими исходами и одновременными действиями
Ключевые слова: ситуационные исчисления одновременные действия многие исходы принципы построения
Авторы:
М.М. Зернов - к.т.н., доцент, кафедра вычислительной техники, филиал ФГБОУ ВО «НИУ «МЭИ» в г. Смоленске. E-mail: zmmioml@yandex.ru
Аннотация:
Рассмотрены ограничения существующих формальных логических теорий, предназначенных для решения задач ситуационного вывода. На основе ближайших аналогов сформирован облик нового ситуационно-событийного исчисления, позволяющего учитывать возможность одновременного применения нескольких действий и наличия различных исходов одного и того же действия.
Страницы: 29-33
Список источников

 

  1. Кригер Л.С. Нечеткая ситуационная сеть для управления движением общественного транспорта // Вестник Астраханского государственного технического университета. Сер. «Управление, вычислительная техника и информатика». 2013. № 1. С. 53-58.
  2. Астанин С.В., Жуковская Н.К. Управление бизнес-процессами на основе их моделирования нечеткими ситуационными сетями // Управление большими системами: сборник трудов. 2012. № 37. С. 145-163.
  3. Мелихов А.Н., Берштейн Л.С., Коровин С.Я.Ситуационные советующие системы с нечеткой логикой. М.: Наука. 1990. 272 с.
  4. Федунов Б.Е. Бортовые оперативно-советующие экспертные системы типовых ситуаций и семантический облик их баз знаний // Изв. ЮФУ. Технические науки. 2003. № 2 (31). С. 5-12.
  5. Борисов В.В. Зернов М.М. Реализация нечеткого ситуационного подхода на основе нечеткой иерархической ситуационно-событийной сети // Искусственный интеллект и принятие решений. 2009. № 1. С. 17-30.
  6. Захаров А.С. Метод приближенных рассуждений на основе темпоральных нечетких байесовских сетей доверия // Изв. Смоленского государственного университета. 2015. №3. С.233-246.
  7. Борисов В.В., Бояринов Ю.Г., Дли М.И., Мищенко В.И. Методы анализа сложных систем на основе нечетких полумарковских моделей // Нейрокомпьютеры: разработка, применение. 2011. № 8. С. 33-41.
  8. ЗерновМ.М.Модельнечеткогосценарияразвитиявременногоряда //Труды XIV национальнойконференциипоискусственномуинтеллектусмеждународнымучастием (КИИ-2014). 2014. Т. 3. С. 13-21.
  9. Lin F. Chapter: Situation calculus / In «Handbook of Knowledge Representation»/ Edited by Lifschitz V., van Harmelen F. and Porter F. Elsevier. 2007. 356 p.
  10. McCarthy J. Actions and other events in situation calculus// In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002). 2002. P. 615-628.
  11. Patkos T., Plexousakis D. Reasoning with knowledge, action and time in dynamic and uncertain domains// In Proc. 21st Int. J. Conf. on Artificial Intelligence (IJCAI-09). 2009). P. 885-890.
  12. Miller R., Morgenstern L., Patkos T. Reasoning about knowledge and action in an epistemic event calculus// In Proc. 11th Int. Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2013. P. 465-469.
  13. Mueller E. Commonsense Reasoning. Morgan Kaufmann. 2006. 420 p.
  14. Mueller E. Discrete Event Calculus with Branching Time// In Proc. 8th Int. Symposium on Logical Formalizations of Commonsense Reasoning. 2007. P. 126-131.
  15. Shanahan M. The ramification problem in the event calculus// In Proc. IJCAI-1999. 1999. P.140-146.
  16. Gu Y., Soutchanski M. Order-Sorted Reasoning in the Situation Calculus//In Proc. Commonsense-2009, the Ninth International Symposium on Logical Formalization on Commonsense Reasoning. Toronto, Canada. 2009. P. 122-128.
  17. Herzig A., Lang J., Marquis P. Action representation and partially observable planning in epistemic logic// In Proc. of IJCAI-2003. 2003. P. 1067-1072.
  18. Bird R.S. An introduction to the theory of lists. In Logic of Programming and Calculi of Discrete Design. SpringerNewYork, 1987. 320 p.