(Enter summary)
Abstract: This paper discusses several approaches to belief revision taken in the AI literature. Work in belief revision is scattered across many subfields of AI. We will examine FORTE and PTR from the machine learning community [Richards and Mooney, 1993, Feldman et al., 1993, Feldman, 1993], GDE from the diagnosis community [de Kleer and Williams, 1992], and theoretical work from the knowledge representation community [Nebel, 1989]. The discussion will focus on integrating ideas from these diverse... (Update)
Active bibliography (related documents): More All
0.5: Retrieval Situations and Belief Change - Losada, Barreiro (2000)
(Correct)
0.3: Building Softbots for UNIX (Preliminary Report) - Etzioni, Lesh, Segal (1992)
(Correct)
0.3: xii: Planning with Universal Quantification and Incomplete .. - Golden, Etzioni, Weld (1994)
(Correct)
Similar documents based on text: More All
0.2: Belief Revision in Propositional Knowledge Bases - George Flouris And
(Correct)
0.1: Yang-Mills Theory and The Segal-Bargmann Transform - Hall (1999)
(Correct)
0.1: Complex Gaussian Analysis and the Bargmann-Segal Space - Grothaus, Kondratiev (1997)
(Correct)
BibTeX entry: (Update)
@misc{ segal-belief,
author = "Richard Segal",
title = "Belief Revision",
year = "1994",
url = "citeseer.ist.psu.edu/segal94belief.html",
url = "citeseer.nj.nec.com/segal94belief.html" }
Citations (may not include all citations):
492
Learning logical definitions from relations (context) - Quinlan - 1990
334
A truth maintenance system (context) - Doyle - 1979
189
Diagnosing multiple faults (context) - de Kleer, Williams - 1992
189
The knowledge level (context) - Newell - 1981
149
the logic of theory change: Partial meet contraction and rev.. (context) - Alchourr'on, Gardenfors et al. - 1985
132
An assumption based TMS (context) - de Kleer - 1986
78
Revisions of knowledge systems using epistemic entrenchment (context) - Gardenfors, Makinson - 1988
75
Theory refinement combining analytical and empirical methods
- Ourston, Mooney - 1993
56
A knowledge level analysis of belief revision
- Nebel - 1989
41
an oracle based approach to constructive induction (context) - Muggleton - 1987
37
Refinement of approximately correct domain theories by knowl.. (context) - Towell, Shavlik et al. - 1990
31
Building softbots for Unix (context) - Etzioni, Lesh et al. - 1992
31
and retranslation (context) - Ginsberg, theory - 1990
21
Knowledge-base reduction: a new approach to checking knowled.. (context) - Ginsberg - 1988
15
Softbots as testbeds for machine learning
- Etzioni, Segal - 1992
13
Using crude probability estimates to guide diagnoses (context) - de Kleer - 1992
13
Refinement of first-order horn-clause domain theories (context) - Richards, Mooney - 1993
12
Controlling search for the consequences of new information d.. (context) - Murray, Porter - 1989
11
Theory revision via prior operationalization (context) - Ginsberg - 1988
10
Efficient learning of logic programs with non-determinate (context) - Kijsirikul, Numao et al. - 1991
6
Probabilistic Revision of Logical Domain Theories (context) - Feldman - 1993
4
A planner for a UNIX softbot (context) - Lesh - 1992
2
Rules for rational changes of belief (context) - Gardenfors - 1982
1
Automatic repair of flawed knowledge bases (context) - Feldman, Segre et al. - 1993
1
UCPOP-XII user's manual (context) - Golden - 1993
Documents on the same site (http://www.cs.washington.edu/homes/segal/papers.html): More
Machine Learning as Massive Search - Segal (1997)
(Correct)
St. Bernard: The File Retrieving Softbot - Segal (1993)
(Correct)
An Analysis of Oversearch - Segal (1996)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC