Russell, Stuart 1985. The complete guide to MRS. Technical Report KSL-85-12, Knowledge Systems Laboratory, Department of Computer Science, Stanford University, CA. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Irrelevance Reasoning In Knowledge Based Systems - Levy (1993) (15 citations) (Correct)
....: a n ) is included in the index for the relation e in I 1 if a 1 ; a n satisfies the constraint label of some leaf of the 2 Which may be the node OE(n) itself. 3 The performance of the backward chainer compared favorably with that of Epikit (a commercial implementation of MRS [ Russell, 1985 ] Furthermore, the speedups attained by removing irrelevant formulas (BC2 below) were also tested using the backward chainer of Epikit and the speedups attained were even better than those reported here. In the experiments we tested several rule and goal orderings. The results are shown for ....
Russell, Stuart 1985. The complete guide to MRS. Technical Report KSL-85-12, Knowledge Systems Laboratory, Department of Computer Science, Stanford University, CA.
Exploiting Irrelevance Reasoning to Guide Problem Solving - Levy, Sagiv (1993) (4 citations) (Correct)
....to control inference. We presented a general framework for stating knowledge about irrelevance and reasoning with it. We concentrated on the class of strong irrelevance claims 11 The performance of our backward chainer compared favorably with that of Epikit (a commercial implementation of MRS [Russell, 1985]) KB size Filtering Percent BC1 BC2 Facts Rules time (sec) irrelevant (sec) sec) 1 350 6 1.7 63 2450 170 2 350 6 1.7 63 580 214 3 200 18 7.8 70 380 12 4 200 18 5.6 70 25 5.3 5 200 18 19.8 65 41 10.8 6 200 18 8.5 42 460 19 7 1300 47 8.7 70 24 18.5 8 150 17 0.8 59 33 7.5 Table ....
Russell, Stuart 1985. The complete guide to MRS. Technical Report KSL-85-12, Department of Computer Science, Stanford University, Stanford, CA.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC