{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T12:18:51Z","timestamp":1763036331500},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern."],"published-print":{"date-parts":[[1987]]},"DOI":"10.1109\/tsmc.1987.4309060","type":"journal-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T13:46:05Z","timestamp":1216734365000},"page":"445-454","source":"Crossref","is-referenced-by-count":112,"title":["A Mechanism for Forming Composite Explanatory Hypotheses"],"prefix":"10.1109","volume":"17","author":[{"given":"John R.","family":"Josephson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Chandrasekaran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jack W.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael C.","family":"Tanner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1a","author":"marr","year":"1981","journal-title":"Artificial Intelligence A Personal View"},{"key":"ref1b","first-page":"47","volume":"9","year":"1977","journal-title":"Artificial Intelligence"},{"key":"ref38","author":"allemang","year":"1986","journal-title":"On the computational complexity of hypothesis assembly"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90043-2"},{"key":"ref32","first-page":"47","article-title":"Functional representation of devices and compilation of diagnostic problem-solving systems","author":"sembugamoorthy","year":"1986","journal-title":"Experience Memory and Reasoning"},{"key":"ref31","first-page":"132","article-title":"Reasoning about multiple faults","volume":"7","author":"de kleer","year":"1986","journal-title":"AI Mag"},{"key":"ref30","author":"garey","year":"1979","journal-title":"Computers and Intractability"},{"key":"ref37","first-page":"279","author":"newell","year":"1963","journal-title":"GPS A Program That Simulates Human Thought"},{"key":"ref6a","first-page":"320","author":"gomez","year":"1984","journal-title":"Knowledge Organization and Distribution for Medical Diagnosis"},{"key":"ref36","first-page":"1030","article-title":"The formation of composite hypotheses in diagnostic problem solving: An exercise in synthetic reasoning","author":"pople","year":"1977","journal-title":"Proc 5th Int Joint Conf Artificial Intelligence"},{"key":"ref6b","first-page":"34","volume":"smc 11","year":"1981","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/S0065-2458(08)60130-8","volume":"22","author":"chandrasekaran","year":"1983","journal-title":"Advances in Computers"},{"key":"ref34","first-page":"134","article-title":"An approach to medical diagnosis based on conceptual structures","author":"chandrasekaran","year":"1979","journal-title":"Proc 6th Int Joint Conf Artificial Intelligence"},{"key":"ref10","first-page":"51","article-title":"PATREC: A knowledge-directed data base for a diagnostic expert system","volume":"c 17","author":"mittal","year":"1984","journal-title":"Special Issue of IEEE Transactions on Computers"},{"key":"ref11","author":"sarkar","year":"1986","journal-title":"State abstraction problem solving"},{"key":"ref12","first-page":"279","article-title":"Design considerations for PIERCE, a high-level language for hypothesis assembly","author":"punch","year":"1986","journal-title":"Proc Expert Systems Government Symp"},{"key":"ref13","first-page":"185","article-title":"Assembling the best explanation","author":"josephson","year":"1984","journal-title":"Proc IEEE Workshop on Principles of Knowledge-Based Systems"},{"key":"ref14","first-page":"524","article-title":"Red: Integrating generic tasks to identify red-cell antibodies","author":"josephson","year":"1985","journal-title":"Proc Expert Systems Government Symp"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BF00996197"},{"key":"ref16","author":"smith","year":"1986","journal-title":"Problem Solving in Red Cell Antibody Identification Red's Performance on 20 Cases"},{"key":"ref17","author":"doyle","year":"1967","journal-title":"The Sign of Four"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90011-9"},{"key":"ref19","first-page":"88","article-title":"The inference to the best explanation","volume":"lxxiv","author":"harman","year":"1965","journal-title":"Philosoph Rev"},{"key":"ref28","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":"Int J Man-Machine Studies"},{"key":"ref4","first-page":"9","article-title":"Towards a taxonomy of problem-solving types","volume":"4","author":"chandrasekaran","year":"1983","journal-title":"AI Mag"},{"key":"ref27","author":"buchanan","year":"1969","journal-title":"Heuristic DENDRAL A Program for Generating Explanatory Hypotheses in Organic Chemistry"},{"key":"ref3","first-page":"122","article-title":"Explanation, problem solving, and new generation tools: A progress report","author":"chandrasekaran","year":"1986","journal-title":"Workshop on Expert Systems"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TBME.1985.325446"},{"key":"ref5","first-page":"66","article-title":"CSRL: A language for classifactory problem solving and uncertainty handling","volume":"7","author":"bylander","year":"1986","journal-title":"AI Mag"},{"key":"ref8","article-title":"Plan selection in design problem-solving","author":"brown","year":"1985","journal-title":"Proc Conf AI and the Simulation of Behavior"},{"key":"ref7","author":"brown","year":"1984","journal-title":"Expert Systems for Design Problem-Solving Using Design Refinement with Plan Selection and Redesign"},{"key":"ref2","year":"1979","journal-title":"Representing visual information"},{"key":"ref9","first-page":"273","article-title":"Use of DSPL for the design of a mission planning assistant","author":"herman","year":"1986","journal-title":"Proc Expert Systems Government Symp"},{"key":"ref20","author":"josephson","year":"1982","journal-title":"Explanation and induction"},{"key":"ref22","first-page":"147","article-title":"On the mechanization of abductive logic","author":"pople","year":"1973","journal-title":"Proc 3rd Int Joint Conf Artificial Intelligence"},{"key":"ref21","author":"charniak","year":"1985","journal-title":"Introduction to Artificial Intelligence"},{"key":"ref24","author":"sebeok","year":"1983","journal-title":"A Juxtaposition of Charles S Peirce and Sherlock Holmes"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TBME.1985.325446"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1056\/NEJM198208193070803"},{"key":"ref25","author":"truzzi","year":"1983","journal-title":"Sherlock Holmes Applied Social Psychologist"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/21\/4309047\/04309060.pdf?arnumber=4309060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,14]],"date-time":"2017-11-14T11:13:07Z","timestamp":1510657987000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4309060\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"references-count":40,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.1987.4309060","relation":{},"ISSN":["0018-9472"],"issn-type":[{"value":"0018-9472","type":"print"}],"subject":[],"published":{"date-parts":[[1987]]}}}