A Proof-Theoretic Approach to Irrelevance: Foundations and Applications
Alon Y. Levy, Richard E. Fikes, Yehoshua Sagiv · 1994
ions: Often a representation is too complex for a given query because it contains too many distinctions in its domain. Therefore it may be worthwhile to first abstract a representation by removing some irrelevant distinctions (e.g. arguments of relations, distinctions between predicates) and then answer the query. In [ Levy, 1994 ] we consider the problem of automatically abstracting a representation by removing distinctions that are irrelevant to a set of queries. This is done by considering other kinds of relevance subjects and devising algorithms for automatically deriving appropriate irrelevance claims. An application of this technique to the problem of automatically choosing models of physical devices is described in [ Iwasaki and Levy, 1994 ] . Information Gathering in Distributed Heterogeneous Environments: An important application of future knowledge base systems will be to integrate and provide high level querying facilities for a large number heterogeneous sources (such as d...