Рекурсивные определения реляционных преобразований
Автор: Кучуганов Михаил Валерьевич
Журнал: Программные системы: теория и приложения @programmnye-sistemy
Рубрика: Математические основы программирования
Статья в выпуске: 1 (36) т.9, 2018 года.
Бесплатный доступ
В статье определяются основные конструкции и семантика языка описания действий (action description language), предназначенного для описания и вычисления преобразований отношений моделей ситуаций (реляционных преобразований). Основное отличие описываемого языка от традиционных языков описания действий (STRIPS, ADL и т.п.) заключается в использовании, кроме традиционных (STRIPS-like) правил, их теоретико-множественных композиций и рекурсии это существенно повышает выразительность языка. Описывается функция для вычисления эффектов действий, определенных рекурсивно и доказывается ее частичная корректность.
Языки описания действий, реляционные преобразования, ситуационное исчисление
Короткий адрес: https://sciup.org/143164298
IDR: 143164298 | DOI: 10.25209/2079-3316-2017-9-1-53-83
Список литературы Рекурсивные определения реляционных преобразований
- F. Harmelen, V. Lifschitz, B. Porter (eds.), Handbook of Knowledge Representation, Foundations of Artificial Intelligence, 1st edition, Elsevier, 2008, 1034 p.
- R. Fikes, N. Nilsson. "STRIPS: A new Approach to the Application of Theorem Proving to Problem Solving", Artificial Intelligence, V. 2. No. 3-4. 1971. P. 189-208.
- E. P. D. Pednault. "ADL: Exploring the middle ground between STRIPS and the Situation Calculus", Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, KR'89 (Royal York Hotel, Toronto, Ontario, Canada, May 15-19, 1989), Morgan Kaufmann Publishers Inc., San Francisco, 1989. P. 324-332, MathSciNet: 1011062.
- E. P. D. Pednault. "ADL and the State-Transition Model of Action", J. Log. Comput., V. 4. No. 5. 1994. P. 467-512.
- М. В. Кучуганов. Системы реляционных преобразований: правила и критерий реализуемости//Вестник Удмуртского университета. Математика. Механика. Компьютерные науки, Т. 25, № 1. 2015. С. 117-125.
- J. Claßen, G. Lakemeyer. "A Semantics for ADL as Progression in the Situation Calculus", Proceedings of the 11th International Workshop on Non-Monotonic Reasoning, NMR'06 (Lake District, UK, 30 May-1 June, 2006), Institut für Informatik, Technische Universität Clausthal. P. 334-341, www.in.tu-clausthal.de/uploads/media/NMR_Proc_TR4.pdf.
- V. Stoltenberg-Hansen, I. Lindstrom, E. R. Griffor, Mathematical Theory of Domains, Cambridge Tracts in Theoretical Computer Science, vol. 22, 1st edition, Cambridge University Press, 2008, 364 p..1017/CBO9781139166386
