The DOI matches its Crossref record; 62 of the 66 references it cites were found in a registry or an index.
Abduction as belief revision
Open accessOverview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
In the citing paper
“This approach is also claimed to set a minimum criterion that an explanation must fulfill: it must favor the probability of the observed event P to all the hypothetical alternatives (Q 1 , Q 2 , . . ., Q n ) [14].”
From A Survey of Contrastive and Counterfactual Explanation Generation Methods for Explainable Artificial Intelligence (2021) · cites this paper as [14]
In the citing paper
“Alternatively, counterfactual explanation is widely addressed in the paradigm of case-based reasoning, i.e., a family of problem solving methods based on appeals to precedent solutions.”
From A Survey of Contrastive and Counterfactual Explanation Generation Methods for Explainable Artificial Intelligence (2021) · cites this paper as [14]
Citations
Cites
(1988) · Cited by 16,582
The Logic of Scientific Discovery
Bhaskar, R. (2013) · Routledge eBooks · doi:10.4324/9780203090732-9 · Cited by 7,765
On the logic of theory change: Partial meet contraction and revision functions
Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985) · Journal of Symbolic Logic · doi:10.2307/2274239 · Cited by 3,245
A theory of diagnosis from first principles
Reiter, R. (1987) · Artificial Intelligence · doi:10.1016/0004-3702(87)90062-2 · Cited by 3,031
The Logic of Scientific Discovery.
Kendall, M. G., & Popper, K. R. (1959) · Biometrika · doi:10.2307/2332835 · Cited by 2,896
Hempel, C. G. (1966) · Medical Entomology and Zoology · Cited by 2,518
Stalnaker, R. C. (1968) · IFS · doi:10.1007/978-94-009-9117-0_2 · Cited by 2,220
de Kleer, J., & Williams, B. C. (1987) · Artificial Intelligence · doi:10.1016/0004-3702(87)90063-4 · Cited by 2,024
Lewis, D. (1973) · The Journal of Philosophy · doi:10.2307/2025310 · Cited by 1,917
Nonmonotonic reasoning, preferential models and cumulative logics
Kraus, S., Lehmann, D. J., & Magidor, M. (1990) · Artificial Intelligence · doi:10.1016/0004-3702(90)90101-5 · Cited by 1,660
Hobbs, J. R., Stickel, M. E., Appelt, D. E., & Martin, P. (1988) · Artificial Intelligence · doi:10.1016/0004-3702(93)90015-4 · Cited by 1,222
Knowledge in Flux: Modeling the Dynamics of Epistemic States
Gärdenfors, P. (1990) · Medical Entomology and Zoology · Cited by 1,213
Adams, E. W. (1975) · Springer eBooks · doi:10.1007/978-94-015-7622-2 · Cited by 1,206
Readings in Knowledge Representation
Brachman, R. J., & Levesque, H. J. (1985) · Medical Entomology and Zoology · Cited by 1,041
Diagnostic reasoning based on structure and behavior
Davis, R. (1984) · Artificial Intelligence · doi:10.1016/0004-3702(84)90042-0 · Cited by 971
A logical framework for default reasoning
Poole, D. (1988) · Artificial Intelligence · doi:10.1016/0004-3702(88)90077-x · Cited by 725
Two modellings for theory change
Grove, A. J. (1988) · Journal of Philosophical Logic · doi:10.1007/bf00247909 · Cited by 702
Quine, W. V. O., & Ullian, J. S. (1970) · Medical Entomology and Zoology · Cited by 636
The use of design descriptions in automated diagnosis
Genesereth, M. (1984) · Artificial Intelligence · doi:10.1016/0004-3702(84)90043-2 · Cited by 535
Preferred subtheories: an extended logical framework for default reasoning
Brewka, G. (1989) · Cited by 421
All I know: A study in autoepistemic logic
Levesque, H. J. (1990) · Artificial Intelligence · doi:10.1016/0004-3702(90)90056-6 · Cited by 382
Found ations of assumption-based truth maintenance systems: preliminary report
Reiter, R., & de Kleer, J. (1987) · National Conference on Artificial Intelligence · Cited by 300
Nonmonotonic inference based on expectations
Gärdenfors, P., & Makinson, D. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90017-5 · Cited by 288
Toward a Logic for Qualitative Decision Theory
Boutilier, C. E. (1994) · Principles of Knowledge Representation and Reasoning · doi:10.1016/b978-1-4832-1452-8.50104-4 · Cited by 277
Self-citationNute, D. E. (1980) · Springer eBooks · doi:10.1007/978-94-009-8966-5 · Cited by 273
Prediction is deduction but explanation is abduction
Shanahan, M. (1989) · Cited by 247
A spectrum of logical definitions of model‐based diagnosis1
Console, L., & Torasso, P. (1991) · Computational Intelligence · doi:10.1111/j.1467-8640.1991.tb00388.x · Cited by 237
Conditional logics of normality: A modal approach
Boutilier, C. E. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90096-5 · Cited by 234
Self-citationGinsberg, M. L. (1986) · Artificial Intelligence · doi:10.1016/0004-3702(86)90067-6 · Cited by 218
Explanation and prediction: an architecture for default and abductive reasoning
Poole, D. (1989) · Computational Intelligence · doi:10.1111/j.1467-8640.1989.tb00319.x · Cited by 212
Goldszmidt, M., & Pearl, J. (1992) · Principles of Knowledge Representation and Reasoning · Cited by 195
Sober, E. R. (1981) · The British Journal for the Philosophy of Science · doi:10.1093/bjps/32.2.145 · Cited by 185
An approach to default reasoning based on a first-order conditional logic: Revised report
Delgrande, J. P. (1988) · Artificial Intelligence · doi:10.1016/0004-3702(88)90079-3 · Cited by 181
Knowledge in Flux: Modeling the Dynamics of Epistemic States.
Menzies, P., & Gärdenfors, P. (1994) · The Philosophical Review · doi:10.2307/2185882 · Cited by 178
Revision sequences and nested conditionals
Boutilier, C. E. (1993) · International Joint Conference on Artificial Intelligence · Cited by 163
Self-citation(2014) · Palgrave Macmillan eBooks · doi:10.1057/9781137389831.0010 · Cited by 158
Normality and faults in logic-based diagnosis
Poole, D. (1989) · Cited by 152
Focusing on probable diagnoses
de Kleer, J. (1991) · Cited by 150
A logical framework for depiction and image interpretation
Reiter, R., & Mackworth, A. K. (1989) · Artificial Intelligence · doi:10.1016/0004-3702(89)90008-8 · Cited by 149
A knowledge-level account of abduction
Levesque, H. J. (1989) · International Joint Conference on Artificial Intelligence · Cited by 147
Modal logics with linear alternative relations
Segerberg, K. (1970) · Theoria · doi:10.1111/j.1755-2567.1970.tb00429.x · Cited by 129
Nonmonotonic Reasoning and Causation
Shoham, Y. (1990) · Cognitive Science · doi:10.1207/s15516709cog1402_2 · Cited by 125
de Kleer, J., Mackworth, A. K., & Reiter, R. (1990) · Lecture notes in computer science · doi:10.1007/3-540-53104-1_27 · Cited by 105
What does a conditional knowledge base entail?Preprint
Lehmann, D. J., & Magidor, M. (2002) · arXiv (Cornell University) · doi:10.48550/arxiv.cs/0202022 · Cited by 103
Abduction versus closure in causal theories
Konolige, K. (1992) · Artificial Intelligence · doi:10.1016/0004-3702(92)90073-7 · Cited by 101
Unifying default reasoning and belief revision in a modal framework
Boutilier, C. E. (1994) · Artificial Intelligence · doi:10.1016/0004-3702(94)90095-7 · Cited by 80
Self-citationOn the consistency of defeasible databases
Goldszmidt, M., & Pearl, J. (1991) · Artificial Intelligence · doi:10.1016/0004-3702(91)90039-m · Cited by 67
Gärdenfors, P. (1993) · Springer eBooks · doi:10.1007/978-94-015-8208-7_3 · Cited by 63
Peirce's Philosophy of Science
Rescher, N. (1978) · Cited by 61
Peirce's Philosophy of Science: Critical Studies in his Theory of Induction and Scientific Method.
Altshuler, B., & Rescher, N. (1981) · The Philosophical Review · doi:10.2307/2184381 · Cited by 55
Representing diagnostic knowledge for probabilistic Horn abduction
Poole, D. C. (1991) · Cited by 46
Revision by conditional beliefs
Boutilier, C. E., & Goldszmidt, M. (1993) · Cited by 46
Self-citationThe Pragmatics of Explanation1
van Fraassen, B. C. (1980) · doi:10.1093/0198244274.003.0005 · Cited by 45
Nonmonotonic Reasoning and Causation: Comment
Simon, H. A. (1991) · Cognitive Science · doi:10.1207/s15516709cog1502_5 · Cited by 43
G�rdenfors, P. (1978) · Synthese · doi:10.1007/bf00873245 · Cited by 42
Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems.
FRIEDRICH, G. E., & Nejdl, W. (1992) · RWTH Publications (RWTH Aachen) · Cited by 41
Doyle, J., Sandewall, E. J., & Torasso, P. (1994) · Cited by 36
Inaccessible worlds and irrelevance preliminary report
Boutilier, C. E. (1991) · Cited by 27
Self-citationUsing default and causal reasoning in diagnosis
Konolige, K. (1994) · Annals of Mathematics and Artificial Intelligence · doi:10.1007/bf01530739 · Cited by 23
Epistemic Entrenchment in Autoepistemic Logic
Boutilier, C. E. (1992) · Fundamenta Informaticae · doi:10.3233/fi-1992-171-203 · Cited by 12
Self-citationThe Probability of a Possibility: Adding Uncertainty to Default Rules
Boutilier, C. E. (1993) · Uncertainty in Artificial Intelligence · doi:10.1016/b978-1-4832-1451-1.50060-3 · Cited by 10
Self-citationA critique of Yoav Shoham's theory of causal reasoning
Galton, A. (1991) · National Conference on Artificial Intelligence · Cited by 7
Cited by
Sorted by citations
Stepin, I., Alonso, J. M., Catala, A., & Pereira-Farina, M. (2021) · IEEE Access · doi:10.1109/access.2021.3051315 · Cited by 376
“In addition, contrastive reasoning forms the basis of abductive inference [19], i.e., the process of inferring certain facts that render some observation plausible [20].”
BackgroundAbductive reasoning and qualitative research
Lipscomb, M. (2012) · Nursing Philosophy · doi:10.1111/j.1466-769x.2011.00532.x · Cited by 149
Explanations, belief revision and defeasible reasoning
Falappa, M. A., Kern-Isberner, G., & Simari, G. R. (2002) · Artificial Intelligence · doi:10.1016/s0004-3702(02)00258-8 · Cited by 107
Enhancing model checking in verification by AI techniques
Buccafurri, F., Eiter, T., Gottlob, G., & Leone, N. (1999) · Artificial Intelligence · doi:10.1016/s0004-3702(99)00039-9 · Cited by 85
“Note that the close relationship between abduction and revision is well-recognized, and its investigation received increasing interest more recently, e.g., [ 5 , 29, 33, 34].”
BackgroundModel-Based and Manipulative Abduction in Science
Magnani, L. (2004) · Foundations of Science · doi:10.1023/b:foda.0000042841.18507.22 · Cited by 80
Metadata
- Authors
- Boutilier, C., & Beche, V.
- Affiliations
- University of British Columbia (CA)
- Corresponding author
- Boutilier, Craig
- ORCID
- Boutilier, Craig
- Venue
- Artificial Intelligence
- Publisher
- Elsevier BV
- Published
- 1995-08
- Volume
- 77
- Issue
- 1
- Pages
- 43-94
- ISSN
- 0004-3702 (ISSN-L)
- OpenAlex
- W2074890228
- Cited by
- 118
- References
- 66
- Citations by year
- 2025: 1 · 2024: 4 · 2023: 6 · 2022: 3 · 2021: 4 · 2020: 2 · 2019: 3 · 2018: 2 · 2017: 3 · 2016: 5 · 2015: 1 · 2014: 5 · 2013: 3 · 2012: 5
- FWCI
- 6.20
- Type
- journal article
- Language
- en
- Open access
- bronze
- doi.org
- Licence
- Locations
- Artificial Intelligence (publishedVersion)
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Physical Sciences › Computer Science › Artificial Intelligence › AI-based Problem Solving and Planning
- Physical Sciences › Computer Science › Artificial Intelligence › Multi-Agent Systems and Negotiation
- Keywords
- abduction, belief revision, epistemic states, explanation, nonmonotonic reasoning, explanation preference, normality, plausibility, model-based diagnosis, consistency-based diagnosis
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
