{"id":"W2502630482","doi":"10.1016/s1874-5075(03)80004-9","title":"Logic as a Description of a Logical Agent","year":2003,"lang":"en","type":"book-chapter","venue":"˜A œpractical logic of cognitive systems","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001296962,0.0007319711,0.001637407,0.0003150136,0.000129002,0.0001545407,0.0007439927,0.001028634,0.0004051085],"category_scores_gemma":[0.002305176,0.0005638163,0.0005999882,0.0001898729,0.0006577934,0.0004158328,0.0004056299,0.000893987,0.0008856012],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001697678,"about_ca_system_score_gemma":0.0003695633,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004327286,"about_ca_topic_score_gemma":0.000005564668,"domain_scores_codex":[0.9951417,0.0005677428,0.001378393,0.001152018,0.001149852,0.0006102489],"domain_scores_gemma":[0.9937429,0.00200789,0.001654004,0.000716756,0.001527646,0.0003507847],"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.0000949457,0.000365233,0.00002629544,0.0002630096,0.0002362839,0.0003872087,0.0002213031,0.000002918049,0.00009210387,0.9954537,0.001365715,0.001491329],"study_design_scores_gemma":[0.003381636,0.008177123,0.0004405607,0.004697845,0.001147825,0.00310558,0.0006766298,0.001855165,0.0005013149,0.8642298,0.1088586,0.002927947],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.00008990482,0.002439747,0.217472,0.0001785752,0.001315354,0.0009698498,0.00003909304,0.0001135045,0.777382],"genre_scores_gemma":[0.8716646,0.0004714618,0.003203627,0.000663545,0.0003848761,0.00008011506,0.00005054389,0.00006215595,0.1234191],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.8715746,"threshold_uncertainty_score":0.9998924,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09436894990003361,"score_gpt":0.3067966920190655,"score_spread":0.2124277421190319,"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."}}