search

RuleML / issues-ruleml

A repository solely for RuleML issues. No schemas or documents should be committed here.
3 stars 3 forks source link

Degree of Uncertainty in All Formulas #36

Closed greenTara closed 9 years ago

greenTara commented 9 years ago

From http://wiki.ruleml.org/index.php/Degree_of_Uncertainty_in_All_Formulas

Add the optional degree child element to the header of all formulas.

greenTara commented 9 years ago

It was neglected to add a test suite. When I did this, I found that quantifications had been left out during the modifications.

Also noting that the issue should not really be closed until it is merged with a release branch.