Learn More
In a temporal planning and reasoning system, many logical assertions will have a limited life span: they are "terminated" by later, contradictory assertions. By observing assertion terminators, the lifetime of an assertion can be bounded within an interval called the scope. Assertion scopes can greatly reduce the number of relevant matches returned from an(More)
Structural matching, originally introduced by S t e v en Vere in the mid-seventies, was a popular subbeld of inductive concept-learning in the late seventies and early eighties. Despite various attempts to formalize and implement the notion of \most speciic generalisation" of two productions, several problems remained. These include using background(More)
  • 1