| DC Field | Value | Language |
|---|
| dc.contributor.author | Буров, Є. В. | |
| dc.contributor.author | Микіч, Х. І. | |
| dc.date.accessioned | 2018-11-13T15:34:45Z | - |
| dc.date.available | 2018-11-13T15:34:45Z | - |
| dc.date.created | 2017-03-28 | |
| dc.date.issued | 2017-03-28 | |
| dc.identifier.citation | Буров Є. В. Формальна модель опрацювання знань у системах із ситуаційною обізнаністю / Є. В. Буров, Х. І. Микіч // Вісник Національного університету «Львівська політехніка». Серія: Інформаційні системи та мережі. — Львів : Видавництво Львівської політехніки, 2017. — № 872. — С. 25–34. | |
| dc.identifier.uri | https://ena.lpnu.ua/handle/ntb/42965 | - |
| dc.description.abstract | Розглянуто моделі, методи формалізації та моделювання процесу прийняття
рішень у системах із ситуаційною обізнаністю. Наведено математичну формалізацію
понять ситуації. Подано алгебраїчну модель, яка дає змогу використовувати різні
методи моделювання ситуаційної обізнаності, що ґрунтується на фреймворку “Алгебра
систем”. Проаналізовано поняття дескриптивної логіки та її переваги і недоліки.
Розроблено відображення між алгебраїчною моделлю, дескриптивною логікою та
моделлю інтерпретованих систем. | |
| dc.description.abstract | In the article are described models and methods of formalizing and modeling process of
decision making in systems with situation awareness (SAW systems). The definitions of
mathematical formalization of situation are discussed. Also, the unifying algebraic model,
allowing the usage of different tools for situation awareness modeling, based of Algebra of
Systems was proposed. We analyze the term of description logic and its advantages and
disadvantages. The mappings between algebraic model, description logic and interpreted
systems are proposed. | |
| dc.format.extent | 25-34 | |
| dc.language.iso | uk | |
| dc.publisher | Видавництво Львівської політехніки | |
| dc.relation.ispartof | Вісник Національного університету «Львівська політехніка». Серія: Інформаційні системи та мережі, 872, 2017 | |
| dc.subject | ситуаційна обізнаність | |
| dc.subject | формальна модель | |
| dc.subject | фреймворк | |
| dc.subject | алгебра систем | |
| dc.subject | дескриптивна логіка | |
| dc.subject | інтерпретовані системи | |
| dc.subject | situation awareness | |
| dc.subject | formal model | |
| dc.subject | framework | |
| dc.subject | Algebra of ystems | |
| dc.subject | description logic | |
| dc.subject | interpreted systems | |
| dc.title | Формальна модель опрацювання знань у системах із ситуаційною обізнаністю | |
| dc.title.alternative | Formal model of knowledge processing in situational awareness systems | |
| dc.type | Article | |
| dc.rights.holder | © Національний університет „Львівська політехніка“, 2017 | |
| dc.rights.holder | © Буров Є. В., Микіч Х. І., 2017 | |
| dc.contributor.affiliation | Національний університет “Львівська політехніка” | |
| dc.format.pages | 10 | |
| dc.identifier.citationen | Burov Ye. V. Formal model of knowledge processing in situational awareness systems / Ye. V. Burov, Kh. I. Mykich // Visnyk Natsionalnoho universytetu "Lvivska politekhnika". Serie: Informatsiini systemy ta merezhi. — Lviv : Vydavnytstvo Lvivskoi politekhniky, 2017. — No 872. — P. 25–34. | |
| dc.relation.references | 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. | |
| dc.relation.references | 2. BeAware!-Situation awareness, the ontology-driven way / N. Baumgartner [and other] // Data and Knowledge Engineering, Vol. 69, 2010. – P. 1181–1193. | |
| dc.relation.references | 3. Jousselme A. Interpreted Systems for Situation Analysis / Jousselme Anne Laure, Patrick Maupin // 10th International Conference on Information Fusion. – IEEE, 2007. – P. 1–11. | |
| dc.relation.references | 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. | |
| dc.relation.references | 5. Codd E. Relational Completeness of Data Base Sublanguages / E. F. Codd. – IBM corporation, Vol. 54, 1972. – Р. 65 – 98. | |
| dc.relation.references | 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. | |
| dc.relation.references | 7. Koo B. Meta-language for Systems Architecting / B. A. Koo // In Engineering Systems and Management Massachusetts Institute of Technology, 2005. – P. 168. | |
| dc.relation.references | 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. | |
| dc.relation.references | 9. Burris S. A Course in Universal Algebra / S. Burris, H. P. Sankappanavar. – New York: Springer-Verlag, 1981. – Р. 129–154. | |
| dc.relation.references | 10. Barwise J. Situation Theory and Its Applications / Jon Barwise // Center for the Study of Language (CSLI), Vol. 26, 1991. – P. 631. | |
| dc.relation.references | 11. Devlin K. Situation theory and situation semantics / K. Delvin. – Handbook of the History of Logic, vol. 7, 2006. – Р. 601–664. | |
| dc.relation.references | 12. White F. E. A Model for Data Fusion / F. E. White // Proc. 1st National Symposium on Sensor Fusion. – 1988. – Р. 153–158. | |
| dc.relation.referencesen | 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. | |
| dc.relation.referencesen | 2. BeAware!-Situation awareness, the ontology-driven way, N. Baumgartner [and other], Data and Knowledge Engineering, Vol. 69, 2010, P. 1181–1193. | |
| dc.relation.referencesen | 3. Jousselme A. Interpreted Systems for Situation Analysis, Jousselme Anne Laure, Patrick Maupin, 10th International Conference on Information Fusion, IEEE, 2007, P. 1–11. | |
| dc.relation.referencesen | 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, R. 430–441. | |
| dc.relation.referencesen | 5. Codd E. Relational Completeness of Data Base Sublanguages, E. F. Codd, IBM corporation, Vol. 54, 1972, R. 65 – 98. | |
| dc.relation.referencesen | 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, R. 501–513. | |
| dc.relation.referencesen | 7. Koo B. Meta-language for Systems Architecting, B. A. Koo, In Engineering Systems and Management Massachusetts Institute of Technology, 2005, P. 168. | |
| dc.relation.referencesen | 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, R. 107–115. | |
| dc.relation.referencesen | 9. Burris S. A Course in Universal Algebra, S. Burris, H. P. Sankappanavar, New York: Springer-Verlag, 1981, R. 129–154. | |
| dc.relation.referencesen | 10. Barwise J. Situation Theory and Its Applications, Jon Barwise, Center for the Study of Language (CSLI), Vol. 26, 1991, P. 631. | |
| dc.relation.referencesen | 11. Devlin K. Situation theory and situation semantics, K. Delvin, Handbook of the History of Logic, vol. 7, 2006, R. 601–664. | |
| dc.relation.referencesen | 12. White F. E. A Model for Data Fusion, F. E. White, Proc. 1st National Symposium on Sensor Fusion, 1988, R. 153–158. | |
| dc.citation.journalTitle | Вісник Національного університету «Львівська політехніка». Серія: Інформаційні системи та мережі | |
| dc.citation.issue | 872 | |
| dc.citation.spage | 25 | |
| dc.citation.epage | 34 | |
| dc.coverage.placename | Львів | |
| dc.subject.udc | 004.9 | |
| Appears in Collections: | Інформаційні системи та мережі. – 2017. – №872
|
