Information Technology Reference
In-Depth Information
-
Files FUNCTIONS.txt and FUNCTIONS_DEF.txt are structured text files that store the
specification of functions (the component Funcs of KBCO model). The structure of file
FUNCTIONS.txt is as follows
begin_Functions
<result concept> <function name>(sequence of concepts);
<result concept> <function name>(sequence of concepts);
...
end_Functions
-
File FACT_KINDS.txt is the structured text file that stores the definition of kinds of
facts. Its structure is as follows
begin_Factkinds
1, <fact structure>, <fact structure>, ...;
2, <fact structure>, <fact structure>, ...;
...
end_Factkinds
-
File RULES.txt is the structured text file that stores deductive rules. Its structure is as
follows
begin_Rules
begin_rule
kind_rule = "<rule kind>";
<object> : <concept>;
...
hypothesis_part:
<set of facts>
goal_part:
<set of facts>
end_rule
...
end_Rules
-
Files OBJECTS.txt and FACTS.txt are the structured text files that store certain objects
and facts. The structure of file OBJECTS.txt is as follows
begin_objects
<object name> : <concept>;
<object name> : <concept>;
...
end_objects
4.2 Design the inference engine
Design the inference engine is stage 4 of the design process. The inference engine design
includes the following tasks:
From the collection of problems obtained in stage 1 with an initial classification, we can
determine classes of problems base on known models such as Com-Net, CO-Net, and
their extensions. This task helps us to model classes of problems as frame-based
problem models, or as Com-Nets and CO-Nets for general forms of problems.
Techniques for modeling problems are presented in the stage 4 of the design process.
