1)What are the basic EBL process of extracting general rules from examples? A) -->The basic idea behind EBL is *first to construct an explanation of the observation using prior kno6. *To establish a definition of the class (examples /samples), for which the same explanation Structure can be used. --The definition provides the basis for a rule which suitable for all the classes. -->The explanation can be logical proof ,it can be any reasoning or problem solving process whose steps are well defined. -->The sample back ward chaining theorem prover is used for our reasoning. -->The proof tree for derivative (x^2,x)=2x is too large to use as an example. 2)What are the factors involved in the analysis of efficiency gains from EBL? A) There are three factors involved in the analysis of efficiency gains from EBL : *Adding large number of rules can slow down the reasoning process, because the Inference mechanism must still check these rules in cases where they will disturb the derived solution. *To compensate for the slow down in reasoning, the derived rules must offer significant increases in speed for the cases that they do cover. *Derived rules should be as general as possible so that they apply to the target.
Extracting general rules from examples: -->basic EBL process: 1.Given an example construct a proof that the goal predicate applies to the example using the available background knowledge. 2.In parallel, construct a generalized proof tree for the variabilized goal using the same inference steps as in the original proof. 3.construct a new rule whose left hand side consists of the leaves of the proof tree and whose right hand-side is the variabilized goal 4.drop any conditions that are true irrespective of the values of the variables in the goal. Three factors involved in the analysis of efficiency gains from EBL: 1.Adding large number of rules can slow down the reasoning process. 2.Increase in the speed by avoiding dead ends. 3.Derived rules should be as general as possible.
1)What are the basic EBL process of extracting general rules from examples? Ans)The basic idea behind EBL is -> First to construct an explanation of observation using prior knowledge. -> To establish a definition of the class, for which same explanation structure can be used. -> The simple backward chaining theorem prover is used for our reasoning. -> Drop any conditions that are true irrespective of values of variables in the goal. 2)What are the factors involved in the analysis of efficiency gains from EBL? Ans)-> The generalized proof tree gives more than one generalized rules. -> This rule is more general than the rule arithmetic unknown because it covers cases where z is a number. -> we can extract a still more general rule by pruning after the step *Simplify (y+z,w) giving the rule. *Simplify (y+z.w)=>simplify (1*(y+x),w). -> In general a rule can be extracted from any partial subtree of the generalized proof tree.
Q1. What are the basic EBL process of extracting general rules from examples? A. ✓ The basic ideas behind EBL is. * First to construct an explanation of the observation using prior knowledge. * To establish a definition of the class(examples/samples), for which the same explanation structure can be used. ✓ This definition provides the basis for a rule which suitable for all the classes. ✓ The "explanation" can be a logical proof , it can be any reasoning or problem solving process whose steps are well defined. ✓ The simple Backward chaining Theorem prover is used for our reasoning. ✓ The proof tree for derivative (x^2,x)=2x is too large to use as an example. Q2. What are the factors involved in the analysis of efficiency gains from EBL? A. ✓ There are three factors involved in the analysis of efficiency gains from EBL. 1. Adding large number of rules can slow down the reasoning process, because the interface mechanism must still check those rules even in cases where they will disturb the derived solution. In other words, it increases the branching factor in the search space. 2. To compensate for the slow down in reasoning, the derived rules must offer significant increases in speed for the cases that they do cover. These increases come about mainly because the derived rules avoid dead ends that would otherwise be taken, but also because they shorten the proof itself. 3. Derived rules should be as general as possible, so that they apply to the largest possible set of cases.
Q1: What are the basic EBL process of extracting general rules from examples. Ans: The basic idea behind EBL is, *First to construct an explanation of the observation using prior knowledge, *to establish a definition of the, class, for which the same explanation structure can be used. -->The simple backward chaining theorem prover is used for our reasoning. -->Drop any conditions that are true irrespective of the values of the variables in the goal. Q2: What are the factors involved in the analysis of efficiency gains from EBL Ans: The generalized proof tree gives more than one generalized rule. -->This rule is more general than the rule Arithmetic unknown, because it covers cases where z is a number. --> We can extract a still more general rule by pruning after the step. *Simplify (y+z,w), giving the rule *Simplify (y+z,w)=>Simplify (1*(y+x),w). --> In general ,a rule can be extracted from any partial subtree of the generalized proof tree.
1)What are the basic EBL process of extracting general rules from examples?
A) -->The basic idea behind EBL is
*first to construct an explanation of the observation using prior kno6.
*To establish a definition of the class (examples /samples), for which the same explanation Structure can be used.
--The definition provides the basis for a rule which suitable for all the classes.
-->The explanation can be logical proof ,it can be any reasoning or problem solving process whose steps are well defined.
-->The sample back ward chaining theorem prover is used for our reasoning.
-->The proof tree for derivative (x^2,x)=2x is too large to use as an example.
2)What are the factors involved in the analysis of efficiency gains from EBL?
A) There are three factors involved in the analysis of efficiency gains from EBL :
*Adding large number of rules can slow down the reasoning process, because the Inference mechanism must still check these rules in cases where they will disturb the derived solution.
*To compensate for the slow down in reasoning, the derived rules must offer significant increases in speed for the cases that they do cover.
*Derived rules should be as general as possible so that they apply to the target.
Good Pavani, great job
Extracting general rules from examples:
-->basic EBL process:
1.Given an example construct a proof that the goal predicate applies to the example using the available background knowledge.
2.In parallel, construct a generalized proof tree for the variabilized goal using the same inference steps as in the original proof.
3.construct a new rule whose left hand side consists of the leaves of the proof tree and whose right hand-side is the variabilized goal
4.drop any conditions that are true irrespective of the values of the variables in the goal.
Three factors involved in the analysis of efficiency gains from EBL:
1.Adding large number of rules can slow down the reasoning process.
2.Increase in the speed by avoiding dead ends.
3.Derived rules should be as general as possible.
Good Aishwarya
1)What are the basic EBL process of extracting general rules from examples?
Ans)The basic idea behind EBL is
-> First to construct an explanation of observation using prior knowledge.
-> To establish a definition of the class, for which same explanation structure can be used.
-> The simple backward chaining theorem prover is used for our reasoning.
-> Drop any conditions that are true irrespective of values of variables in the goal.
2)What are the factors involved in the analysis of efficiency gains from EBL?
Ans)-> The generalized proof tree gives more than one generalized rules.
-> This rule is more general than the rule arithmetic unknown because it covers cases where z is a number.
-> we can extract a still more general rule by pruning after the step
*Simplify (y+z,w) giving the rule.
*Simplify (y+z.w)=>simplify (1*(y+x),w).
-> In general a rule can be extracted from any partial subtree of the generalized proof tree.
Good Jesna
Q1. What are the basic EBL process of extracting general rules from examples?
A.
✓ The basic ideas behind EBL is.
* First to construct an explanation of the observation using prior knowledge.
* To establish a definition of the class(examples/samples), for which the same explanation structure can be used.
✓ This definition provides the basis for a rule which suitable for all the classes.
✓ The "explanation" can be a logical proof , it can be any reasoning or problem solving process whose steps are well defined.
✓ The simple Backward chaining Theorem prover is used for our reasoning.
✓ The proof tree for derivative (x^2,x)=2x is too large to use as an example.
Q2. What are the factors involved in the analysis of efficiency gains from EBL?
A.
✓ There are three factors involved in the analysis of efficiency gains from EBL.
1. Adding large number of rules can slow down the reasoning process, because the interface mechanism must still check those rules even in cases where they will disturb the derived solution. In other words, it increases the branching factor in the search space.
2. To compensate for the slow down in reasoning, the derived rules must offer significant increases in speed for the cases that they do cover. These increases come about mainly because the derived rules avoid dead ends that would otherwise be taken, but also because they shorten the proof itself.
3. Derived rules should be as general as possible, so that they apply to the largest possible set of cases.
Excellent ramcharan
Q1: What are the basic EBL process of extracting general rules from examples.
Ans: The basic idea behind EBL is,
*First to construct an explanation of the observation using prior knowledge,
*to establish a definition of the, class, for which the same explanation structure can be used.
-->The simple backward chaining theorem prover is used for our reasoning.
-->Drop any conditions that are true irrespective of the values of the variables in the goal.
Q2: What are the factors involved in the analysis of efficiency gains from EBL
Ans: The generalized proof tree gives more than one generalized rule.
-->This rule is more general than the rule Arithmetic unknown, because it covers cases where z is a number.
--> We can extract a still more general rule by pruning after the step.
*Simplify (y+z,w), giving the rule
*Simplify (y+z,w)=>Simplify (1*(y+x),w).
--> In general ,a rule can be extracted from any partial subtree of the generalized proof tree.
Good Amrutha