Information Technology Reference
In-Depth Information
generalization. Operationality is used to delete explanation structure during
generalization and the rules are formed from gained structure. Though most of
generalization is achieved during explanation, there is still no combination of
explanation and generalization
In MRS-EBG, operationality is determined during explanation. Once a
branch is terminated due to lack of operationality, backtrack immediately, and
search for another proof which can create an operationality concept definition of
this branch. Therefore, the operationality of goal concept can be found
eventually.
9.8.4
Operationality of META-LEX
In META-LEX, operationality considers factors of system performance. The
basic idea is to assess the operationality by experience: system uses concept
description and checks whether action of the system attains initial goals of the
system. META-LEX learns a set of steps in problem solving forwardly, or the
description of the set. If the performance does not attain the expected level,
META-LEX can assess to what extent the description is executable, and it can
also illustrate if the searching direction is right. This kind of assessing
operationality is dynamic. It depends on the current status and the current goal of
performance. What is more, this assessment can generate measurement and
efficiency. But this cost much for the system must be tested once operationality is
assessed.
The operationality is vital to EBL system. However, current methods to detect
operationality depend on whether the performance hypothesis can be simplified
(these hypothesis are easy to be broken). Though researchers from home and
abroad are seeking for effective methods for dealing with simplification, most of
the research only treats with theory application while in real applications it is
hard to get a satisfied answer. There is still a long way to go for investigation.
9.9 EBL with imperfect domain theory
9.9.1
Imperfect domain theory
One of the most important problems in EBL is domain theory. As the premise of
EBL, domain theory should be complete and correct. These demands are often
hard to meet in real applications and in reality domain theory is always
incomplete and incorrect. If the domain theory can not explain the training
example, the existing EBG will be invalid.
