{"id":"W1968935703","doi":"10.1111/j.1467-8640.2007.00310.x","title":"Using Patterns to Explain Inferences in","year":2007,"lang":"en","type":"article","venue":"Computational Intelligence","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Soundness; Completeness (order theory); Computer science; Mathematical proof; Contradiction; Construct (python library); Resolution (logic); Focus (optics); Theoretical computer science; Process (computing); Artificial intelligence; Algorithm; Mathematics; Programming language; Epistemology","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.004876584,0.001158803,0.0005637788,0.003184028,0.001182195,0.003396394,0.002161601,0.001894552,0.005747444],"category_scores_gemma":[0.02498085,0.0007342167,0.001982479,0.001736456,0.001885501,0.005520899,0.004038129,0.001759222,0.0009030587],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001104267,"about_ca_system_score_gemma":0.00224302,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002764794,"about_ca_topic_score_gemma":0.004899411,"domain_scores_codex":[0.9958046,0.001540165,0.0004715289,0.0008807463,0.001038426,0.0002645577],"domain_scores_gemma":[0.9894543,0.00651703,0.0007824819,0.002019001,0.001091208,0.000136027],"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.0002613529,0.0002004029,0.01123399,0.0007556276,0.000352153,0.002561884,0.003868752,0.04931762,0.007628854,0.556958,0.009624325,0.357237],"study_design_scores_gemma":[0.00008136882,0.00006525286,0.001357705,0.000277177,0.000257222,0.0007854236,0.001039351,0.2165573,0.01514956,0.723312,0.04106041,0.00005721278],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02453751,0.0003216018,0.9655733,0.002000205,0.000127357,0.0002446223,0.0004595701,0.002174999,0.004560797],"genre_scores_gemma":[0.1820051,0.0004420786,0.8126079,0.0004562468,0.00006138426,0.0002274993,0.001138687,0.0002442868,0.002816722],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005747444,"threshold_uncertainty_score":0.02579015,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1299388789727877,"score_gpt":0.3816141243576403,"score_spread":0.2516752453848525,"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."}}