Денотационная семантика контекстов знаний при онтологическом моделировании предметных областей конфликта
Ключевые слова:
знания, контекст, онтология, аппроксимация, память, денотационная семантика, конфликт, киберсистемаАннотация
Предлагается подход к онтологическому описанию произвольной предметной области, основанный на применении концептов трёх типов: “Объекты”, “Свойства” и “Действия”. При этом различные аспекты представлений, используемые для описания знаний, предлагается частично упорядочивать свойством аппроксимации в функциональные слои, сегменты и области. Это должно позволить моделировать семантические особенности контекстно-зависимых знаний предметных областей, учитывать их изменения и уточнения при порождении решений. Это откроет возможности прогнозирования намерений и предотвращения реализации киберугроз критической информационной инфраструктуре.Литература
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.
Опубликован
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).
