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

Левыкин, В. М.; Чалая, О. В.

dc.contributor.author	Левыкин, В. М.
dc.contributor.author	Чалая, О. В.
dc.date.accessioned	2016-03-15T12:37:43Z
dc.date.available	2016-03-15T12:37:43Z
dc.date.issued	2016-03-15
dc.identifier.citation	1. Brachman R. J. Knowledge Representation and Reasoning / R. J. Brachman, H. J. Levesque // Amsterdam : Elsevier, 2004. – 381p. 2. Towards a general theory of action and time / J. Allen // Artif Intell, 1984. – № 23. – P. 123–154. 3. Allen J. F. A common-sense theory of time / J. F. Allen, P. J. Hayes // JoshiA(ed) Proceedings of the ninth international joint conferenceon artificial intelligence (IJCAI’85). International joint conferences on artificial intelligence, inc. Morgan Kaufmann San Francisco. – 1985. – P. 528–531. 4. W.M.P. van der Aalst. Process Mining: Discovery, Conformance and Enhancement of Business Processes // Springer-Verlag. – Berlin, 2011. – 352 p. 5. Кандрашина Е. Ю. Представление знаний о времени и пространстве в интеллектуальных системах / Е. Ю. Кандрашина, Л. В Литвинцева, Д. А. Поспелов ; под ред. Д. А. Поспелова. – М. : Наука, 1989. – 328 с. 6. Pnueli A. The temporal logic of programs / A. Pnueli // Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS). – 1977. – P. 46–57. 7. Emerson E. A. Temporal and modal logic / E. A. Emerson // by ed. : J. van Leeuwen editor : Handbook of Theoretical Computer Science, Elsevier. – 1990. – P. 995–1072. 8. Emerson E. A. Decision procedures and expressiveness in the temporal logic of branching time / E. A. Emerson, J. Y. Halpern // Journal of Computer and System Sciences. – 1985. – № 30 (1). – P. 1–24. 9. Clarke E. M. Model checking / E. M. Clarke, O. Grumberg, D. A. Peled // MIT Press Cambridge, MA, USA. – 1999. 10. Euzenat J. Time granularity / J. Euzenat, A. Montanari // Handbook of temporal reasoning in artificial intelligence. – Elsevier, Foundations of artificial intelligence, 2005. – P. 59–118. 11. Kripke S. A. Semantical Considerations on Modal Logic / S. A. Kripke // Acta Philosophica Fennica. – № 16. – 1963. – P. 83–94. 12. Kripke S. A. Outline of a Theory of Truth / S. A. Kripke // Journal of Philosophy. Sets his theory of truth (against Alfred Tarski), where an object language can contain its own truth predicate. – 1975. – P. 690–716.	uk_UA
dc.identifier.issn	2310-9645
dc.identifier.uri	http://hdl.handle.net/123456789/298
dc.description.abstract	Предложена модель многоуровневого представления темпоральных знаний, которая разрешает отразить в отдельных временных потоках изменение объектов моделируемой предметной области на различных уровнях иерархии. В задачах интеллектуального анализа процессов модель позволяет единым образом представить лог процесса и его модель.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Академія митної служби України	uk_UA
dc.relation.ispartofseries	Технічні науки;2015/1
dc.subject	представление знаний	uk_UA
dc.subject	темпоральные знания	uk_UA
dc.subject	свойства времени	uk_UA
dc.subject	темпоральные логики	uk_UA
dc.subject	интеллектуальный анализ процессов	uk_UA
dc.subject	knowledge representation	uk_UA
dc.subject	temporal knowledge	uk_UA
dc.subject	properties of time	uk_UA
dc.subject	temporal logics	uk_UA
dc.subject	intelligent analysis process	uk_UA
dc.title	Модель многоуровневого представления темпоральных знаний в задачах интеллектуального анализа процессов	uk_UA
dc.title.alternative	Multilevel model of temporal knowledge representation for process mining	uk_UA
dc.type	Article	uk_UA