{"id":"W2165523012","doi":"10.1109/icsmc.1995.538038","title":"Hierarchical diagnosis of sequential circuits","year":2002,"lang":"en","type":"article","venue":"","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Medical diagnosis; Sequential logic; Prolog; Set (abstract data type); Consistency (knowledge bases); Constraint (computer-aided design); Algorithm; Logic gate; Task (project management); Logic synthesis; Identification (biology); Theoretical computer science; Programming language; Artificial intelligence; Mathematics; Engineering","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006029995,0.0005053576,0.000528527,0.001271849,0.0006773269,0.0007730489,0.001042734,0.0005136521,0.002914095],"category_scores_gemma":[0.003661662,0.0003485199,0.0007243076,0.0009873441,0.001365027,0.001362806,0.001184159,0.0006972728,0.0003129871],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001884262,"about_ca_system_score_gemma":0.001635077,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01133053,"about_ca_topic_score_gemma":0.0164083,"domain_scores_codex":[0.998953,0.0001955877,0.00005865141,0.0002512143,0.0004050507,0.0001364342],"domain_scores_gemma":[0.9981009,0.0009899491,0.0002267359,0.0003281115,0.0002831067,0.00007118982],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000347023,0.0001204954,0.005742447,0.0005515473,0.00009377055,0.0006340018,0.0007471846,0.5283838,0.03631032,0.1990039,0.003095237,0.2249703],"study_design_scores_gemma":[0.00004504612,0.00008405007,0.001416255,0.00003400467,0.00004781768,0.0001175101,0.00009325943,0.8332207,0.0124718,0.1476251,0.004823917,0.00002057127],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07832286,0.0004461645,0.9124045,0.0002868376,0.00002823173,0.0001688508,0.0004027211,0.002049997,0.005889785],"genre_scores_gemma":[0.6861971,0.0002446101,0.3104182,0.00008777246,0.00002524546,0.0001196107,0.0007024345,0.00008064876,0.00212443],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01133053,"threshold_uncertainty_score":0.02252918,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04091652280308963,"score_gpt":0.2439055251811829,"score_spread":0.2029890023780933,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}