\relax 
\citation{newell82}
\@LN@col{1}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@LN@col{2}
\citation{me96a,me96b}
\citation{me96a}
\citation{me96a,me96b,me97a}
\citation{deKleer86}
\citation{me96a}
\citation{me96a}
\citation{buch84}
\@LN@col{1}
\@writefile{toc}{\contentsline {section}{\numberline {2}Abduction}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}An Overview of Abduction}{2}}
\newlabel{sec:abd}{{2.1}{2}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A knowledge base. Edges are labeled with the author of that edge; e.g. author 1 and 2.}}{2}}
\newlabel{fig:kb}{{1}{2}}
\@LN@col{2}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Two generated worlds from Figure\nobreakspace  {}1\hbox {}. Edges are labeled with the author of that edge; e.g. author 1 and 2.}}{2}}
\newlabel{fig:worlds}{{2}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Abduction and the Knowledge Level}{2}}
\newlabel{sec:abkl}{{2.2}{2}}
\citation{norvig92}
\citation{me96a}
\citation{pople73,console91,reggia85}
\citation{reggia83}
\citation{reiter87,console91}
\citation{reiter87}
\citation{dekleer87}
\citation{poole85}
\citation{paris89}
\@LN@col{1}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.1}Prediction}{3}}
\newlabel{sec:predict}{{2.2.1}{3}}
\@LN@col{2}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.2}Diagnosis and Probing}{3}}
\newlabel{sec:dia}{{2.2.2}{3}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.3}Classification}{3}}
\newlabel{sec:class}{{2.2.3}{3}}
\citation{fecosm89b}
\citation{me97a}
\citation{me96a,me96b}
\citation{me95g}
\citation{me94}
\citation{me95}
\citation{me95a}
\citation{ng90}
\citation{poole90a}
\citation{falk90}
\citation{hamscher90}
\citation{hirata94}
\citation{leake93}
\@LN@col{1}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.4}Explanation and Tutoring}{4}}
\newlabel{sec:expl}{{2.2.4}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.5}Qualitative Reasoning}{4}}
\newlabel{sec:qr}{{2.2.5}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.6}Planning and Monitoring}{4}}
\newlabel{sec:plan}{{2.2.6}{4}}
\@LN@col{2}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.7}Validation}{4}}
\newlabel{sec:valid}{{2.2.7}{4}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.2.8}Others}{4}}
\newlabel{sec:others}{{2.2.8}{4}}
\citation{me96a}
\citation{breuker94}
\citation{clancey85,clancey92}
\citation{clancey85}
\citation{rosen93}
\citation{yost89}
\citation{newell91,newell93}
\citation{clancey92}
\citation{steels90}
\citation{marques92}
\citation{weil92}
\citation{weil92}
\citation{yost89}
\citation{steier93}
\citation{me96a,me97g}
\citation{benj95}
\citation{sellev90}
\citation{by91}
\citation{by91,eshghi93}
\@LN@col{1}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}{\tt  KL-A}\ and {\tt  KL-B}}{5}}
\newlabel{sec:klaklb}{{2.3}{5}}
\@LN@col{2}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}A Note on Complexity}{5}}
\newlabel{sec:complex}{{2.4}{5}}
\citation{me96b}
\citation{kang95}
\citation{gross93}
\@LN@col{1}
\@writefile{toc}{\contentsline {section}{\numberline {3}Ripple-Down-Rules}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}An Overview of Single Classification {\tt  RDR}}{6}}
\newlabel{sec:scrdr}{{3.1}{6}}
\@LN@col{2}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces A {\tt  RDR}\ knowledge base}}{6}}
\newlabel{fig:rdr}{{3}{6}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces The flattened rule set of Figure\nobreakspace  {}3\hbox {}.}}{6}}
\newlabel{fig:flat}{{4}{6}}
\citation{gaines92a}
\citation{preston93}
\citation{patil81}
\citation{vandebrug86}
\citation{compton90}
\citation{preston92}
\@LN@col{1}
\@LN@col{2}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces BNF for {{\tt  RDR}}. {\tt  RDFnode}s are discussed later\nobreakspace  {}(\S  4.2\hbox {}).}}{7}}
\newlabel{fig:bnfrdr}{{5}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Limits to {\tt  RDR}}{7}}
\newlabel{sec:probsrdr}{{3.2}{7}}
\@LN@col{1}
\@LN@col{2}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces A knowledge base.}}{8}}
\newlabel{fig:tarules}{{6}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {4}An Architecture for Ripple-Down-Rationality}{8}}
\newlabel{sec:rdra}{{4}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}{\tt  RD-RA}: An Example}{8}}
\newlabel{sec:eg}{{4.1}{8}}
\@LN@col{1}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces BNF for {\tt  RD-RA}}}{9}}
\newlabel{fig:tkb}{{7}{9}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces A search space generated from\nobreakspace  {}Figure\nobreakspace  {}6\hbox {}. Edges are labeled with their authors; e.g. {\em  t}={\tt  timm} and {\em  a}={\tt  ashesh}.}}{9}}
\newlabel{fig:ruleg}{{8}{9}}
\@LN@col{2}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces {\tt  Prefer}ence criteria.}}{9}}
\newlabel{fig:preferkb}{{9}{9}}
\citation{me92k}
\@LN@col{1}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces Refined {\tt  Prefer}ence criteria. Figure\nobreakspace  {}9\hbox {} is included into line 2 of this figure.}}{10}}
\newlabel{fig:preferkb1}{{10}{10}}
\@LN@col{2}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces {\tt  RDF}= {\tt  RDR}\ plus a {\tt  FunctionFrame} stack (top right).}}{10}}
\newlabel{fig:rdf}{{11}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Ripple-Down-Functions}{10}}
\newlabel{sec:rdf}{{4.2}{10}}
\citation{lee96}
\citation{richards97}
\citation{edwards96}
\citation{easter91b}
\citation{fink94}
\citation{nus97}
\@LN@col{1}
\@writefile{lof}{\contentsline {figure}{\numberline {12}{\ignorespaces BNF for {{\tt  RDF}}.}}{11}}
\newlabel{fig:bnfrdf}{{12}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Discussion}{11}}
\newlabel{sec:discuss}{{5}{11}}
\@LN@col{2}
\citation{rich92}
\citation{plex93}
\citation{rich92}
\citation{me96a,me96b}
\citation{hun97}
\citation{easter91b}
\citation{easter91b}
\citation{doyle79}
\citation{rich92}
\citation{deKleer86}
\bibstyle{myplain}
\bibdata{../../refs/refs}
\bibcite{benj95}{1}
\bibcite{breuker94}{2}
\bibcite{buch84}{3}
\bibcite{by91}{4}
\bibcite{clancey85}{5}
\bibcite{clancey92}{6}
\bibcite{compton90}{7}
\bibcite{console91}{8}
\bibcite{vandebrug86}{9}
\bibcite{deKleer86}{10}
\bibcite{dekleer87}{11}
\bibcite{doyle79}{12}
\bibcite{easter91b}{13}
\bibcite{edwards96}{14}
\bibcite{eshghi93}{15}
\bibcite{falk90}{16}
\bibcite{fecosm89b}{17}
\@LN@col{1}
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusion}{12}}
\@LN@col{2}
\bibcite{fink94}{18}
\bibcite{gaines92a}{19}
\bibcite{gross93}{20}
\bibcite{hamscher90}{21}
\bibcite{hirata94}{22}
\bibcite{hun97}{23}
\bibcite{kang95}{24}
\bibcite{leake93}{25}
\bibcite{lee96}{26}
\bibcite{marques92}{27}
\bibcite{me97g}{28}
\bibcite{me95g}{29}
\bibcite{me92k}{30}
\bibcite{me95}{31}
\bibcite{me95a}{32}
\bibcite{me96b}{33}
\bibcite{me96a}{34}
\bibcite{me94}{35}
\bibcite{me97a}{36}
\bibcite{newell82}{37}
\bibcite{newell93}{38}
\bibcite{newell91}{39}
\bibcite{ng90}{40}
\bibcite{norvig92}{41}
\bibcite{nus97}{42}
\bibcite{paris89}{43}
\bibcite{patil81}{44}
\bibcite{plex93}{45}
\bibcite{poole85}{46}
\bibcite{poole90a}{47}
\bibcite{pople73}{48}
\bibcite{preston92}{49}
\@LN@col{1}
\@LN@col{2}
\bibcite{preston93}{50}
\bibcite{reggia83}{51}
\bibcite{reggia85}{52}
\bibcite{reiter87}{53}
\bibcite{rich92}{54}
\bibcite{richards97}{55}
\bibcite{rosen93}{56}
\bibcite{sellev90}{57}
\bibcite{steels90}{58}
\bibcite{steier93}{59}
\bibcite{weil92}{60}
\bibcite{yost89}{61}
\@LN@col{1}
\@LN@col{2}
\newlabel{LastPage}{{}{14}}