{"id":"W196063391","doi":"","title":"Knowledge Equivalence in Combined Action Theories.","year":2002,"lang":"en","type":"article","venue":"Edinburgh Research Explorer (University of Edinburgh)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":35,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Correctness; Computer science; Equivalence (formal languages); Action (physics); Construct (python library); ENCODE; Knowledge representation and reasoning; Set (abstract data type); Theoretical computer science; Artificial intelligence; Mathematics; Algorithm; Discrete mathematics; Programming language","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.006940147,0.000750843,0.0008671003,0.003373865,0.002191253,0.004536043,0.002604055,0.00253131,0.006872055],"category_scores_gemma":[0.01641549,0.0008438472,0.003251125,0.001982106,0.01153198,0.01602253,0.006813773,0.004781701,0.0007815068],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003543665,"about_ca_system_score_gemma":0.001673068,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003840841,"about_ca_topic_score_gemma":0.002409439,"domain_scores_codex":[0.9881579,0.004627537,0.0007566204,0.001673539,0.003853033,0.0009313787],"domain_scores_gemma":[0.988436,0.00780856,0.0007427146,0.001496927,0.00113847,0.000377317],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001111946,0.00001690689,0.0001526041,0.00003332683,0.00002009287,0.00007961327,0.0003375779,0.001455454,0.0001304545,0.9922511,0.0002582806,0.005253517],"study_design_scores_gemma":[0.00001244427,0.00001435554,0.0000968028,0.00001866164,0.00002103506,0.00005222871,0.00008339616,0.006942109,0.0003227394,0.989412,0.003016644,0.000007561716],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0360355,0.001408085,0.8775851,0.003670963,0.0002374669,0.0001974027,0.0002444559,0.0005142487,0.08010679],"genre_scores_gemma":[0.7876881,0.0007580249,0.2005951,0.0009101887,0.0002738246,0.0003780819,0.000528665,0.0001577578,0.008710269],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006940147,"threshold_uncertainty_score":0.03670341,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1611734117995155,"score_gpt":0.329530641193846,"score_spread":0.1683572293943305,"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."}}