TY - GEN

T1 - Example-guided optimization of recursive domain theories

AU - Feldman, Ronen

AU - Subramanian, Devika

PY - 1990/2

Y1 - 1990/2

N2 - The authors investigate the utility of explanation-based learning in recursive domain theories and examine the cost of using macro-rules in these theories. As a first step in producing effective explanation-based generalization (EBG) algorithms, the authors present a new algorithm for performing source optimization of recursive domain theories. The algorithm, RSG (recursive-structure generalizer), uses a training example as bias and generalizes the control knowledge encoded in the example's derivation tree to produce a more efficient formulation of the original domain theory. The control knowledge involves control of both clause and binding selection. The authors demonstrate the effectiveness of the method of planning problems in situation calculus. The authors show that in most cases one must know the future problem distribution a priori to produce an optimal reformulation.

AB - The authors investigate the utility of explanation-based learning in recursive domain theories and examine the cost of using macro-rules in these theories. As a first step in producing effective explanation-based generalization (EBG) algorithms, the authors present a new algorithm for performing source optimization of recursive domain theories. The algorithm, RSG (recursive-structure generalizer), uses a training example as bias and generalizes the control knowledge encoded in the example's derivation tree to produce a more efficient formulation of the original domain theory. The control knowledge involves control of both clause and binding selection. The authors demonstrate the effectiveness of the method of planning problems in situation calculus. The authors show that in most cases one must know the future problem distribution a priori to produce an optimal reformulation.

UR - http://www.scopus.com/inward/record.url?scp=0025376941&partnerID=8YFLogxK

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:0025376941

SN - 0818621354

T3 - Proceedings of the Conference on Artificial Intelligence Applications

SP - 240

EP - 244

BT - Proceedings of the Conference on Artificial Intelligence Applications

PB - Publ by IEEE

T2 - Proceedings of the 7th IEEE Conference on Artificial Intelligence Applications

Y2 - 24 February 1991 through 28 February 1991

ER -