research-article

A method for Representation the Knowledge of Functions and Operators and Application

Authors:

Hien D. Nguyen,

Nhon V. DoAuthors Info & Claims

ICMLSC '19: Proceedings of the 3rd International Conference on Machine Learning and Soft Computing

Pages 148 - 153

https://doi.org/10.1145/3310986.3311012

Published: 25 January 2019 Publication History

Abstract

Computational Objects Knowledge Base (COKB) model is very useful for building knowledge bases of intelligent systems, especially for designing intelligent problems solver systems. This model is constructed based on ontology and object-oriented approach. Objects in COKB model have the structure and behaviors to solve problems on themselves. This model had algorithms for solving general problems on it. However, the reasoning on the knowledge of functions and operators has not yet been researched completely. In this paper, we will present techniques for reasoning on the knowledge of functions and operators in COKB model. These results have been also applied to design an intelligent problems solver in Linear Algebra in the mathematic curriculum of the university.

References

[1]

Calvin LeGassick, et. al, 2017. Artificial Intelligence Index - 2017 Annual report, Stanford University (2017).

[2]

Noy, N., McGuinness, D. (Eds). 2013. Final Report on the 2013 NSF Workshop on Research Challenges and Opportunities in Knowledge Representation, National Science Foundation Workshop Report, August 2013.

[3]

Hatzilygeroudis, I., Prentzas, J. 2004. Knowledge Representation Requirements for Intelligent Tutoring Systems. Proceeding of 7th International Conference on Intelligent Tutoring Systems. ITS 2004. LNCS 3220, pp.87--97, Springer.

[4]

Harmelem, F., Lifschitz, V., Porter, B. 2008. Handbook of Knowledge Representation. Elsevier.

Digital Library

[5]

Wang, H. 2011. Research on the Model of Knowledge Representation Ontology Based on Framework in Intelligent Learning System. Proceeding of 2011 International Conference on Electrical and Control Engineering. ICECE 2011. China, 6757--6760.

[6]

Wang, Y., Valipour, M., Zatarain, O., Gavrilova, M., Hussain, A., Howard, N., Patel, S. 2017. Formal Ontology Generation by deep machine learning. Proceeding of 2017 IEEE 16th International Conference on Cognitive Informatics & Cognitive Computing. (Oxford, UK, July 2017). ICCI*CC.

[7]

Do, N. 2012. Chapter 6 - Intelligent Problem Solvers in Education: Design Method and Applications. In Intelligent Systems, Vladimir M. Koleshko, Ed. InTech.

[8]

Nhon V. Do, N. 2015. Ontology COKB for Knowledge Representation and Reasoning in Designing Knowledge-Based Systems. Communications in Computer and Information Science (CCIS), 513, 101--118.

[9]

Russell, S., Norvig, P. 2010. Artificial Intelligent -- A modern approach (3rd ed.). Prentice Hall.

Digital Library

[10]

Kolodner, J. 1992. An introduction to case-based reasoning. Artificial Intelligence Review, 6, 1, 3--34.

[11]

Do, N., Nguyen, H., Mai, T. 2013. Designing an Intelligent Problems Solving System based on Knowledge about Sample Problems, Proceeding of 5th Asian conference on Intelligent Information and Database Systems (Kuala Lumpur, Malaysia, March 2013). ACIIDS 2013. Springer, LNAI 7802, 465--475.

Digital Library

[12]

Do, N., Nguyen, H., Mai, T. 2015. Reasoning Method on Knowledge about Functions and Operators. International Journal of Advanced Computer Science and Applications, 6, 6, 156--168.

[13]

Nguyen, H., Do, N., Pham, V., Inoue, K. 2018. Solving problems on a knowledge model of operators and application. Int. J. Digital Enterprise Technology, 1, 1/2, 37--59.

[14]

Nguyen, H., Do, N., Tran, N., Pham, H. 2018. Criteria of a Knowledge model for an Intelligent Problems Solver in Education, Proceeding of 2018 10th IEEE International Conference on Knowledge and Systems Engineering (Ho Chi Minh city, Vietnam, Nov. 2018). KSE 2018. 288--293.

[15]

Brachman, R., Levesque, H. 2004. Knowledge Representation and Reasoning. Morgan Kaufmann.

Digital Library

[16]

Nguyen, H, Do, N., Pham, V. 2018. Rela-Ops model: A method for Knowledge Representation and Application. Proceeding of 17th International Conference on Intelligent Software Methodologies, Tools, and Techniques (Granada, Spain, Sept. 2018). SOMET 2018. Frontiers in Artificial Intelligence and Applications, 303, 825--838.

[17]

Lang, S. 2004. Linear Algebra (3rd ed.). Undergraduate Texts in Mathematics. Springer.

[18]

Anton, H., Rorres, C. 2010. Elementary Linear Algebra (10th ed.), John Wiley & Sons.

[19]

Sakama, C., Inoue, K., Sato, T. 2017. Linear Algebraic Characterization of Logic Programs, Proceeding of 10th International conference on Knowledge Science, Engineering and Management (Melbourne, Australia, 2017). KSEM 2017. Springer, LNAI, 10412, 530--533.

[20]

Nurdiati, S., Hoede, C. 2008. 25 years development of knowledge graph theory: the results and the challenge. Memorandom, 1876, 1--10.

[21]

Grefenstette, E. 2013. Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors, Second Joint Conference on Lexical and Computational Semantics (Atlanta, Georgia, June 2013), 1--10.

[22]

Nguyen, H.D., Sakama, C., Sato, T., Inoue, K. 2018. Computing Logic Programming Semantics in Linear Algebra. Proceeding of 12th Multi-disciplinary International Conference on Artificial Intelligence (Ha Noi, Vietnam, Nov. 2018). MIWAI 2018. Springer, LNAI, 11248, 32--48.

[23]

Symbolab: https://www.symbolab.com/solver

[24]

Mathway: https://www.mathway.com/

Cited By

Nguyen HNguyen LTran NNguyen-Le VVu S(2021)Design an Intelligent Problem Solver in Mathematics based on Integrated-Knowledge Model2021 13th International Conference on Knowledge and Systems Engineering (KSE)10.1109/KSE53942.2021.9648716(1-6)Online publication date: 10-Nov-2021
https://doi.org/10.1109/KSE53942.2021.9648716
Nguyen HPham VTran DLe T(2019)Intelligent tutoring chatbot for solving mathematical problems in High-school2019 11th International Conference on Knowledge and Systems Engineering (KSE)10.1109/KSE.2019.8919396(1-6)Online publication date: Oct-2019
https://doi.org/10.1109/KSE.2019.8919396

Index Terms

A method for Representation the Knowledge of Functions and Operators and Application
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
      1. Ontology engineering

Recommendations

Designing an intelligent problems solving system based on knowledge about sample problems
ACIIDS'13: Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I

In computer science and information technology, ontology has been researched and developed in application for knowledge representation. COKB model (Computational Object Knowledge Base) is an ontology was researched and applied in designing knowledge ...
Ontology versus semantic networks for medical knowledge representation
ICCOMP'08: Proceedings of the 12th WSEAS international conference on Computers

The efficient Semantic Web, needs knowledge to be presented in a well defined form which enables people and software agents to understand it. There are many knowledge representation techniques such as rules, frames, scripts, semantic network and ...
Development of a method for ontology-based empirical knowledge representation and reasoning

In the knowledge economy era of the 21st century [14,17], the competitive advantage of enterprises has shifted from visible equipment, capital and labor in the past to invisible knowledge nowadays. Knowledge can be distinguished into tacit knowledge and ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

ICMLSC '19: Proceedings of the 3rd International Conference on Machine Learning and Soft Computing

January 2019

268 pages

ISBN:9781450366120

DOI:10.1145/3310986

Copyright © 2019 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 January 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

This research is funded by University of Information Technology ? Vietnam National University HoChiMinh city

Conference

ICMLSC 2019

ICMLSC 2019: 2019 the 3rd International Conference on Machine Learning and Soft Computing

January 25 - 28, 2019

Da Lat, Viet Nam

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
83
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)3

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Nguyen HNguyen LTran NNguyen-Le VVu S(2021)Design an Intelligent Problem Solver in Mathematics based on Integrated-Knowledge Model2021 13th International Conference on Knowledge and Systems Engineering (KSE)10.1109/KSE53942.2021.9648716(1-6)Online publication date: 10-Nov-2021
https://doi.org/10.1109/KSE53942.2021.9648716
Nguyen HPham VTran DLe T(2019)Intelligent tutoring chatbot for solving mathematical problems in High-school2019 11th International Conference on Knowledge and Systems Engineering (KSE)10.1109/KSE.2019.8919396(1-6)Online publication date: Oct-2019
https://doi.org/10.1109/KSE.2019.8919396

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten