{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001831872,0.0008553319,0.0005911106,0.001873604,0.001860897,0.009284833,0.002642319,0.003143152,0.01038046],"category_scores_gemma":[0.002286007,0.0007823104,0.0010999,0.0017141,0.01056379,0.01170872,0.002009365,0.004412968,0.002457164],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002466961,"about_ca_system_score_gemma":0.002198895,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002937624,"about_ca_topic_score_gemma":0.002558525,"domain_scores_codex":[0.9987605,0.0005665668,0.0001035785,0.000175674,0.0003093765,0.00008444876],"domain_scores_gemma":[0.9989547,0.0005957525,0.00007324024,0.0001567693,0.0001354074,0.00008422427],"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.000001788818,0.000002265388,0.000007218824,0.00001079841,0.00000139333,0.000009413693,0.00008799268,0.0002426747,0.00004526176,0.9981974,0.0005626354,0.0008313274],"study_design_scores_gemma":[0.000005178699,0.000003594395,0.000009137613,0.00001331088,0.00000290116,0.00002625392,0.00004330084,0.001665157,0.00006243716,0.9808134,0.01735152,0.000003661103],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.006020575,0.004439806,0.6890943,0.01132487,0.0006882217,0.0001742556,0.0007355043,0.0005726283,0.2869499],"genre_scores_gemma":[0.3512922,0.004711387,0.5516647,0.003928195,0.001138735,0.0009082708,0.001063784,0.0003502645,0.08494254],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01038046,"threshold_uncertainty_score":0.03472608,"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."}}