{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:29:12Z","timestamp":1760596152831},"reference-count":44,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1998,10,1]],"date-time":"1998-10-01T00:00:00Z","timestamp":907200000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":5411,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1998,10]]},"DOI":"10.1016\/s0004-3702(98)00081-2","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T00:24:09Z","timestamp":1027643049000},"page":"295-343","source":"Crossref","is-referenced-by-count":31,"title":["Analysis of notions of diagnosis"],"prefix":"10.1016","volume":"105","author":[{"given":"Peter J.F.","family":"Lucas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(98)00081-2_BIB1","series-title":"Proceedings 10th International Joint Conference on Artificial Intelligence (IJCAI-87)","first-page":"366","article-title":"MUNIN\u2014a causal probabilistic network for interpretation of electromyographic findings","author":"Andreassen","year":"1987"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB2","series-title":"Proceedings International Conference on Fault Diagnosis (Tooldiag-93)","first-page":"1019","article-title":"DPNet\u2014a second generation expert system for localizing faults in power transmission networks","author":"Beschta","year":"1993"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB3","series-title":"Intelligent Tutoring Systems","first-page":"227","article-title":"Pedagogical, natural language and engineering techniques in SOPHIE I","author":"Brown","year":"1982"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB4","series-title":"Rule-based Expert Systems: the MYCIN Experiments of the Stanford Heuristic Programming Project","author":"Buchanan","year":"1984"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB5","series-title":"Knowledge Representation","first-page":"25","article-title":"The computational complexity of abduction","author":"Bylander","year":"1992"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB6","doi-asserted-by":"crossref","unstructured":"B. Chandrasekaran, Generic tasks as building blocks for knowledge-based systems: the diagnosis and routine design examples, The Knowledge Engineering Review 3 (3) 183\u2013210.","DOI":"10.1017\/S0269888900004458"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB7","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1016\/0004-3702(94)90030-2","article-title":"Cost-based abduction and MAP explanation","volume":"66","author":"Charniak","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB8","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(85)90016-5","article-title":"Heuristic classification","volume":"27","author":"Clancey","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB9","series-title":"Proceedings 11th International Joint Conference on Artificial Intelligence","first-page":"1311","article-title":"A theory of diagnosis for incomplete causal models","author":"Console","year":"1989"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB10","series-title":"Proceedings ECAI-90","first-page":"160","article-title":"Integrating models of correct behaviour into abductive diagnosis","author":"Console","year":"1990"},{"issue":"5","key":"10.1016\/S0004-3702(98)00081-2_BIB11","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","article-title":"On the relationship between abduction and deduction","volume":"1","author":"Console","year":"1991","journal-title":"J. Logic Comput."},{"issue":"3","key":"10.1016\/S0004-3702(98)00081-2_BIB12","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","article-title":"A spectrum of logical definitions of model-based diagnosis","volume":"7","author":"Console","year":"1991","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB13","series-title":"Proceedings IEEE Symposium on Logic Programming","first-page":"183","article-title":"General diagnosis by abductive inference","author":"Cox","year":"1987"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB14","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/BF01530755","article-title":"Model-based diagnosis of analog electronic circuits","volume":"11","author":"Dague","year":"1994","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB15","series-title":"Exploring Artificial Intelligence: Survey Talks from the National Conference on Artificial Intelligence","first-page":"297","article-title":"Model-based reasoning: troubleshooting","author":"Davis","year":"1988"},{"issue":"10","key":"10.1016\/S0004-3702(98)00081-2_BIB16","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/MC.1983.1654201","article-title":"Representing structure and behaviour of digital hardware","volume":"16","author":"Davis","year":"1983","journal-title":"IEEE Computer"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB17","article-title":"Local methods for localizing faults in electronic circuits","author":"de Kleer","year":"1976"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB18","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","article-title":"Characterizing diagnoses and systems","volume":"52","author":"de Kleer","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB19","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0933-3657(93)90003-L","article-title":"Physiological applications of consistency-based diagnosis","volume":"5","author":"Downing","year":"1993","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB20","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1055\/s-0038-1634868","article-title":"Towards normative expert systems: Part II\u2014Probability-based representations for efficient knowledge acquisition and inference","volume":"31","author":"Heckerman","year":"1992","journal-title":"Methods of Information in Medicine"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB21","series-title":"Abductive Inference: Computation, Philosophy, Technology","author":"Josephson","year":"1994"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB22","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF01530739","article-title":"Using default and causal reasoning in diagnosis","volume":"11","author":"Konolige","year":"1994","journal-title":"Ann. Math. Artificial Intelligence"},{"issue":"5","key":"10.1016\/S0004-3702(98)00081-2_BIB23","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/0933-3657(93)90033-Y","article-title":"The representation of medical reasoning models in resolution-based theorem provers","volume":"5","author":"Lucas","year":"1993","journal-title":"Artificial Intelligence in Medicine"},{"issue":"2","key":"10.1016\/S0004-3702(98)00081-2_BIB24","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1017\/S0269888900008134","article-title":"Logic engineering in medicine","volume":"10","author":"Lucas","year":"1995","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB25","article-title":"Structures in diagnosis: from theory to medical application","author":"Lucas","year":"1996"},{"issue":"2","key":"10.1016\/S0004-3702(98)00081-2_BIB26","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1017\/S0269888997002026","article-title":"Symbolic diagnosis and its formalisation","volume":"12","author":"Lucas","year":"1997","journal-title":"The Knowledge Engineering Review"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB27","series-title":"Artificial Intelligence in Medicine","article-title":"Modeling knowledge of the patient in acid-base and electrolyte disorders","author":"Paul","year":"1982"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB28","series-title":"Probabilistic Reasoning in Intelligent Systems","author":"Pearl","year":"1988"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB29","series-title":"Abductive Inference Models for Diagnostic Problem Solving","author":"Peng","year":"1990"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB30","series-title":"The Knowledge Frontier","article-title":"Theorist: a logical reasoning system for defaults and diagnosis","author":"Poole","year":"1987"},{"issue":"5","key":"10.1016\/S0004-3702(98)00081-2_BIB31","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1002\/int.4550050506","article-title":"A methodology for using a default and abductive reasoning system","volume":"5","author":"Poole","year":"1990","journal-title":"Internat. J. Intelligent Systems"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB32","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01530736","article-title":"Representing diagnosis knowledge","volume":"11","author":"Poole","year":"1994","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB33","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF01530737","article-title":"Consistency-based and abductive diagnosis as generalized stable models","volume":"11","author":"Preist","year":"1994","journal-title":"Ann. Math. Artificial Intelligence"},{"issue":"5","key":"10.1016\/S0004-3702(98)00081-2_BIB34","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/64.60709","article-title":"PEIRCE: a tool for experimenting with abduction","volume":"5","author":"Punch","year":"1990","journal-title":"IEEE Expert"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB35","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/S0020-7373(83)80065-0","article-title":"Diagnostic expert systems based on a set-covering model","volume":"19","author":"Reggia","year":"1983","journal-title":"Internat. J. Man-Machine Studies"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB36","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(94)90036-1","article-title":"A linear constraint satisfaction approach to cost-based abduction","volume":"65","author":"Santos","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB38","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0004-3702(96)00016-1","article-title":"Polynomial solvability of cost-based abduction","volume":"86","author":"Santos","year":"1996","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10.1016\/S0004-3702(98)00081-2_BIB39","first-page":"157","article-title":"Local computations with probabilities on graphical structures and their application to expert systems","volume":"B 50","author":"Lauritzen","year":"1987","journal-title":"J. Roy. Statist. Soc. Ser."},{"key":"10.1016\/S0004-3702(98)00081-2_BIB40","series-title":"Diagnostic Problem Solving","author":"Torasso","year":"1989"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB41","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1080\/09528139108915285","article-title":"An experimental study of criteria for hypothesis plausibility","volume":"3","author":"Tuhrim","year":"1991","journal-title":"J. Experiment. Theoret. Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB42","series-title":"DX-94, 5th International Workshop on Principles of Diagnosis","first-page":"334","article-title":"An extended spectrum of logical definitions for diagnostic systems","author":"ten Teije","year":"1994"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB43","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0004-3702(78)90015-2","article-title":"A model-based method for computer-aided medical decision making","volume":"11","author":"Weiss","year":"1978","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00081-2_BIB44","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0169-2607(91)90002-B","article-title":"A problem decomposition method for efficient diagnosis and interpretation of multiple disorders","volume":"35","author":"Wu","year":"1991","journal-title":"Computer Methods and Programs in Biomedicine"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000812?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000812?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T10:17:06Z","timestamp":1580897826000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370298000812"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,10]]},"references-count":44,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,10]]}},"alternative-id":["S0004370298000812"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(98)00081-2","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1998,10]]}}}