Christina Carrick  Home/Search
Context
Related
| fas.sfu.ca/fasinfo/cs/pe...depth.ps.gz cs.sfu.ca/people/GradStud...depth.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fas.sfu.ca/fasinfo/cs/peo...work (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper the distinction between revision and update will be left somewhat fuzzy, especially when discussing the revisions which people make. In discussions pertaining to logics and possible worlds, however, the focus will be on the revision process as defined above. As for the update process in these contexts, Katsuno and Mendelzon began investigation into the peculiarities of update in [KM92], including a formalization of the process comparable to that described for revision in Section 3.... (Update)
Active bibliography (related documents): More All
2.5: Explanatory Coherence as a Model for Belief Revision - Carrick (1996) (Correct)
1.0: Order Effects in Human Belief Revision - Wang (1998) (Correct)
0.5: A Constraint-Based Approach to Multi-Agent Planning - Nick Lacey Henry (Correct)
Similar documents based on text: More All
0.4: On the Logic of Iterated Belief Revision - Darwiche, Pearl (1996) (Correct)
0.4: A Minimal Modelling for Successful Knowledge Base Revision - Delgrande (Correct)
0.4: A Minimal Modelling For Successful Knowledge Base Revision - Vi Si On (Correct)
BibTeX entry: (Update)
@misc{ carrick-belief,
author = "Christina Carrick",
title = "Belief Revision: A Survey",
url = "citeseer.ist.psu.edu/carrick97belief.html" }
Citations (may not include all citations):334 A truth maintenance system (context) - Doyle - 1979 ACM DBLP
200 the difference between updating a knowledge base and revisin.. - Katsuno, Mendelzon - 1992
198 Connectionism and cognitive architecture: A critical analysi.. - Fodor, Pylyshyn - 1988 ACM
188 Knowledge in Flux: Modeling the Dynamics of Epistemic States (context) - Gardenfors - 1988
182 Probabilistic Reasoning in Intelligent Systems: Networks of .. (context) - Pearl - 1988 ACM
132 An assumption-based TMS (context) - De Kleer - 1986 ACM DBLP
118 Induction: Processes of Inference (context) - Holland, Holyoak et al. - 1986
114 Ordinal conditional functions: A dynamic theory of epistemic.. (context) - Spohn - 1988
86 the logic of iterated belief revision - Darwiche, Pearl - 1997
86 the logic of iterated belief revision - Darwiche, Pearl - 1994
58 The Handbook of Artificial Intelligence (context) - Cohen, Feigenbaum - 1982
57 A natural ordering of defaults with tractable applications t.. (context) - Pearl - 1990
56 Belief revision (context) - Gardenfors, Rott - 1995 ACM
55 Belief revision (context) - Lehmann - 1995 ACM
36 Judgement Under Uncertainty: Heuristics and Biases (context) - Kahneman, Slovic et al. - 1982
35 Revision sequences and nested conditionals (context) - Boutilier - 1993 DBLP
29 Change in View (context) - Harman - 1986 DBLP
29 Advances in the Dempster-Shafer Theory of Evidence (context) - Yager, Fedrizzi et al. - 1994 ACM
27 Two Dogmas of Empiricism (context) - Quine - 1964
19 Alternative approaches to default logic (context) - Delgrande, Schaub et al. - 1994 ACM DBLP
17 Iterated revision and minimal change of conditional beliefs - Boutilier - 1996
13 The Robot's Dilemma: the Frame Problem in Artificial Intelli.. (context) - Pylyshyn - 1987
10 Revision by conditional beliefs (context) - Boutilier, Goldszmidt - 1993 DBLP
9 What is dempster-shafer's model (context) - Smets - 1994
9 Believing on the basis of evidence - Kyburg - 1994
9 A model for belief revision (context) - ao, Martins et al. - 1988 ACM DBLP
8 and the music of the spheres (context) - Fodor, frames et al. - 1987
8 Random House (context) - Quine, Ullian et al. - 1978
6 Adversarial problem solving: Modeling an opponent using expl.. (context) - Thagard - 1992
6 subjunctive and autoepistemic defaults: Adopting the Ramsey .. (context) - Boutilier - 1992
6 Transmutations of knowledge systems (context) - Williams - 1994 DBLP
5 Inference to the best plan: A coherence theory of decision (context) - Thagard - 1993
4 The explicit-implicit distinction (context) - Hadley - 1993
4 i and Maria Luisa Dalla Chiara, editors. Knowledge, Belief, .. (context) - Bicchier - 1992
3 Reason maintenance and belief revision (context) - Doyle - 1992
3 Behavioural and Brain Sciences (context) - Thagard - 1989
2 Assessing explanatory coherence: A new method for integratin.. (context) - Schank, Ranney - 1992
2 Epistemic folkways and scientific epistemology (context) - Goldman - 1993 ACM
2 Minds and Machines (context) - Hadley, uses et al. - 1991 ACM
2 The dynamics of belief systems: Foundations versus coherence.. (context) - Gardenfors - 1992
2 Readings in Philosophy and Cognitive Science (context) - Goldman - 1993 ACM
1 and models of belief (context) - Hadley, semantics - 1988
1 process model of belief (context) - Hadley, sense-based - 1991
1 New Directions for Methodology of Social and Behavioural Sci.. (context) - Ross, Lepper et al. - 1980
1 Human benchamrks on AI's benchmark problems (context) - Elio, Pelletier - 1993
1 Deductive reasoning (context) - Holland, Holyoak et al. - 1993 ACM
1 On reasoning with default rules and exceptions - Elio, Pelletier - 1996
1 Quadrangle Books (context) - Harris, Richard et al. - 1970
1 Modeling and experimental study of explanatory coherence (context) - Schank, Ranney - 1991
1 Explanatory coherence as a model for belief revision - Carrick - 1996
1 Order effects in abductive reasoning (context) - Krems, Johnson - 1996
1 Improved reasoning with Convince Me (context) - Schank, Ranney - 1995 DBLP
1 Analytic-synthetic (context) - Bennett - 1970
1 Essentials of Artificial Inteligence (context) - Ginsberg - 1993
1 Epistemic operators and knowledge-based reasoning (context) - Pearce - 1995
1 Syntactic conditional closures for defeasible reasoning (context) - Delgrande - 1995 DBLP
Documents on the same site (http://fas.sfu.ca/fas-info/cs/people/GradStudents/ccarrick/personal/work.html):
Explanatory Coherence as a Model for Belief Revision - Carrick (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