The method of reuse of knowledge in the form of logical equations
DOI:
https://doi.org/10.30837/ITSSI.2023.25.015Keywords:
software engineering; knowledge bases; reuse of knowledge; algebra of finite predicates; logical equationsAbstract
The subject of research is the processes of building and replenishing knowledge bases, the processes of knowledge reuse and the creation of software systems based on knowledge bases, the interpretation of knowledge is one of the approaches to their repeated application, which consists in deriving new knowledge based on the available facts in the knowledge base. The purpose of the research is to develop a method of knowledge reuse by solving logical equations of finite predicates for a certain subject area. The tasks were performed: to investigate descriptive approaches to logical modeling of the subject area, which make it possible to reuse the knowledge given by the system of logical equations within the algebra of finite predicates, to develop a method of replenishing the knowledge base in the form of predicate equations by extracting variables from logical systems, where equations represent complex logical connections between discrete features of objects or processes. The methods were used to solve the listed problems: the algebra of finite predicates, quantifier operations with predicates for the interpretation of knowledge. The results were obtained: descriptive methods of knowledge reuse were considered; a method of replenishing the knowledge base in the form of logical equations is proposed simplify the further use of implicit connections between discrete features; an example of replenishment of the knowledge base of the medical field is considered, which makes it possible to reuse knowledge given implicitly. Conclusions: the proposed method makes it possible to replenish the knowledge base in the form of logic equations by adding predicate equations connecting separate sets of discrete variables that are of interest to a scientist or a practitioner. The method of replenishing the knowledge base is based on adding new simplified equations; simplified predicate equations model logical patterns implicitly contained in the main knowledge base; an experimental study was conducted
References
Список літератури
L. He and P. Jiang Manufacturing Knowledge Graph: A Connectivism to Answer Production Problems Query With Knowledge Reuse, in IEEE Access, Vol. 7, 2019. P. 101231–101244. DOI: 10.1109/ACCESS.2019.2931361
B. Zhou, J. Bao, Y. Liu and D. Song BA-IKG: BiLSTM Embedded ALBERT for Industrial Knowledge Graph Generation and Reuse, 2020 IEEE 18th International Conference on Industrial Informatics (INDIN), Warwick, United Kingdom, 2020. P. 63–69. DOI: 10.1109/INDIN45582.2020.9442198
L. He and P. Jiang P. SaaS: knowledge service-oriented manufacturing workflow model for knowledge collaboration and reuse, 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE), Hong Kong, China, 2020, P. 570–575. DOI: 10.1109/CASE48305.2020.9216974
D. Sapra and A. D. Pimentel Deep Learning Model Reuse and Composition in Knowledge Centric Networking, 29th International Conference on Computer Communications and Networks (ICCCN), Honolulu, HI, USA, 2020. P. 1–11. DOI: 10.1109/ICCCN49398.2020.9209668
N. Sharonova et al. Issues of Fact-based Information Analysis. International Conference on Computational Linguistics and Intelligent Systems, 2018. URL: https://www.semanticscholar.org/paper/Issues-of-Fact-based-Information-Analysis-Sharonova-Doroshenko/f923b77b8561736202388db853e51df9bb7b9301
W. Adjandra, Y. B. Putrapratama, A. Wiraguna, D. I. Sensuse and N. Safitri Systematic Literature Review Knowledge Reuse in Software Development, International Conference on Computer Science and Engineering (IC2SE), Padang, Indonesia, 2021, P. 1–7. DOI: 10.1109/IC2SE52832.2021.9792093
Y. B. Putrapratama, W. Adjandra, A. Wiraguna, D. I. Sensuse and N. Safitri Knowledge Reuse Evaluation in Software Development: A Case Study on a Startup Company, Sixth International Conference on Informatics and Computing (ICIC), Jakarta, Indonesia, 2021. P. 1–7. DOI: 10.1109/ICIC54025.2021.9632904
I. Shubin Development of conjunctive decomposition tools. CEUR Workshop Proceedings, 2021, Vol. 2870, P. 890–900 URL: https://ceur-ws.org/Vol-2870/
K. U. Sarker, A. B. Deraman and R. Hasan, Descriptive Logic for Software Engineering Ontology: Aspect Software Quality Control, 4th International Conference on Computer and Information Sciences (ICCOINS), Kuala Lumpur, Malaysia, 2018. P. 1–5. DOI: 10.1109/ICCOINS.2018.8510585
N. Kamide Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge Bases with Sequential Information, IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Miyazaki, Japan, 2020. P. 218–223. DOI: 10.1109/ISMVL49045.2020.000-2
R. Rawal, K. Goel and C. Gupta COVID-19: Disease Pattern Study based on Semantic-Web Approach using Description Logic, IEEE International Conference for Innovation in Technology (INOCON), Bangluru, India, 2020. P. 1–5. DOI: 10.1109/INOCON50539.2020.9298278
I. Shubin, S. Snisar and S. Litvin Formalization and Application of Algebraic Methods in Automated Intelligent Systems, IEEE 8th International Conference on Problems of Infocommunications, Science and Technology (PIC S&T), Kharkiv, Ukraine. 2021. P. 67–70. DOI: 10.1109/PICST54195.2021.9772174
Каратаєв О.А., Шубін І.Ю. Проблеми повторного використання знань при проєктуванні програмних
систем. Сучасний стан наукових досліджень та технологій в промисловості, 2023. No. 2 (24). С. 25–34. DOI: 10.30837/ITSSI.2023.24.025
Karataiev O., Sitnikov D., Sharonova N. A Method for Investigating Links between Discrete Data Features in Knowledge Bases in the Form of Predicate Equations, CEUR Workshop Proceedings, 2023. P. 224–235. URL: https://ceur-ws.org/Vol-3387/paper17.pdf
Melnik K., Cherednichenko O., Glushko V. Towards medical screening information technology: the healthgrid-based approach Information Systems: Methods, Models, and Applications. Heidelberg: Springer, 2013. P. 202–204. DOI: 10.1007/978-3-642-38370-0_21
H. Kandil et al. Analysis of The Importance of Systolic Blood Pressure Versus Diastolic Blood Pressure in Diagnosing Hypertension: MRA Study. IEEE International Conference on Image Processing (ICIP), Abu Dhabi, United Arab Emirates, 2020. P. 443–447. DOI: 10.1109/ICIP40778.2020.9190990
M. Zhang, T. Zhang and Y. Cheng Intelligent Method of Non-Invasive Detection and Grading of Hypertension Using Fingertip Photoplethysmography. 3rd International Conference on Applied Machine Learning (ICAML), Changsha, China, 2021. P. 418–422. DOI: 10.1109/ICAML54311.2021.00094
References
He, L., Jiang, P. (2019), "Manufacturing Knowledge Graph: A Connectivism to Answer Production Problems Query With Knowledge Reuse", in IEEE Access, Vol. 7. P. 101231–101244. DOI: 10.1109/ACCESS.2019.2931361
Zhou, B., Bao, J., Liu, Y., Song, D. (2020), "BA-IKG: BiLSTM Embedded ALBERT for Industrial Knowledge Graph Generation and Reuse," 2020 IEEE 18th International Conference on Industrial Informatics (INDIN), Warwick, United Kingdom. P. 63–69, DOI: 10.1109/INDIN45582.2020.9442198
He, L., Jiang, P. (2020), "P-SaaS: knowledge service-oriented manufacturing workflow model for knowledge collaboration and reuse," 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE), Hong Kong, China. P. 570–575. DOI: 10.1109/CASE48305.2020.9216974
Sapra, D., Pimentel, A. (2020), "Deep Learning Model Reuse and Composition in Knowledge Centric Networking," 29th International Conference on Computer Communications and Networks (ICCCN), Honolulu, HI, USA. P. 1–11. DOI: 10.1109/ICCCN49398.2020.9209668
Sharonova, N. et al. "Issues of Fact-based Information Analysis". International Conference on Computational Linguistics and Intelligent Systems, 2018. available at: https://www.semanticscholar.org/paper/Issues-of-Fact-based-Information-Analysis-Sharonova-Doroshenko/f923b77b8561736202388db853e51df9bb7b9301
Adjandra, W., Putrapratama, Y., Wiraguna, A., Sensuse, D. and Safitri, N. (2021), "Systematic Literature Review Knowledge Reuse in Software Development," International Conference on Computer Science and Engineering (IC2SE), Padang, Indonesia. P. 1–7. DOI: 10.1109/IC2SE52832.2021.9792093
Putrapratama, Y., Adjandra, W., Wiraguna, A., Sensuse, D. and Safitri, N. (2021), "Knowledge Reuse Evaluation in Software Development: A Case Study on a Startup Company", Sixth International Conference on Informatics and Computing (ICIC), Jakarta, Indonesia. P. 1–7. DOI: 10.1109/ICIC54025.2021.9632904
Shubin, I. "Development of conjunctive decomposition tools". CEUR Workshop Proceedings, 2021, Vol. 2870, P. 890–900 available at: https://ceur-ws.org/Vol-2870/
Sarker, K., Deraman, A. and Hasan, R. (2018), "Descriptive Logic for Software Engineering Ontology: Aspect Software Quality Control", 4th International Conference on Computer and Information Sciences (ICCOINS), Kuala Lumpur, Malaysia. P. 1–5. DOI: 10.1109/ICCOINS.2018.8510585
Kamide, N. (2020) "Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge Bases with Sequential Information", IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), Miyazaki, Japan. P. 218–223. DOI: 10.1109/ISMVL49045.2020.000-2
Rawal, R., Goel, K., Gupta, C. (2020), "COVID-19: Disease Pattern Study based on Semantic-Web Approach using Description Logic", IEEE International Conference for Innovation in Technology (INOCON), Bangluru, India. P. 1–5. DOI: 10.1109/INOCON50539.2020.9298278
Shubin, I., Snisar S., Litvin, S. (2021), "Formalization and Application of Algebraic Methods in Automated Intelligent Systems", IEEE 8th International Conference on Problems of Infocommunications, Science and Technology (PIC S&T), Kharkiv, Ukraine. P. 67–70. DOI: 10.1109/PICST54195.2021.9772174
Karataiev, O., Shubin, I. (2023), "Reuse of Information Based on the Interpretation of Knowledge". ["Problemy povtornoho vykorystannia znan pry proiektuvanni prohramnykh system"]. Technologies and Scientific Solutions for Industries. No. 2(24). Р. 25–34. DOI: 10.30837/ITSSI.2023.24.025
Karataiev, O., Sitnikov, D., Sharonova, N. "A Method for Investigating Links between Discrete Data Features in Knowledge Bases in the Form of Predicate Equations", CEUR Workshop Proceedings, 2023. P. 224–235. available at: https://ceur-ws.org/Vol-3387/paper17.pdf
Melnik, K., Cherednichenko, O., Glushko, V. (2013), "Towards medical screening information technology: the healthgrid-based approach". Information Systems: Methods, Models, and Applications. Heidelberg: Springer. P. 202-204. DOI: 10.1007/978-3-642-38370-0_21
Kandil, H. et al. (2020), "Analysis of The Importance of Systolic Blood Pressure Versus Diastolic Blood Pressure in Diagnosing Hypertension: MRA Study", IEEE International Conference on Image Processing (ICIP), Abu Dhabi, United Arab Emirates. P. 443–447. DOI: 10.1109/ICIP40778.2020.9190990
Zhang, M., Zhang, T. and Cheng, Y. (2021), "Intelligent Method of Non-Invasive Detection and Grading of Hypertension Using Fingertip Photoplethysmography". 3rd International Conference on Applied Machine Learning (ICAML), Changsha, China. P. 418–422. DOI: 10.1109/ICAML54311.2021.00094
Downloads
Published
How to Cite
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Our journal abides by the Creative Commons copyright rights and permissions for open access journals.
Authors who publish with this journal agree to the following terms:
Authors hold the copyright without restrictions and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License (CC BY-NC-SA 4.0) that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this journal.
Authors are able to enter into separate, additional contractual arrangements for the non-commercial and non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this journal.
Authors are permitted and encouraged to post their published work online (e.g., in institutional repositories or on their website) as it can lead to productive exchanges, as well as earlier and greater citation of published work.
