Is there any need for domain-dependent control information?
Matthew L. Ginsberg, Donald F. Geddis · 1991
No. 1 Introduction The split between base-level and metalevel knowledge has long been recognized by the declarative community. Roughly speaking, base-level knowledge has to do with information about some particular domain, while metalevel knowledge has to do with knowledge about that information. A typical base-level fact might be, "Iraq invaded Kuwait," while a typical metalevel fact might be, "To show that a country c is aggressive, first try to find another country that has been invaded by c." Base-level information is of necessity domaindependent, since the facts presented will involve the particular domain about which the system is expected to reason. Metalevel information, however, can be either domain-dependent (as in the example of the previous paragraph and as typically described in [Silver,1986]), or domain-independent. Typical domain-independent metalevel rules are the cheapest-first heuristic or the results found in Smith's work on control of inference [Smith,1986, Smi...