Денотационная семантика контекстов знаний при онтологическом моделировании предметных областей конфликта
Ключевые слова:
знания, контекст, онтология, аппроксимация, память, денотационная семантика, конфликт, киберсистемаАннотация
Предлагается подход к онтологическому описанию произвольной предметной области, основанный на применении концептов трёх типов: “Объекты”, “Свойства” и “Действия”. При этом различные аспекты представлений, используемые для описания знаний, предлагается частично упорядочивать свойством аппроксимации в функциональные слои, сегменты и области. Это должно позволить моделировать семантические особенности контекстно-зависимых знаний предметных областей, учитывать их изменения и уточнения при порождении решений. Это откроет возможности прогнозирования намерений и предотвращения реализации киберугроз критической информационной инфраструктуре.Литература
1. Прайд В., Медведев Д.А. Феномен NBIC-конвергенции: Реальность и ожидания // URL: http://www.nanonewsnet.ru/articles/2010/fenomen-nbic-konvergentsii-realnost-ozhidaniya (дата обращения: 20.12.2014).
2. Tulving E. Episodic and semantic memory. Organization of Memory // New York: Academic Press, 1972. pp. 381–403.
3. Martin A., Chao L.L. Semantic memory and the brain: Structure and Processes // Current Opinion in Neurobiology. 2001. vol. 11, pp. 194–201.
4. Marques J.F., Canessa N., Siri S., Catricala E., Cappa S. Conceptual knowledge in the brain: fMRI evidence for a featural organization // Brain Research. 2008. vol. 1194. pp. 90–99.
5. Collins A.M., Quillian M.R. Retrieval time from semantic memory // Journal of Verbal Learning and Verbal Behavior. 1969. vol. 8. pp. 240–247.
6. About formal bases of OWL // URL: http://semanticfuture.net/index.php /О_формальных_основах_OWL (дата обращения: 20.12.2014).
7. Ontology // URL: http://www.aiportal.ru/articles/other/ontology.html (дата обращения: 20.12.2014).
8. OWL, язык веб-онтологий. Краткий обзор. Рекомендация W3C от 10 февраля 2004 г. // URL: http://www.thalion.kiev.ua/idx.php/7/009/article/#s4 (дата обращения: 20.12.2014).
9. Norman D.A., Shallice T. Attention to action: Willed and automatic control of behavior // Consciousness and Self-regulation. Advances in Research and Theory. New York: Plenum Press. 1986. vol. 4. pp. 1–18.
10. Baddeley A.D. The episodic buffer: A new component of working memory? // Trends in Cognitive Sciences, 2000. vol. 4(11). pp. 417–423.
11. Scott D. S. Models for various type-free calculi // Logic, Methodology and Philosophy of Science IV (Proc. Int. Congress 1971), North-Holland. 1973. pp. 157–188.
12. Scott D.S. Outline of mathematical theory // 4th Annual Princeton Conf. on Information Sciences and Systems, Princeton University. 1970. pp. 169–176.
13. Shamir A. Data types as objects // Springer Berlin Heidelberg. 1977. pp. 465–479.
14. Burstall R. Programs and their proofs: an algebraic approach // Machine Intelligence. Edinburgh Univ. Press, 1969. no. 4.
15. Burstall R. The algebraic theory of recursive program schemes // Category Theory Applied to Computation and Control. 1974. no. 25. pp. 126–131.
16. Goguen J. Abstract data types as initial algebras and the correctness of data representation // Current Trends in Progr. Methodology, IV. Data Structuring. Prentice-Hall. 1978. pp. 80–144.
17. Guttag J. Abstract data types and software validation // Communications of the ACM. 1978. vol. 21(12). pp. 1048–1064.
18. Zilles S. Algebraic specifications for data types // IBM Research Laboratory, San Jose, California, 1975.
19. Demers A.J. Incapsulated Data Types and Generic Procedures // Design and Implementation of Programming Languages, LNCS 1977. no. 54. pp. 174–214.
20. Church. A. The calculi of lambda-conversion // Annals of Math. Studies. 1951. no. 6.
21. Hoare С.A.R. Notes on data structuring // Structured Programming. Academic Press. 1972. pp. 98–197.
22. Parnas D.L. Abstract types definedas classes of variables // Proceedings Conference on Data: Abstraction, Definition, and Structure, Salt Lake City. 1976. pp. 149–154.
23. Kaplan М.A. A general scheme for the automatic inference of variable types // Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. 1978. pp. 60–75.
24. Лавров С.С. Основные понятия и конструкции языков программирования // М.: Статистика. 1982. 80 с.
25. Ledgard Н. F. Ten mini-languages: a study of topical issuesin programming languages // Соrр. Surveys. 1971. no. 3. pp. 115–147.
26. Lewis С.Н. Recursively defined data types // Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages. 1973. pp. 125–138.
27. Berry D.М. Type equivalence in strongly typed languages: one more look // SIGPLAN Notices, 1979. no. 9. pp. 35–41.
28. Scott D.S. Lattice Theory. Data Types and Semantics // Formal Semantics of Programming Languages. Prentice-Hall, Englewood Cliffs, N.J. 1972.
29. Скотт Д.С. Логика и языки программирования // Лекции лауреатов премии Тьюринга (ред.: Эшенхерст Р.). М.: Мир, 1993. C. 65–83.
30. Бирюков Д.Н., Ломако А.Г. Формализация семантики для представления знаний о поведении конфликтующих сторон // Материалы 22-й научно-практической конференции “Методы и технические средства обеспечения безопасности информации”. Спб.: Издательство Политехнического университета, 2013. С. 8–11.
31. McCarthy J., Hayes P.J. Some philosophical problems from the standpoint of artificial intelligence // Machine Intelligence, American Elsevier, New York, 1969. no. 4.
32. Бирюков Д. Н., Ломако А. Г. Подход к построению ИБ-систем, способных синтезировать сценарии упреждающего поведения в информационном конфликте // INSIDE. 2014. №6. С. 42–50.
33. Бочаров В.А., Маркин В.И. Основы логики // М.: МГУ, 2008. 336c.
34. Бирюков Д. Н., Ломако А. Г. Подход к построению системы предотвращения киберугроз // Проблемы информационной безопасности. Компьютерные системы. 2013. №2. С. 13–19.
2. Tulving E. Episodic and semantic memory. Organization of Memory // New York: Academic Press, 1972. pp. 381–403.
3. Martin A., Chao L.L. Semantic memory and the brain: Structure and Processes // Current Opinion in Neurobiology. 2001. vol. 11, pp. 194–201.
4. Marques J.F., Canessa N., Siri S., Catricala E., Cappa S. Conceptual knowledge in the brain: fMRI evidence for a featural organization // Brain Research. 2008. vol. 1194. pp. 90–99.
5. Collins A.M., Quillian M.R. Retrieval time from semantic memory // Journal of Verbal Learning and Verbal Behavior. 1969. vol. 8. pp. 240–247.
6. About formal bases of OWL // URL: http://semanticfuture.net/index.php /О_формальных_основах_OWL (дата обращения: 20.12.2014).
7. Ontology // URL: http://www.aiportal.ru/articles/other/ontology.html (дата обращения: 20.12.2014).
8. OWL, язык веб-онтологий. Краткий обзор. Рекомендация W3C от 10 февраля 2004 г. // URL: http://www.thalion.kiev.ua/idx.php/7/009/article/#s4 (дата обращения: 20.12.2014).
9. Norman D.A., Shallice T. Attention to action: Willed and automatic control of behavior // Consciousness and Self-regulation. Advances in Research and Theory. New York: Plenum Press. 1986. vol. 4. pp. 1–18.
10. Baddeley A.D. The episodic buffer: A new component of working memory? // Trends in Cognitive Sciences, 2000. vol. 4(11). pp. 417–423.
11. Scott D. S. Models for various type-free calculi // Logic, Methodology and Philosophy of Science IV (Proc. Int. Congress 1971), North-Holland. 1973. pp. 157–188.
12. Scott D.S. Outline of mathematical theory // 4th Annual Princeton Conf. on Information Sciences and Systems, Princeton University. 1970. pp. 169–176.
13. Shamir A. Data types as objects // Springer Berlin Heidelberg. 1977. pp. 465–479.
14. Burstall R. Programs and their proofs: an algebraic approach // Machine Intelligence. Edinburgh Univ. Press, 1969. no. 4.
15. Burstall R. The algebraic theory of recursive program schemes // Category Theory Applied to Computation and Control. 1974. no. 25. pp. 126–131.
16. Goguen J. Abstract data types as initial algebras and the correctness of data representation // Current Trends in Progr. Methodology, IV. Data Structuring. Prentice-Hall. 1978. pp. 80–144.
17. Guttag J. Abstract data types and software validation // Communications of the ACM. 1978. vol. 21(12). pp. 1048–1064.
18. Zilles S. Algebraic specifications for data types // IBM Research Laboratory, San Jose, California, 1975.
19. Demers A.J. Incapsulated Data Types and Generic Procedures // Design and Implementation of Programming Languages, LNCS 1977. no. 54. pp. 174–214.
20. Church. A. The calculi of lambda-conversion // Annals of Math. Studies. 1951. no. 6.
21. Hoare С.A.R. Notes on data structuring // Structured Programming. Academic Press. 1972. pp. 98–197.
22. Parnas D.L. Abstract types definedas classes of variables // Proceedings Conference on Data: Abstraction, Definition, and Structure, Salt Lake City. 1976. pp. 149–154.
23. Kaplan М.A. A general scheme for the automatic inference of variable types // Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages. 1978. pp. 60–75.
24. Лавров С.С. Основные понятия и конструкции языков программирования // М.: Статистика. 1982. 80 с.
25. Ledgard Н. F. Ten mini-languages: a study of topical issuesin programming languages // Соrр. Surveys. 1971. no. 3. pp. 115–147.
26. Lewis С.Н. Recursively defined data types // Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages. 1973. pp. 125–138.
27. Berry D.М. Type equivalence in strongly typed languages: one more look // SIGPLAN Notices, 1979. no. 9. pp. 35–41.
28. Scott D.S. Lattice Theory. Data Types and Semantics // Formal Semantics of Programming Languages. Prentice-Hall, Englewood Cliffs, N.J. 1972.
29. Скотт Д.С. Логика и языки программирования // Лекции лауреатов премии Тьюринга (ред.: Эшенхерст Р.). М.: Мир, 1993. C. 65–83.
30. Бирюков Д.Н., Ломако А.Г. Формализация семантики для представления знаний о поведении конфликтующих сторон // Материалы 22-й научно-практической конференции “Методы и технические средства обеспечения безопасности информации”. Спб.: Издательство Политехнического университета, 2013. С. 8–11.
31. McCarthy J., Hayes P.J. Some philosophical problems from the standpoint of artificial intelligence // Machine Intelligence, American Elsevier, New York, 1969. no. 4.
32. Бирюков Д. Н., Ломако А. Г. Подход к построению ИБ-систем, способных синтезировать сценарии упреждающего поведения в информационном конфликте // INSIDE. 2014. №6. С. 42–50.
33. Бочаров В.А., Маркин В.И. Основы логики // М.: МГУ, 2008. 336c.
34. Бирюков Д. Н., Ломако А. Г. Подход к построению системы предотвращения киберугроз // Проблемы информационной безопасности. Компьютерные системы. 2013. №2. С. 13–19.
Denotational Semantics of Knowledge Contexts in Ontological Modeling of Subject Domains of the Conflict
Abstract
An approach to the ontological description of any subject domain based on application of concepts of three types is offered: "Objects", "Properties" and "Actions". Thus, it is proposed to partially arrange various aspects of representations used for the description of knowledge by approximation property in functional layers, segments and areas. This makes possible to model semantic features of context-dependent knowledge of subject domains, to consider their changes and specifications at generation of decisions. Moreover, this opens the possibilities of predicting intentions and preventing realization of cyber threats to critical information infrastructure.
Опубликован
2015-10-15
Как цитировать
Бирюков, Д. Н., & Ломако, А. Г. (2015). Денотационная семантика контекстов знаний при онтологическом моделировании предметных областей конфликта. Труды СПИИРАН, 5(42), 155-179. https://doi.org/10.15622/sp.42.8
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
