Формальна модель опрацювання знань у системах із ситуаційною обізнаністю

Автори: 
Буров Є. В., Микіч Х. І.

Національний університет “Львівська політехніка”, кафедра інформаційних систем та мереж

Розглянуто моделі, методи формалізації та моделювання процесу прийняття рішень у системах із ситуаційною обізнаністю. Наведено математичну формалізацію понять ситуації. Подано алгебраїчну модель, яка дає змогу використовувати різні методи моделювання ситуаційної обізнаності, що ґрунтується на фреймворку “Алгебра систем”. Проаналізовано поняття дескриптивної логіки та її переваги і недоліки. Розроблено відображення між алгебраїчною моделлю, дескриптивною логікою та моделлю інтерпретованих систем.

1. Endsley M. Theoretical underpinnings of situation awareness: a critical review Process More Data ≠ More Information / M. Endsley, R. Mica // Edited by Array. Most, Vol. 301, 2000. – P. 3–32.

2. BeAware!-Situation awareness, the ontology-driven way / N. Baumgartner [and other] // Data and Knowledge Engineering, Vol. 69, 2010. – P. 1181–1193.

3. Jousselme A. Interpreted Systems for Situation Analysis / Jousselme Anne Laure, Patrick Maupin // 10th International Conference on Information Fusion. – IEEE, 2007. – P. 1–11.

4. Steinberg A. N. Revisions to the JDL Model / Steinber A. N., Bowman C. L., White F. E // Joint NATO/IRIS Conference Proceedings. – Quebec, 1998 and in Sensor Fusion: Architectures, Algorithms, and Applications, Proceedings of the SPIE, Vol. 3719, 1999. – Р. 430–441.

5. Codd E. Relational Completeness of Data Base Sublanguages / E. F. Codd. – IBM corporation, Vol. 54, 1972. – Р. 65 – 98.

6. Koo B. Algebra of Systems: A metalanguage for Model Synthesis and Evaluation / B. Koo, W.L. Simmons, E.F. Crawley // IEEE Transactions On 39.3, Systems, Man and Cybernetics, Part A:Systems and Humans, 2009. – Р. 501–513.

7. Koo B. Meta-language for Systems Architecting / B. A. Koo // In Engineering Systems and Management Massachusetts Institute of Technology, 2005. – P. 168.

8. Koo B. A valuation technology for product development option using an executable meta-modeling language in Complex Systems Concurrent Engineering / B. Koo, W. L. Simmons, E. F. Crawley // Collaboration, Technology Innovation and Sustainability. New York: Springer-Verlag, 2007. – Р. 107–115.

9. Burris S. A Course in Universal Algebra / S. Burris, H. P. Sankappanavar. – New York: Springer-Verlag, 1981. – Р. 129–154.

10. Barwise J. Situation Theory and Its Applications / Jon Barwise // Center for the Study of Language (CSLI), Vol. 26, 1991. – P. 631.

11. Devlin K. Situation theory and situation semantics / K. Delvin. – Handbook of the History of Logic, vol. 7, 2006. – Р. 601–664.

12. White F. E. A Model for Data Fusion / F. E. White // Proc. 1st National Symposium on Sensor Fusion. – 1988. – Р. 153–158.

Буров Є. В. Формальна модель опрацювання знань у системах із ситуаційною обізнаністю / Є. В. Буров, Х. І. Микіч // Вісник Національного університету «Львівська політехніка». Серія: Інформаційні системи та мережі. — Львів : Видавництво Львівської політехніки, 2017. — № 872. — С. 25–34.