DSpace JSPUI
DSpace зберігає і дозволяє легкий і відкритий доступ до всіх видів цифрового контенту, включаючи текст, зображення, анімовані зображення, MPEG і набори даних
Дізнатися більше
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://biblio.umsf.dp.ua/jspui/handle/123456789/298| Назва: | Модель многоуровневого представления темпоральных знаний в задачах интеллектуального анализа процессов |
| Інші назви: | Multilevel model of temporal knowledge representation for process mining |
| Автори: | Левыкин, В. М. Чалая, О. В. |
| Ключові слова: | представление знаний темпоральные знания свойства времени темпоральные логики интеллектуальный анализ процессов knowledge representation temporal knowledge properties of time temporal logics intelligent analysis process |
| Дата публікації: | 15-бер-2016 |
| Видавництво: | Академія митної служби України |
| Бібліографічний опис: | 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. |
| Серія/номер: | Технічні науки;2015/1 |
| Короткий огляд (реферат): | Предложена модель многоуровневого представления темпоральных знаний, которая разрешает отразить в отдельных временных потоках изменение объектов моделируемой предметной области на различных уровнях иерархии. В задачах интеллектуального анализа процессов модель позволяет единым образом представить лог процесса и его модель. |
| URI (Уніфікований ідентифікатор ресурсу): | http://hdl.handle.net/123456789/298 |
| ISSN: | 2310-9645 |
| Розташовується у зібраннях: | 2015/1 |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| 3.pdf | Електронне видання | 277,42 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.