Multiple-Valued Logic, Vocabulary Structure, and Linked List for Data Verification in Dialog Communications of Agents
Source abstract
Abstract
Distant verification of the autonomous agent’s parameters in the dialog mode is a difficult multi-parametric task if the large-scale scene of action is characterized by a large number of collaborative and rival robots. The possible scheme to realize it for mass robots is to use non-exhaustive and selective data verification, combining the polling of internal subsystems and external data storage in collaborating network agents. Selective extraction of data for such checks is proposed to involve the special ordered set of vocabularies, containing coded digital words and classifying parameters of agents, tasks, objects, and events. The structure of such vocabularies is to be combined with various versions of the linked list scheme, known in blockchain and actual for protective documenting of critical data. Multiple-valued logic is used here as the convenient method to provide autonomous navigation in a multi-parametric structure of data and verification variables.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Semantic Web and Ontologies · Multi-Agent Systems and Negotiation · Service-Oriented Architecture and Web Services
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
Affiliations
P.N. Lebedev Physical Institute RAS, 119991 Moscow, Russia
References (91)
Show source-provided references
1. Internet of vehicles: Concept, process, security aspects and solutions10.1007/s11042-022-12386-1 ↗
2. Big Data management in smart grid: Concepts, requirements and implementation10.1186/s40537-017-0070-y ↗
3. Review of Smart City Assessment Tools10.3390/smartcities3040055 ↗
4. Aerial additive manufacturing with multiple autonomous robots10.1038/s41586-022-04988-4 ↗
5. Internet of Things (IoT), Applications and Challenges: A Comprehensive Review10.1007/s11277-020-07446-4 ↗
6. Robotics in Nursing: A Scoping Review10.1111/jnu.12424 ↗
7. Formal Specification and Verification of Autonomous Robotic Systems: A Survey
8. Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review10.1145/3542945 ↗
9. A Summary on 5G and Future 6G Internet of Things10.4018/978-1-7998-9266-3.ch010 ↗
10. Fifty years of microprocessor evolution: From single CPU to multicore and manycore systems10.2298/FUEE2202155N ↗
11. A Review on Neural Networks and its Applications
12. Survey on fuzzy logic methods in control systems of electromechanical plants
13. A Review Paper on Computer Vision10.48175/IJARSCT-8901 ↗
14. Computer vision and machine learning for medical image analysis: Recent advances, challenges, and way forward
15. Challenges and Limitations in Speech Recognition Technology: A Critical Review of Speech Signal Processing Algorithms, Tools and Systems
16. Big data preprocessing: Methods and prospects10.1186/s41044-016-0014-0 ↗
17. A Survey about Post Quantum Cryptography Methods
18. Quantum cryptography and combined schemes of quantum cryptography communication networks10.1070/QEL16732 ↗
19. Privacy-preserving traffic management: A Blockchain and zero-knowledge proof inspired approach10.1109/ACCESS.2020.3028189 ↗
20. A Review on Quantum Computing Trends & Future Perspectives
21. Kebande, V.R., Awaysheh, F.M., Ikuesan, R.A., Alawadi, S.A., and Alshehri, M.D. (2021). A Blockchain-Based Multi-Factor Authentication Model for a Cloud-Enabled Internet of Vehicles. Sensors, 21.10.20944/preprints202107.0429.v1 ↗
22. Securing Vehicle-to-Everything (V2X) Communication Platforms10.1109/TIV.2020.2987430 ↗
23. (2024, November 12). Cisco Annual Internet Report (2018–2023) White Paper Updated: 9 March 2020. Available online: https://www.cisco.com/c/en/us/solutions/collateral/executive-perspectives/annual-internet-report/white-paper-c11-741490.html.
24. Data Verification and Validation Process in the Management System Development
25. Caldas, R., Piñera García, J.A., Schiopu, M., Pelliccione, P., Rodrigues, G., and Berger, T. (2024). Runtime Verification and Field Testing for ROS-Based Robotic Systems. arXiv.10.1109/TSE.2024.3444697 ↗
26. Multiple-Valued Logic and Neural Network in the Position-Based Cryptography Scheme10.1007/s10946-021-10000-7 ↗
27. Algorand: A Secure and Efficient Distributed Ledger10.1016/j.tcs.2019.02.001 ↗
28. Ethan, B., and Jae, K. (2024, November 12). Cosmos Whitepaper: A Network of Distributed Ledgers. Available online: https://v1.cosmos.network/resources/whitepaper.
29. Cardoso, R.C., Farrell, M., Luckcuck, M., Ferrando, A., and Fisher, M. (2007). Heterogeneous Verification of an Autonomous Curiosity Rover. arXiv.
30. Verification of Asynchronous Mobile-Robots in Partially-Known Environments
31. Kouvaros, P., and Lomuscio, A. (2016, January 9–13). Formal verification of opinion formation in swarms. Proceedings of the 15 International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016), Singapore.
32. Foughali, M., Berthomieu, B., Dal Zilio, S., Hladik, P.-E., Ingrand, F., and Mallet, A. (June, January 27). Formal verification of complex robotic systems on resource-constrained platforms. Proceedings of the 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), IEEE, Gothenburg, Sweden.10.1145/3193992.3193996 ↗
33. Formal verification of autonomous vehicle platooning10.1016/j.scico.2017.05.006 ↗
34. Barbot, B., Bérard, B., Duplouy, Y., and Haddad, S. (2017, January 16). Statistical model-checking for autonomous vehicle safety validation. Proceedings of the SIA Simulation Numérique, HAL-Inria, Montigny-le-Bretonneux, France.
35. Runtime verification of robots collision avoidance case study
36. Bordini, E., and Weiss, Y. (2015, January 4–8). Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions. Proceedings of the 14th International Conference on Autonom, Agents and Multiagent Systems (AAMAS 2015), Istanbul, Turkey.
37. Mansoor, N., Saddler, J.A., Silva, B., Bagheri, H., Cohen, M.B., and Farritor, S. (2018, January 4–9). Modeling and testing a family of surgical robots: An experience report. Proceedings of the 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ACM, Lake Buena Vista, FL, USA.10.1145/3236024.3275534 ↗
38. Cavalcanti, A., Miyazawa, A., Sampaio, A., Li, W., Ribeiro, P., and Timmis, J. (2018, January 5–7). Modelling and verification for swarm robotics. Proceedings of the International Conference on Integrated Formal Methods, Maynooth, Ireland.10.1007/978-3-319-98938-9_1 ↗
39. Automated search-based robustness testing for autonomous vehicle software
40. (2024, November 12). Available online: https://www.mathworks.com/.
41. Property-driven design for robot swarms: A design method based on prescriptive modeling and model checking
42. APEX: Autonomous vehicle plan verification and execution
43. Lahiri, S., and Reger, G. (2017). Combining Model Checking and Runtime Verification for Safe Robotics. Runtime Verification, Springer International Publishing.10.1007/978-3-319-67531-2 ↗
44. Verifying collision avoidance behaviours for unmanned surface vehicles using probabilistic model checking
45. Foughali, M., Berthomieu, B., Dal Zilio, S., Ingrand, F., and Mallet, A. (2016, January 14–18). Model checking real-time properties on the functional layer of autonomous robots. Proceedings of the International Conference on Formal Engineering Methods ICFEM 2016, Tokyo, Japan.10.1007/978-3-319-47846-3_24 ↗
46. Hagerman, S., Andrews, A., and Oakes, S. (2016, January 18–20). Security testing of an unmanned aerial vehicle (UAV). Proceedings of the 2016 Cybersecurity Symposium (CYBERSEC), IEEE, Coeur d’Alene, ID, USA.10.1109/CYBERSEC.2016.012 ↗
47. Verification of advanced driver assistance systems (ADAS) and autonomous vehicles with hardware emulation-in-the-loop10.20485/jsaeijae.10.2_197 ↗
48. Ben Abdessalem, R., Panichella, A., Nejati, S., Briand, L.C., and Stifter, T. (2018, January 3–7). Testing autonomous cars for feature interaction failures using many-objective search. Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE, Montpellier, France.10.1145/3238147.3238192 ↗
49. Sieber, C., Vieira da Silva, L.M., Grünhagen, K., and Fay, A. (2024). Rule-Based Verification of Autonomous Unmanned Aerial Vehicles. Drones, 8.10.3390/drones8010026 ↗
50. Yaacoub, E., Abualsaud, K., and Mahmoudm, M. (2024). Hybrid Encryption for Securing and Tracking Goods Delivery by Multipurpose Unmanned Aerial Vehicles in Rural Areas Using Cipher Block Chaining and Physical Layer Security. Drones, 8.10.3390/drones8030111 ↗
51. Ma, J., Chen, P., Xiong, X., Zhang, L., Yu, S., and Zhang, D. (2024). Research on Vision-Based Servoing and Trajectory Prediction Strategy for Capturing Illegal Drones. Drones, 8.10.3390/drones8040127 ↗
52. Gao, J., Liu, Q., Chen, H., Deng, H., Zhang, L., Sun, L., and Huang, J. (2024). Digital Battle: A Three-Layer Distributed Simulation Architecture for Heterogeneous Robot System Collaboration. Drones, 8.10.20944/preprints202402.1124.v1 ↗
53. Sakagami, R., Lay, F.S., Dömel, A., Schuster, M.J., Albu-Schäffer, A., and Stulp, F. (2023). Robotic world models—Conceptualization, review, and engineering best practices. Front. Robot. AI, 10.10.3389/frobt.2023.1253049 ↗
54. Blockchain for Cybersecurity in Smart Grid: A Comprehensive Survey10.1109/TII.2020.2998479 ↗
55. Toward Blockchain for Edge-of-Things: A New Paradigm, Opportunities, and Future Directions10.1109/IOTM.0001.2000191 ↗
56. A Relative Study on Bitcoin Mining
57. Russell, S., and Norvig, P. (2021). Artificial Intelligence: A Modern Approach, Pearson. [4th ed.]. Chapters 2, 7, 11, 18, 26.
58. Identification for Control: From the Early Achievements to the Revival of Experiment Design*10.3166/ejc.11.335-352 ↗
59. Model Checking Partial State Spaces with 3-Valued Temporal Logics
60. Multi-Valued Model Checking via Classical Model10.1007/978-3-540-45187-7_18 ↗
61. Data structures for symbolic multi-valued model-checking10.1007/s10703-006-0016-z ↗
62. Winograd, T., and Flores, F. (1987). Understanding Computers and Cognition: A New Foundation for Design, Addison-Wesley Longman Publishing Co., Inc.10.1016/0004-3702(87)90026-9 ↗
63. Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., and Culler, D. (2003, January 9–11). The nesC Language: A Holistic Approach to Networked Embedded Systems. Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, San Diego, CA, USA. Report number: IRB-TR-02-019.10.1145/781132.781133 ↗
64. Casey, A., Davidson, E., Poon, M., Dong, H., Duma, D., Grivas Grover, A.C., Suarez-Paniagua, V., Tobin, R., Whiteley, W., and Wu, H. (2021). A Systematic Review of Natural Language Processing Applied to Radiology Reports. BMC Med. Inform. Decis. Mak., 21.10.1186/s12911-021-01533-7 ↗
65. Gelvanovsky, G. (2024). Effective Application of Large Language Models in Teaching Academic Writing in English: The Case of ChatGPT 3.5. Presentation April.
66. Understanding LiDAR Performance for Autonomous Vehicles Under Snowfall Conditions10.1109/TITS.2024.3409907 ↗
67. Case Study: Rigorous Boresight Alignment of a Marine Mobile LiDAR System Addressing the Specific Demands of Port Infrastructure Monitoring10.1080/01490419.2022.2025503 ↗
68. Bykovsky, A.Y., and Vasiliev, N.A. (2023). Data Verification in the Agent, Combining Blockchain and Quantum Keys by Means of Multiple-Valued Logic. Appl. Syst. Innov., 6.10.3390/asi6020051 ↗
69. Bykovsky, A. (2022). Multiple-Valued Logic Modelling for Agents Controlled via Optical Networks. Appl. Sci., 12.10.3390/app12031263 ↗
70. Rine, D.C. (1984). The Allen-Givone Implementation Oriented Algebra. Computer Science and Multiple-Valued Logic: Theory and Applications, North Holland.
71. Miller, D.M., and Thornton, M.A. (2008). Multiple-Valued Logic. Concepts and Representations, Springer Nature.10.1007/978-3-031-79779-8 ↗
72. Fitting, M., and Orłowska, E. (2010). Beyond Two: Theory and Applications of Multiple-Valued Logic, Physica.
73. Multiple-valued logic-protected coding for an optical non-quantum communication line10.1007/s10946-006-0031-y ↗
74. Arrathoon, R. (1989). Digital and Symbolic, Marcel Decker.
75. Heterogeneous network architecture for integration of AI and quantum optics by means of multiple-valued logic10.3390/quantum2010010 ↗
76. The Many-Valued Logic of Quantum Mechanics10.1007/s10773-019-04050-6 ↗
77. Parametrical T-Gate for Joint Processing of Quantum and Classic Optoelectronic Signals
78. Quantum random number generation10.1038/npjqi.2016.21 ↗
79. A Multiple-Valued Logic for Implementing a Random Oracle and the Position-Based Cryptography10.1007/s10946-019-09785-5 ↗
80. Beebe, N.H. (2017). The Mathematical-Function Computation Handbook, Springer.10.1007/978-3-319-64110-2 ↗
81. Measurement theory for physics10.1007/BF00711102 ↗
82. A Survey of Man in the Middle Attacks10.1109/COMST.2016.2548426 ↗
83. Expert Knowledge: Its Structure, Functions and Limits10.2478/sh-2018-0014 ↗
84. A Mathematical Theory of Language10.11114/ijce.v1i1.2893 ↗
85. (2024, November 12). MCS 51 Microcontrollers Family User’s Manual. Available online: https://web.mit.edu/6.115/www/document/8051.pdf.
86. Gregersen, C. (2024, November 10). A Complete Guide to Microcontrollers for IoT (23 July 2020). Available online: https://www.nabto.com/iot-microcontroller-guide/.
87. Billman, G.E. (2020). Homeostasis: The Underappreciated and Far Too Often Ignored Central Organizing Principle of Physiology. Front. Physiol., 11.10.3389/fphys.2020.00200 ↗
88. A Star Pattern Recognition Algorithm Based on the Radial Companion-Circumferential Feature10.1155/2022/1857481 ↗
89. (2024, November 12). Arduino. Available online: https://www.arduino.cc.
90. Sha, Z., Li, Z., Yu, N., and Zhang, Y. (2023, January 26–30). DE-FAKE: Detection and Attribution of Fake Images Generated by Text-to-Image Generation Models. Proceedings of the CCS ’23: ACM SIGSAC Conference on Computer and Communications Security, ACM SIGSAC Conference on Computer and Communications Security, Copenhagen, Denmark.10.1145/3576915.3616588 ↗
91. Cryptographic of high Security HashFunctions