Abstracting events for data mining

摘要: An event is described herein as being representable by a quantified abstraction of the event. The includes at least one predicate, and predicate has constant symbol corresponding thereto. instance to identified, replaced free variable obtain an abstracted predicate. Thus, composed pair: mapping between that corresponds A data mining algorithm executed over abstracted, events ascertain correlation another