DSpace JSPUI
DSpace сохраняет и позволяет легкий и открытый доступ ко всем видам цифрового контента, включая текст, изображения, анимированные изображения, MPEG и наборы данных
Узнать больше
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://212.1.86.13:8080/xmlui/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 | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.