Abstract
The paper considers the problem of constructing domain models based on a semantic network. One of the faced difficulties is to support the indication of objects that form the semantic network, while displaying the dynamics of the domain; this indication assumes the possibility of dynamic creating, modifying, and deleting objects. In this case the indication of objects is possible both by name and by position in the semantic network, as well as by the set of properties of the object. It shows that the set of indication methods required for modeling essentially coincides with the set required for controlling access to objects of the network; this makes it possible to consider the indication of objects and access control as two aspects of one task. The solution of the problem can be achieved based on using the technique of displaced concepts and description methods to indicate objects and access to them as specialization of concept bias. The paper generates requirements to the methods of objects indication and proposes an environment that provides modeling of various methods of indication based on the support of methods for modeling the shift of concepts in an applicative computing system. It describes a prototyped implementation of the environment by the method of extending an applicative system. The implementation was tested on the tasks of describing dynamic domains to support the introduction of the best available technologies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Louise G. White, Political Analysis, 2nd ed. Pacific Grove, California: Brooks Cole, 1990.
References
Angiuli C, Harper R, Wilson T (2017) Computational higher-dimensional type theory. SIGPLAN Not 52(1):680–693. https://doi.org/10.1145/3093333.3009861 http://doi.acm.org/10.1145/3093333.3009861
Awodey S (2015) Homotopy type theory. In: Banerjee M, Krishna SN (eds) Logic and its applications, ICLA 2015. Springer, Heidelberg, pp 1–10. https://doi.org/10.1007/978-3-662-45824-2_1
Brodie ML, Schmidt JW (1982) Final report of the ANSI/X3/SPARC DBS-SG relational database task group. SIGMOD Record 12(4):i–62. https://doi.org/10.1145/984555.1108830
de Bruijn NG (1991) Telescopic mappings in typed lambda calculus. Inf Comput 91(2):189–204. https://doi.org/10.1016/0890-5401(91)90066-B
Hindley J, Lercher B, Seldin J (1972) Introduction to combinatory logic. Cambridge University Press, London
Ismailova L (2014) Applicative computations and applicative computational technologies. Life Sci J 11(11):177–181
Ismailova L (2014) Criteria for computational thinking in information and computational technologies. Life Sci J 11(9s):415–420
Ismailova LY, Kosikov SV, Wolfengagen V (2016) Applicative methods of interpretation of graphically oriented conceptual information. Procedia Comput Sci 88:341–346. https://doi.org/10.1016/j.procs.2016.07.446 7th annual international conference on biologically inspired cognitive architectures, BICA 2016, held July 16 to July 19, 2016 in New York City, NY, USA. http://www.sciencedirect.com/science/article/pii/S1877050916317021
Jay B (2019) A simpler lambda calculus. In: Proceedings of the 2019 ACM SIGPLAN workshop on partial evaluation and program manipulation, PEPM 2019. ACM, New York, pp 1–9. https://doi.org/10.1145/3294032.3294085
Lawvere FW, Schanuel SJ (1997) Conceptual mathematics: a first introduction to categories. Cambridge University Press, Cambridge
Schönfinkel M (1924) über die bausteine der mathematischen logik. Math Ann 92:305–316
Scott DS (1982) Domains for denotational semantics. In: Nielsen M, Schmidt EM (eds) Automata, languages and programming. Springer, Berlin, pp 577–610
Scott DS (1982) Lectures on a mathematical theory of computation. Springer, Dordrecht, pp 145–292. https://doi.org/10.1007/978-94-009-7893-5_9
Selinger P, Valiron B (2005) A lambda calculus for quantum computation with classical control. In: Urzyczyn P (ed) Typed lambda calculi and applications. Springer, Heidelberg, pp 354–368
Shaumyan S (1994) Long-distance dependencies and applicative universal grammar. In: 15th international conference on computational linguistics, COLING 1994, Kyoto, Japan, August 5-9, 1994, pp 853–858. http://aclweb.org/anthology/C94-2137
Tarski A (1941) On the calculus of relations. J Symbolic Logic 6(3):73–89 http://www.jstor.org/stable/2268577
Univalent Foundations Program T (2013) Homotopy type theory: univalent foundations of mathematics. http://homotopytypetheory.org/book/
Voevodsky V (2011) Univalent semantics of constructive type theories. In: Jouannaud JP, Shao Z (eds) CPP 2011, vol 7086, 70th edn. Lecture notes in computer science. Springer, Heidelberg
Wolfengagen V: Semantic modeling: computational models of the concepts. In: Proceedings of the 2010 international conference on computational intelligence and security, CIS 2010. IEEE Computer Society, Washington, DC, pp 42–46 (2010). https://doi.org/10.1109/CIS.2010.16
Wolfengagen V (2014) Computational ivariants in applicative model of object interaction. Life Sci J 11(9s):453–457
Wolfengagen VE, Ismailova LY, Kosikov S (2016) Computational model of the tangled web. Procedia Comput Sci 88:306–311. https://doi.org/10.1016/j.procs.2016.07.440 7th annual international conference on biologically inspired cognitive architectures, BICA 2016, held July 16 to July 19, 2016 in New York City, NY, USA. http://www.sciencedirect.com/science/article/pii/S1877050916316969
Wolfengagen VE, Ismailova LY, Kosikov S (2016) Concordance in the crowdsourcing activity. Procedia Comput Sci 88:353–358. https://doi.org/10.1016/j.procs.2016.07.448 7th annual international conference on biologically inspired cognitive architectures, BICA 2016, held July 16 to July 19, 2016 in New York City, NY, USA. http://www.sciencedirect.com/science/article/pii/S1877050916317045
Wolfengagen VE, Ismailova LY, Kosikov SV (2016) A computational model for refining data domains in the property reconciliation. In: 2016 third international conference on digital information processing, data mining, and wireless communications (DIPDMWC), pp 58–63. https://doi.org/10.1109/DIPDMWC.2016.7529364
Wolfengagen VE, Ismailova LY, Kosikov SV (2016) A harmony and disharmony in mining of the migrating individuals. In: 2016 third international conference on digital information processing, data mining, and wireless communications (DIPDMWC), pp 52–57. https://doi.org/10.1109/DIPDMWC.2016.7529363
Wolfengagen VE, Ismailova LY, Kosikov SV, Navrotskiy VV, Kukalev SI, Zuev AA, Belyatskaya PV (2016) Evolutionary domains for varying individuals. Procedia Comput Sci 88:347–352. https://doi.org/10.1016/j.procs.2016.07.447 7th annual international conference on biologically inspired cognitive architectures, BICA 2016, held July 16 to July 19, 2016 in New York City, NY, USA. http://www.sciencedirect.com/science/article/pii/S1877050916317033
Wolfengagen VE, Ismailova LY, Kosikov SV, Parfenova IA, Ermak MY, Petrov VD, Nikulin IA, Kholodov VA (2016) Migration of the individuals. Procedia Comput Sci 88:359–364. https://doi.org/10.1016/j.procs.2016.07.449 7th annual international conference on biologically inspired cognitive architectures, BICA 2016, held July 16 to July 19, 2016 in New York City, NY, USA. http://www.sciencedirect.com/science/article/pii/S1877050916317057
Xiao J (2005) Agent-based similarity-aware web document pre-fetching. In: Proceedings of the international conference on computational intelligence for modelling, control and automation and international conference on intelligent agents, web technologies and internet commerce, CIMCA-IAWTIC 2006, vol 2, CIMCA 2005, vol 02. IEEE Computer Society, Washington, DC, pp 928–933. http://dl.acm.org/citation.cfm?id=1134824.1135440
Xiao Y (2009) Set nearest neighbor query for trajectory of moving objects. In: Proceedings of the 6th international conference on fuzzy systems and knowledge discovery, FSKD 2009, vol 5. IEEE Press, Piscataway, NJ, pp 211–214. http://dl.acm.org/citation.cfm?id=1801874.1801921
Acknowledgments
This research is supported in part by the Russian Foundation for Basic Research, RFBR grants 19-07-00326-a, 19-07-00420-a, 18-07-01082-a, 17-07-00893-a.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Ismailova, L., Kosikov, S., Zinchenko, K., Wolfengagen, V. (2020). Environment of Modeling Methods for Indicating Objects Based on Displaced Concepts. In: Samsonovich, A. (eds) Biologically Inspired Cognitive Architectures 2019. BICA 2019. Advances in Intelligent Systems and Computing, vol 948. Springer, Cham. https://doi.org/10.1007/978-3-030-25719-4_18
Download citation
DOI: https://doi.org/10.1007/978-3-030-25719-4_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-25718-7
Online ISBN: 978-3-030-25719-4
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)