HeaRTDroid is a rule-based inference engine both for Android mobile devices, and desktop solutions
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
pub:software:heartdroid:documentation:hmr [2017/01/19 13:19] msl [Definition] |
pub:software:heartdroid:documentation:hmr [2017/05/15 07:39] admin [Rules] |
||
---|---|---|---|
Line 9: | Line 9: | ||
This section will present the semi-formal definition of HMR along with link to the full grammar used in actual parser generation process (using [[http://mousepeg.sourceforge.net/|Mouse parser generator]]). Firstly, there will be defined primitive types used in HMR. Subsequent subsections will concern more and more complex elements of a HMR model. | This section will present the semi-formal definition of HMR along with link to the full grammar used in actual parser generation process (using [[http://mousepeg.sourceforge.net/|Mouse parser generator]]). Firstly, there will be defined primitive types used in HMR. Subsequent subsections will concern more and more complex elements of a HMR model. | ||
- | As for the notation, double-quotes ''"'' are put around the literals, brackets ''('' and '')'' are used to groups tokens, and question sign ''?'' is used in some places to mark that the token is optional. | + | As for the notation, double-quotes ''"'' are put around the literals, brackets ''('' and '')'' are used to group tokens, and question sign ''?'' is used in some places to mark that the preceding token is optional. |
==== Primitives ===== | ==== Primitives ===== | ||
Line 250: | Line 250: | ||
</code> | </code> | ||
- | * //Certainty Factor// is an optional number from range ''<0, 1.0>''. If present, has to be preceded with ''#'' symbol. This number is used to handle uncertain knowledge in the reasoning phase. | + | * //Certainty Factor// is an optional number from range ''<-1.0, 1.0>''. If present, has to be preceded with ''#'' symbol. This number is used to handle uncertain knowledge in the reasoning phase. |
* Example of rule: | * Example of rule: |