{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T14:23:28Z","timestamp":1649168608010},"reference-count":40,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1991,9,1]],"date-time":"1991-09-01T00:00:00Z","timestamp":683683200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Man-Machine Studies"],"published-print":{"date-parts":[[1991,9]]},"DOI":"10.1016\/s0020-7373(05)80136-1","type":"journal-article","created":{"date-parts":[[2006,12,3]],"date-time":"2006-12-03T07:12:21Z","timestamp":1165129941000},"page":"409-427","source":"Crossref","is-referenced-by-count":2,"title":["Hypotheses testing by fundamental knowledge"],"prefix":"10.1016","volume":"35","author":[{"given":"X.","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0020-7373(05)80136-1_bib1","series-title":"Approximate Reasoning in Intelligent Systems, Decision and Control","first-page":"159","article-title":"Diagnosis based on subjective information in a solar energy plant","author":"Asse","year":"1987"},{"key":"10.1016\/S0020-7373(05)80136-1_bib2","author":"Bibel","year":"1982"},{"key":"10.1016\/S0020-7373(05)80136-1_bib3","series-title":"Research and Development in Expert Systems V","first-page":"58","article-title":"FAUST: an expert system for diagnosing faults in an electricity supply system","author":"Bramer","year":"1989"},{"key":"10.1016\/S0020-7373(05)80136-1_bib4","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1016\/S0020-7373(83)80064-9","article-title":"Deep versus compiled knowledge approaches to diagnostic problem solving","volume":"19","author":"Chandrasekaran","year":"1983","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(05)80136-1_bib5","author":"Chang","year":"1973"},{"key":"10.1016\/S0020-7373(05)80136-1_bib6","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","article-title":"Diagnostic reasoning based on structure and behaviour","volume":"24","author":"Davis","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0020-7373(05)80136-1_bib7","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1109\/TSMC.1987.4309051","article-title":"Expert systems and diagnostic expertise in the mechanical and electrical domains","volume":"SMC-17","author":"Fink","year":"1987","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"10.1016\/S0020-7373(05)80136-1_bib8","series-title":"Proceedings of IJACI-85","first-page":"426","article-title":"Control and integration of diverse knowledge in a diagnostic expert system","author":"Fink","year":"1985"},{"key":"10.1016\/S0020-7373(05)80136-1_bib9","article-title":"Techniques for sensor-based diagnosis","author":"Fox","year":"1983"},{"key":"10.1016\/S0020-7373(05)80136-1_bib10","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","article-title":"The use of design descriptions in automated diagnosis","volume":"24","author":"Genesereth","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0020-7373(05)80136-1_bib11","author":"Genesereth","year":"1986"},{"key":"10.1016\/S0020-7373(05)80136-1_bib12","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","article-title":"Counterfactuals","volume":"30","author":"Ginsberg","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0020-7373(05)80136-1_bib13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0020-7373(88)80028-2","article-title":"A model of fault diagnosis performance of expert marine engineers","volume":"29","author":"Govindaraj","year":"1988","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(05)80136-1_bib14","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/1056663.1056664","article-title":"Directions for AI in the eighties","volume":"79","author":"Hart","year":"1982","journal-title":"ACM SIGART Newletter"},{"key":"10.1016\/S0020-7373(05)80136-1_bib15","first-page":"202","article-title":"Plausible reasoning in expert systems for troubleshooting","volume":"937","author":"Hori","year":"1988","journal-title":"SPIE Applications of AI"},{"key":"10.1016\/S0020-7373(05)80136-1_bib16","series-title":"Second Generation Expert Systems, Avignon","article-title":"Towards a generic, qualitative-based diagnostic architecture","author":"Hunt","year":"1989"},{"key":"10.1016\/S0020-7373(05)80136-1_bib17","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1109\/TSMC.1987.4309060","article-title":"A mechanism for forming composite explanatory hypotheses","volume":"SMC-17","author":"Josephson","year":"1987","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"10.1016\/S0020-7373(05)80136-1_bib18","series-title":"Approximate Reasoning in Intelligent Systems, Decision and Control","first-page":"175","article-title":"Diagnostics of faulty states in complex physical systems using fuzzy relational equations","author":"Kitowski","year":"1987"},{"key":"10.1016\/S0020-7373(05)80136-1_bib19","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","article-title":"Diagnosing multiple faults","volume":"32","author":"Kleer","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0020-7373(05)80136-1_bib20","series-title":"Proceedings of 9th IJCAI","first-page":"128","article-title":"The limits of qualitative simulation","author":"Kuipers","year":"1985"},{"key":"10.1016\/S0020-7373(05)80136-1_bib21","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1109\/TSMC.1987.4309059","article-title":"Qualitative simulation as causal explanation","volume":"SMC-17","author":"Kuipers","year":"1987","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"10.1016\/S0020-7373(05)80136-1_bib22","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1016\/S0020-7373(88)80066-X","article-title":"DM: an algorithm for diagnostic reasoning that combines analytical models and experiential knowledge","volume":"28","author":"Lee","year":"1988","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(05)80136-1_bib23","author":"Liu","year":"1988"},{"key":"10.1016\/S0020-7373(05)80136-1_bib24","article-title":"Probability-Related Treatment of Uncertainty in Knowledge-based Systems","author":"Liu","year":"1988"},{"key":"10.1016\/S0020-7373(05)80136-1_bib25","series-title":"Proceedings of IEE Colloquium on Expert Systems for Fault Diagnosis in Engineering Applications","article-title":"Diagnostic reasoning as an integration of experience-based and model-based reasoning","author":"Liu","year":"1989"},{"key":"10.1016\/S0020-7373(05)80136-1_bib26","author":"Loveland","year":"1978"},{"key":"10.1016\/S0020-7373(05)80136-1_bib27","first-page":"21","article-title":"High-road and low-road programs","volume":"3","author":"Michie","year":"1982","journal-title":"AI magazine"},{"key":"10.1016\/S0020-7373(05)80136-1_bib28","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1056\/NEJM198208193070803","article-title":"INTERNIST-1: an experimental computer-based diagnostic consultant for general internal medicine","volume":"307","author":"Miller","year":"1982","journal-title":"New England Journal of Medicine"},{"key":"10.1016\/S0020-7373(05)80136-1_bib29","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1109\/TSMC.1987.4309050","article-title":"Strategies for diagnosis","volume":"SMC-17","author":"Milne","year":"1987","journal-title":"IEEE Transactions on Systems Man, and Cybernetics"},{"key":"10.1016\/S0020-7373(05)80136-1_bib30","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1109\/TSMC.1987.4309055","article-title":"Failure driven learning of fault diagnosis heuristics","volume":"SMC-17","author":"Pazzani","year":"1987","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"10.1016\/S0020-7373(05)80136-1_bib31","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","article-title":"A logical framework for default reasoning","volume":"36","author":"Poole","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0020-7373(05)80136-1_bib32","article-title":"Theorist: a logical reasoning system for defaults and diagnosis","author":"Poole","year":"1986"},{"key":"10.1016\/S0020-7373(05)80136-1_bib33","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":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S0020-7373(05)80136-1_bib34","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\/S0020-7373(05)80136-1_bib35","author":"Rich","year":"1983"},{"key":"10.1016\/S0020-7373(05)80136-1_bib36","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A machine oriented logic based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"Journal of the Association of Computer Machines"},{"key":"10.1016\/S0020-7373(05)80136-1_bib37","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/0025-5564(75)90047-4","article-title":"A model of inexact reasoning in medicine","volume":"23","author":"Shortliffe","year":"1975","journal-title":"Mathematical Bioscience"},{"key":"10.1016\/S0020-7373(05)80136-1_bib38","series-title":"Research and Development in Expert Systems V","first-page":"70","article-title":"Fault and condition monitoring on trains","author":"Skingle","year":"1989"},{"key":"10.1016\/S0020-7373(05)80136-1_bib39","unstructured":"Steels L. Second generation expert systems. In M.A. Bramer, Ed. Research and Development in Expert Systems, pp. 175\u2013183. Cambridge, UK: Cambridge University Press"},{"key":"10.1016\/S0020-7373(05)80136-1_bib40","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1146\/annurev.cs.03.060188.001441","article-title":"Resolution theorem proving","volume":"3","author":"Stickel","year":"1988","journal-title":"Annual Review of Computer Science"}],"container-title":["International Journal of Man-Machine Studies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020737305801361?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020737305801361?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,10]],"date-time":"2019-01-10T22:23:22Z","timestamp":1547159002000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020737305801361"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,9]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1991,9]]}},"alternative-id":["S0020737305801361"],"URL":"https:\/\/doi.org\/10.1016\/s0020-7373(05)80136-1","relation":{},"ISSN":["0020-7373"],"issn-type":[{"value":"0020-7373","type":"print"}],"subject":[],"published":{"date-parts":[[1991,9]]}}}