Using Attention in Belief Revision

Belief revision for an intelligent system is usually computationally expensive. Here we tackle this problem by using focus in belief revision: that is, revision occurs only in a subset of beliefs under attention (or in focus). Attention can be shifted within the belief base, thus allowing use and revision of other subsets of beliefs. This attention-shifting belief revision architecture shows promise to allow efficient and natural revision of belief bases.

[1]  David A. McAllester.  Truth Maintenance , 1990, AAAI.

[2]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[3]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[4]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[5]  Stuart C. Shapiro,et al.  A Model for Belief Revision , 1988, Artif. Intell..

[6]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

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

[8]  Andreas Weber,et al.  Updating Propositional Formulas , 1986, Expert Database Conf..

[9]  Anand S. Rao,et al.  Formal Theories of Belief Revision , 1989, KR.

[10]  H. P Nii,et al.  Blackboard Systems , 1986 .

[11]  Johan de Kleer,et al.  Exploiting Locality in a TMS , 1990, AAAI.

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

[13]  Herbert Stoyan.  GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung , 1986, Informatik-Fachberichte.

[14]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[15]  Barbara Jane Brecht,et al.  Determining the focus of instruction: content planning for intelligent tutoring systems , 1992 .

[16]  Barbara J. Grosz,et al.  The Representation and Use of Focus in a System for Understanding Dialogs , 1977, IJCAI.

[17]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[18]  Etienne Wenger,et al.  Artificial Intelligence and Tutoring Systems: Computational and Cognitive Approaches to the Communication of Knowledge , 1987 .

[19]  Hirofumi Katsuno,et al.  A Unified View of Propositional Knowledge Base Updates , 1989, IJCAI.

[20]  Gary G. Hendrix,et al.  Encoding Knowledge in Partitioned Networks , 1979 .