A Method for Knowledge Representation to Design Intelligent Problems Solver in Mathematics Based on Rela-Ops Model

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F62690094%3A18450%2F20%3A50017133" target="_blank" >RIV/62690094:18450/20:50017133 - isvavai.cz</a>

Result on the web

<a href="https://ieeexplore.ieee.org/abstract/document/9072439" target="_blank" >https://ieeexplore.ieee.org/abstract/document/9072439</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/ACCESS.2020.2988929" target="_blank" >10.1109/ACCESS.2020.2988929</a>

Result language

angličtina

Original language name

A Method for Knowledge Representation to Design Intelligent Problems Solver in Mathematics Based on Rela-Ops Model

Original language description

Knowledge-base is a fundamental platform in the architecture of an intelligent system. Relations and operators are popular knowledge in practice knowledge domains. In this paper, we propose a method to represent the model by combining these kinds of knowledge, called the Rela-Ops model. This model includes foundation components consisting of concepts, relations, operators, and inference rules. It is built based on ontology and object-oriented approaches. Besides the structure, each concept of the Rela-Ops model is a class of objects which also have behaviors to solve problems on their own. The processing of algorithms for solving problems on the Rela-Ops model combines the knowledge of relations and operators in the reasoning. Furthermore, we also propose a knowledge model for multiple knowledge domains, in which each sub-domain has the form as the Rela-Ops model. These representation methods have been applied to build knowledge bases of Intelligent Problems Solver (IPS) in mathematics. The knowledge base of 2D-Analytical Geometry in a high-school is built by using the Rela-Ops model, and the knowledge base of Linear Algebra in university is designed by using the model for multiple knowledge domains. The IPS system can automatically solve basic and advanced exercises in respective courses. The reasoning of their solutions is done in a step-by-step approach. It is similar to the solving method by humans. The solutions are also pedagogical and suitable for the learner&apos;s level and easy to be used by students studying 2D-Analytical Geometry in high-school and Linear Algebra in university.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2020

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

IEEE Access

ISSN

2169-3536

e-ISSN

—

Volume of the periodical

8

Issue of the periodical within the volume

April

Country of publishing house

US - UNITED STATES

Number of pages

22

Pages from-to

76991-77012

UT code for WoS article

000531905100018

EID of the result in the Scopus database

2-s2.0-85084789086