Relevance from an Epistemic Perspective

Abstract In this paper we study relevance relations in the context of prepositional logical theories and subject matters or topics of interest, which we take to be sets of atomic propositions. In particular, we are interested in answering questions like the following: when is a sentence (or theory) relevant to a subject matter, or, when is a topic relevant to another topic or sentence given some background theory? Relevance is studied from a subjective or epistemic point of view, that is, we try to capture relevance relations from an agent's point of view relative to his or her deductive capabilities. For this purpose, we start out with the definition of regular belief, which covers a wide range of belief models, from the very weak to those closed under classical logical implication. In the paper, we consider one example from each of the extremes, which are called explicit and implicit belief, respectively. We define a notion of prime implicates which applies to all models of regular belief and which has its usual meaning under implicit belief. Prime implicates turn out to be the right primitive from which all definitions of relevance are derived. Among the main technical contributions is a detailed comparison between relevance under implicit belief and three other approaches in the literature. This investigation reveals that all four share a lot of common ground even though some have very different starting points. We also study the complexity of determining relevance relations for implicit as well as explicit belief. While intractability obtains often, but not always, for implicit belief, the analogous problems for explicit belief are almost always tractable.

[1]  Adnan Darwiche,et al.  A Logical Notion of Conditional Independence: Properties and Application , 1997, Artif. Intell..

[2]  H. Levesque Logic and the complexity of reasoning , 1988 .

[3]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[4]  Yehoshua Sagiv,et al.  A Proof-Theoretic Approach to Irrelevance: Foundations and Applications , 1994 .

[5]  Jean H. Gallier,et al.  Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae , 1984, J. Log. Program..

[6]  Ian A. Mason,et al.  Metamathematics of Contexts , 1995, Fundam. Informaticae.

[7]  Gerhard Lakemeyer,et al.  Limited Reasoning in First-Order Knowledge Bases , 1994, Artif. Intell..

[8]  Charles Elkan,et al.  Independence of logic database queries and update , 1990, PODS '90.

[9]  Gerhard Lakemeyer All You Ever Wanted to Know about Tweety (But Were Afraid to Ask) , 1992, KR.

[10]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[11]  Leon J. Osterweil,et al.  On Two Problems in the Generation of Program Test Paths , 1976, IEEE Transactions on Software Engineering.

[12]  Gerhard Lakemeyer All They Know About , 1993, AAAI.

[13]  Frédéric Cuppens,et al.  How to recognize interesting topics to provide cooperative answering , 1989, Inf. Syst..

[14]  Hector J. Levesque,et al.  A Knowledge-Level Account of Abduction , 1989, IJCAI.

[15]  Ronald Fagin,et al.  A Nonstandard Approach to the Logical Omniscience Problem , 1990, Artif. Intell..

[16]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[17]  Hector J. Levesque,et al.  Support Set Selection for Abductive and Default Reasoning , 1996, Artif. Intell..

[18]  J. Keynes A Treatise on Probability. , 1923 .

[19]  Per-Åke Larson,et al.  Updating derived relations: detecting irrelevant and autonomously computable updates , 1986, VLDB.

[20]  Gerhard Lakemeyer,et al.  A Tractable Knowledge Representation Service with Full Introspection , 1988, TARK.

[21]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[22]  Hector J. Levesque,et al.  Abductive and Default Reasoning: A Computational Core , 1990, AAAI.

[23]  Russell Greiner,et al.  What's New? A Semantic Definition of Novelty , 1983, IJCAI.

[24]  Pierre Marquis Novelty Revisited , 1991, ISMIS.

[25]  J. Dunn,et al.  Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .

[26]  Rudolf Carnap,et al.  Logical foundations of probability , 1951 .

[27]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[28]  J. Dekleer An assumption-based TMS , 1986 .

[29]  Raymond Reiter,et al.  Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report , 1987, AAAI.

[30]  Jaakko Hintikka,et al.  Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .

[31]  Gerhard Lakemeyer A Logical Account of Relevance , 1995, IJCAI.

[32]  Peter Gärdenfors On the logic of relevance , 1978 .

[33]  Devika Subramanian,et al.  The Relevance of Irrelevance , 1987, IJCAI.

[34]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[35]  Alon Y. Halevy,et al.  Queries Independent of Updates , 1993, VLDB.

[36]  Judea Pearl,et al.  Symbolic Causal Networks , 1994, AAAI.